Sciweavers

10379 search results - page 127 / 2076
» The Chaos of Software Development
Sort
View
187
Voted
FM
1998
Springer
345views Formal Methods» more  FM 1998»
15 years 7 months ago
Enriching the Software Development Process by Formal Methods
Manfred Broy, Oscar Slotosch
101
Voted
SIGADA
1993
Springer
15 years 7 months ago
The Development of Software in the Ada Language for a Mid-Range Hematology Analyzer
Robert C. Leif, Jason Sara, Ian Burgess, Michael K...