Bylands: reverse engineering safety-critical systems.
Tim M. BullE. J. YoungerKeith H. BennettZ. LuoPublished in: ICSM (1995)
Keyphrases
- reverse engineering
- safety critical
- safety analysis
- formal methods
- legacy systems
- software engineering
- embedded systems
- nuclear power plant
- support systems
- fault tolerant
- dynamic analysis
- management system
- program understanding
- learning systems
- software maintenance
- object oriented
- multi agent systems
- regulatory requirements
- data mining
- adaptive systems
- agent architecture
- software development
- open source
- expert systems
- artificial intelligence