On a Reference Model for the Formalization and Integration of Software Specification Languages.
Martin Große-RhodePublished in: Bull. EATCS (1999)
Keyphrases
- reference model
- specification languages
- software architecture
- formal specification
- object oriented programs
- reference models
- integration testing
- software development
- software systems
- knowledge representation
- metamodel
- first order logic
- software testing
- iso iec
- life cycle
- development process
- design patterns
- software components
- fine grained
- test set
- information processing
- distributed systems
- source code
- artificial intelligence