Sciweavers

658 search results - page 18 / 132
» A formal approach to object-oriented software engineering
Sort
View
AMAST
1991
Springer
15 years 3 months ago
A Formal Approach to Software Testing
Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
89
Voted
CSMR
1998
IEEE
15 years 3 months ago
Object Evolution by Model Evolution
Claims concerning the maintainability of object oriented software usually refer to encapsulation and inheritance mechanisms. However, if objects are perceived only from the code l...
Roland Mittermeir, Helfried Pirker, Dominik Rauner...
ICSE
2001
IEEE-ACM
15 years 4 months ago
A Formal Approach to Component-Based Software Engineering: Education and Evaluation
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
Murali Sitaraman, Timothy J. Long, Bruce W. Weide,...