Refinement-Based Development of Timed Systems.
Jesper BerthingPontus BoströmKaisa SereLeonidas TsiopoulosJüri VainPublished in: IFM (2012)
Keyphrases
- knowledge based systems
- complex systems
- case study
- management system
- database
- petri net
- software engineering
- current trends
- intelligent systems
- learning systems
- software developers
- software systems
- legacy systems
- technical issues
- support systems
- communication technologies
- development process
- retrieval systems
- information processing
- knowledge management
- neural network
- databases