Sciweavers

1031 search results - page 9 / 207
» On the Formal Development of Safety-Critical Software
Sort
View
135
Voted
FM
1998
Springer
345views Formal Methods» more  FM 1998»
15 years 2 months ago
Enriching the Software Development Process by Formal Methods
Manfred Broy, Oscar Slotosch
89
Voted
WETICE
1998
IEEE
15 years 2 months ago
A Deontic Formalism for Co-ordinating Software Development in Virtual Software Corporations
The concept of the Virtual Software Corporation (VSC) has recently become a practical reality as a result of advances in communication and distributed technologies. However, there...
Zsolt Haag, Richard Foley, Julian Newman
52
Voted
WADT
1999
Springer
15 years 2 months ago
Towards an Evolutionary Formal Software-Development Using CASL
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...