Use of GSPNs for concurrent software validation in EPOCA.
Susanna DonatelliGiuliana FranceschinisMarina RibaudoStefano RussoPublished in: Inf. Softw. Technol. (1994)
Keyphrases
- software development
- computer systems
- software systems
- software architecture
- database
- software projects
- software tools
- mutual exclusion
- commercial software
- software application
- requirements engineering
- simulation environment
- software design
- data flow
- software maintenance
- software developers
- personal computer
- test cases
- source code
- user interface
- multi agent systems
- data structure
- multiscale
- website
- information retrieval
- real world