Eiffel: the language
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Single versus multiple inheritance in object oriented programming
ACM SIGPLAN OOPS Messenger
Programming python
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Extreme programming explained: embrace change
Extreme programming explained: embrace change
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Software Construction by Stepwise Feature Introduction
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Evaluating the XP Customer Model and Design by Contract
EUROMICRO '04 Proceedings of the 30th EUROMICRO Conference
Software development and experimentation in an academic environment: the Gaudi experience
PROFES'05 Proceedings of the 6th international conference on Product Focused Software Process Improvement
Hi-index | 0.00 |
Stepwise Feature Introduction is an incremental method and software architecture for building object-oriented system in thin layers of functionality, and is based on the Refinement Calculus logical framework. We have evaluated this method in a series of real software projects. The method works quite well on small to medium sized software projects, and provides a nice fit with agile software processes like Extreme Programming. The evaluations also allowed us to identify a number of places where the method could be improved, most of these related to the way inheritance is used in Stepwise Feature Introduction. Three of these issues are analyzed in more detail here: diamond inheritance, complexity of layering and unit testing of layered software.