The DFG Priority Programme "Integration of Software Specification Techniques for Applications in Engineering".
Martin Große-RhodePublished in: Bull. EATCS (2001)
Keyphrases
- software testing
- software engineering
- software development
- test cases
- testing process
- software systems
- formal specification
- software requirements
- requirements specification
- engineering design
- artificial intelligence
- design patterns
- data integration
- high level
- software components
- computer science
- information systems
- software architecture
- data model
- systems development
- specification language
- software process