Stepwise construction of non-sequential software systems using a net-based specification language.
Bernd J. KrämerPublished in: European Workshop on Applications and Theory in Petri Nets (1984)
Keyphrases
- software systems
- specification language
- requirements specification
- description language
- formal specification
- programming language
- software engineering
- software architecture
- software components
- source code
- software design
- software development
- software maintenance
- software engineers
- artificial intelligence
- software testing
- software projects
- metamodel
- component based software
- complex software systems
- software evolution
- multi agent systems
- software quality
- functional requirements
- linux kernel
- database
- object oriented
- cooperative
- high level
- dynamic reconfiguration
- clone detection
- software intensive systems
- open source