Software enggineers

Formal methods mathematical languages, techniques and tools, used to specify and verify systems, goal is help engineers construct more reliable systems. Introduction to Formal Methodspresents about introduction; formal specification; formalformal verificationverification; model checking; theorem proving.

29p ngkhacvu 22-05-2015 76 7   Download

Getting to know the hardware, understanding the big picture, draw your own data flow diagram, examine the landscape,... As the main contents of the lecture "Embedded software engineering: Advanced hardware fundamentals ". Each of your content and references for additional lectures will serve the needs of learning and research.

24p theanh180bg 31-10-2015 72 5   Download

Invite you to consult the lecture content "Embedded software engineering: Embedded softwarearchitectures" below. Contents of lectures introduce to you the content: Round robin, function queue scheduling, real time operating systems, selecting an architecture. Hopefully document content to meet the needs of learning, work effectively.

49p theanh180bg 31-10-2015 51 5   Download