The UniForM Workbench, a Universal Development Environment for Formal Methods.
Bernd Krieg-BrücknerJan PeleskaErnst-Rüdiger OlderogAlexander BaerPublished in: World Congress on Formal Methods (1999)
Keyphrases
- development environment
- formal methods
- development tools
- development environments
- software engineering
- user interface
- model checking
- development process
- formal specification
- knowledge based systems
- application development
- artificial intelligence
- modeling language
- formal specification language
- database server
- software development environment
- databases
- development lifecycle
- temporal logic
- web search engines
- database systems