×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [use of formal methods]
Emulink: A graphical modelling environment for PVS
71 views
©Ian Sommerville 2000Software Engineering, 6th edition. Chapter 9 Slide 1 Chapter 9 Formal Specifications
229 views
Agent oriented software engineering - the state of the art
323 views
Formal Specification in Software Engineering SE9
6.020 views
S ev2 c26
16 views
A Logical Viewpoint on Architectures Frank de Boer, Marcello Bonsangue, Joost Jacob, Andries Stam, Leon van der Torre
217 views
CR ST CREST Centre for Reliable Software Technology Ralph Back Director
215 views
MADALINA CROITORU
[email protected]
Software Engineering week 1 Madalina Croitoru IUT Montpellier
221 views
© 2001-2005 Franz J. Kurfess Knowledge Processing 1 CPE/CSC 580: Knowledge Management Dr. Franz J. Kurfess Computer Science Department Cal Poly
217 views
© 2001 Franz J. Kurfess Knowledge Processing 1 CPE/CSC 580: Knowledge Management Dr. Franz J. Kurfess Computer Science Department Cal Poly
218 views
Http://cfs UML-B & U2B Colin Snook & Michael Butler University of Southampton Colin Snook & Michael Butler University of Southampton
215 views
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 >