Sciweavers

8083 search results - page 50 / 1617
» A Formalization of Software Architecture
Sort
View
77
Voted
FASE
2001
Springer
15 years 5 months ago
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
Natasha Sharygina, James C. Browne, Robert P. Kurs...
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 ...
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
69
Voted
AMAST
1991
Springer
15 years 4 months ago
A Formal Approach to Software Testing
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre