Sciweavers

1199 search results - page 14 / 240
» Software Verification and Software Engineering a Practitione...
Sort
View
ICSE
2003
IEEE-ACM
16 years 6 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...
187
Voted
RE
2001
Springer
15 years 10 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
FASE
2001
Springer
15 years 10 months ago
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
Natasha Sharygina, James C. Browne, Robert P. Kurs...
137
Voted
ICST
2010
IEEE
15 years 3 months ago
Challenges with Software Verification and Validation Activities in the Space Industry
Robert Feldt, Richard Torkar, Ehsan Ahmad, Bilal R...