Communicating sequential processes
Communicating sequential processes
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
Extreme programming explained: embrace change
Extreme programming explained: embrace change
Test Driven Development: By Example
Test Driven Development: By Example
A Practical Guide to Feature-Driven Development
A Practical Guide to Feature-Driven Development
CSP Networking for Java (JCSP.net)
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
The Rational Unified Process: An Introduction
The Rational Unified Process: An Introduction
ERC – An object-oriented refinement calculus for Eiffel
Formal Aspects of Computing
Developing a UML profile for modelling knowledge-based systems
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
| Hi-index | 0.00 |
Software development methods are software products, in the sense that they should be engineered by following a methodology to meet the behavioural and non-behavioural requirements of the intended users of the method. We argue that agile approaches are the most appropriate means for engineering new methods, and particularly for integrating formal methods. We show how agile principles and practices apply to engineering methods, and demonstrate their application by integrating parts of the Eiffel development method with CSP.