Executable specifications for distributed software systems.
Joseph E. UrbanHankyu JooPublished in: FTDCS (1995)
Keyphrases
- software systems
- functional requirements
- formal specification
- source code
- software engineering
- software development
- software components
- software maintenance
- distributed systems
- software architecture
- requirements specification
- software developers
- design patterns
- software design
- software evolution
- software requirements
- component based software
- metamodel
- multi agent systems
- cooperative
- software quality
- high level
- software engineers
- fault tolerant
- software testing
- clone detection
- development effort
- multi agent
- decision making
- databases
- software intensive systems
- attribute grammars
- specification language
- building blocks
- model checking