A Formal Approach to Software Design: The Clepsydra Methodology.
Paolo CiacciaPaolo CiancariniWilma PenzoPublished in: ZUM (1995)
Keyphrases
- software design
- software engineering
- software development
- software systems
- software development process
- educational software
- functional requirements
- object oriented design
- design methodology
- model based testing
- uml diagrams
- formal model
- development process
- software engineers
- machine learning
- mathematical theory
- design patterns
- knowledge management
- information systems