SPMNet: a formal methodology for software management.
Carl K. ChangChikuang ChaoSu-Yin HsiehYahya AlsalqanPublished in: COMPSAC (1994)
Keyphrases
- configuration management
- requirements specification
- management system
- software systems
- software development process
- formal model
- requirements engineering
- formal methods
- root cause analysis
- software design
- software tools
- information systems
- software development
- systems development
- enterprise systems
- network management
- project management
- quality assurance
- software requirements
- computer systems
- knowledge management
- decision support
- data processing
- reference architecture
- autonomic systems
- design methodology
- small and medium sized
- project managers
- analysis tool
- formal specification
- software maintenance
- software architecture
- test cases
- source code
- multi agent systems
- decision making