From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement.
Hartmut EhrigPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- formal specification
- object oriented design
- specification languages
- visual information
- visual features
- reverse engineering
- design methodology
- dynamic environments
- model checking
- specification language
- visual input
- process algebra
- databases
- formal methods
- concurrent systems
- integrity constraints
- open source
- user interface
- artificial intelligence