Formal Development for Railway Signaling Using Commercial Tools.
Alessio FerrariAlessandro FantechiStefano BacheriniNiccolò ZingoniPublished in: FMICS (2009)
Keyphrases
- computer aided software engineering
- design tools
- decision support
- programming environments
- development environments
- design principles
- rapid development
- software tools
- case study
- information infrastructure
- formal models
- formal methods
- software engineering
- design decisions
- user friendly
- commercial systems
- expert systems
- commercial products
- information systems