Specware: Formal Support for Composing Software.
Yellamraju V. SrinivasRichard JülligPublished in: MPC (1995)
Keyphrases
- software tools
- software development
- design tools
- software systems
- data mining
- formal methods
- collaborative learning
- multi tasking
- software process
- support systems
- software design
- learning scenarios
- decision support
- database
- source code
- open source
- software engineering
- user interface
- relational databases
- decision making
- artificial intelligence
- real time