Sciweavers

1199 search results - page 14 / 240
» Software Verification and Software Engineering a Practitione...
Sort
View
ICSE
2003
IEEE-ACM
16 years 1 months ago
6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction
This report gives an overview of the 6th ICSE Workshop on Component-Based Software Engineering held at 25th International Conference on Software Engineering. The workshop brought ...
Ivica Crnkovic, Heinz W. Schmidt, Judith A. Staffo...
RE
2001
Springer
15 years 6 months ago
Requirements for Evolving Systems: A Telecommunications Perspective
In many software application domains, constant evolution is the dominant problem, shaping both software design and the software process. Telecommunication software is the prototyp...
Pamela Zave
81
Voted
FASE
2001
Springer
15 years 6 months ago
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
Natasha Sharygina, James C. Browne, Robert P. Kurs...