977 search results - page 13 / 196 » Formal methods integration in software engineering |
111
Voted
SIGSOFT
2010
ACM
15 years 1 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...
MEMOCODE
2007
IEEE
15 years 9 months ago
2007
IEEE
201
Voted
SIGADA
1999
Springer
15 years 7 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...
119
Voted
KBSE
1998
IEEE
15 years 7 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...
105
Voted
COMPSAC
2002
IEEE
15 years 8 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...