Sciweavers

1031 search results - page 9 / 207
» On the Formal Development of Safety-Critical Software
Sort
View
WETICE
1998
IEEE
15 years 4 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
69
Voted
SEKE
1994
Springer
15 years 4 months ago
A tool for assisting the understanding and formal development of software
Salwa K. Abd-El-Hafiz, Victor R. Basili
68
Voted
WADT
1999
Springer
15 years 4 months ago
Towards an Evolutionary Formal Software-Development Using CASL
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...