977 search results - page 13 / 196 » Formal methods integration in software engineering |
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
61
Voted
MEMOCODE
2007
IEEE
15 years 6 months ago
2007
IEEE
74
Voted
SIGADA
1999
Springer
15 years 3 months ago
1999
Springer
A manual for a closed laboratory incorporating software engineering concepts was developed and implemented for Ada’95 during the 1998-1999 academic year. The software engineerin...
90
Voted
KBSE
1998
IEEE
15 years 3 months ago
1998
IEEE
Formal approaches to software reuse rely heavily upon specificationmatchingcriterion, where asearch query using formal specifications is used to search a library of components ind...
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...