1601 search results - page 12 / 321 » The affordable application of formal methods to software eng... |
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
SFM
2009
Springer
14 years 2 months ago
2009
Springer
DAGSTUHL
1992
13 years 8 months ago
1992
DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
APSEC
1997
IEEE
13 years 12 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...