A Language Framework for Expressing Checkable Properties of Dynamic Software.
James C. CorbettMatthew B. DwyerJohn Hatcliff RobbyPublished in: SPIN (2000)
Keyphrases
- software architecture
- main contribution
- key properties
- neural network
- information retrieval
- user interface
- artificial intelligence
- desirable properties
- dynamic environments
- theoretical framework
- source code
- strongly typed
- analysis tool
- simulation environment
- software maintenance
- embedded systems
- real time
- open source
- software engineering
- object oriented
- case study
- machine learning
- data mining
- databases