Formal Specifications And Command Modeling In Software Systems With A Complex Command Structure.
Michael V. ManninoInjun ChoiSukumar RathnamPublished in: ICIS (1991)
Keyphrases
- software systems
- software components
- formal specification
- complex software systems
- software engineering
- software testing
- software development
- source code
- software design
- software maintenance
- software engineers
- object oriented design
- metamodel
- design patterns
- software architecture
- complex systems
- software projects
- reverse engineering
- multi agent systems
- software intensive systems
- machine learning
- linux kernel
- component based software
- object oriented systems
- software evolution
- high level
- maintenance activities
- emergent behavior
- e learning