46 search results - page 3 / 10 » Lessons Learned from a Successful Implementation of Formal M... |
APSEC
2000
IEEE
13 years 11 months ago
2000
IEEE
Experience from industry shows that graduates in computer science generally lack many of the skills required in software development projects. This presents a challenge to academi...
ICFCA
2005
Springer
14 years 18 days ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...
SEFM
2007
IEEE
14 years 1 months ago
2007
IEEE
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
HASE
1998
IEEE
13 years 11 months ago
1998
IEEE
We have developed and successfully applied a technique to build a high integrity compiler from Pasp, a Pascal-like language, to Asp, the target language for a high integrity proce...
MEMOCODE
2005
IEEE
14 years 20 days ago
2005
IEEE
We recall the story of the development of the synchronous data-flow language LUSTRE and of its industrial transfer inside the toolset SCADE. We try to analyse the reasons of its ...