×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [use of formal methods]
Technology
Emulink: A graphical modelling environment for PVS
71 views
Documents
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 9 Slide 1 Chapter 9 Formal Specifications
229 views
Documents
Agent oriented software engineering - the state of the art
323 views
Technology
Formal Specification in Software Engineering SE9
6.020 views
Education
S ev2 c26
16 views
Documents
A Logical Viewpoint on Architectures Frank de Boer, Marcello Bonsangue, Joost Jacob, Andries Stam, Leon van der Torre
217 views
Documents
CR ST CREST Centre for Reliable Software Technology Ralph Back Director
215 views
Documents
MADALINA CROITORU
[email protected]
Software Engineering week 1 Madalina Croitoru IUT Montpellier
221 views
Documents
© 2001-2005 Franz J. Kurfess Knowledge Processing 1 CPE/CSC 580: Knowledge Management Dr. Franz J. Kurfess Computer Science Department Cal Poly
217 views
Documents
© 2001 Franz J. Kurfess Knowledge Processing 1 CPE/CSC 580: Knowledge Management Dr. Franz J. Kurfess Computer Science Department Cal Poly
218 views
Documents
Http://cfs UML-B & U2B Colin Snook & Michael Butler University of Southampton Colin Snook & Michael Butler University of Southampton
215 views
Documents
Formal Methods. Contents What are Formal Methods? Definition Myths History Types of formal methods Use of mathematics Do we really need Formal Methods?
225 views
Next >