ITAS: A Portable, Interactive Transportation Scheduling Tool Using a Search Engine Generated from Formal Specifications.
Mark H. BursteinDouglas R. SmithPublished in: AIPS (1996)
Keyphrases
- formal specification
- search engine
- formal specification language
- graphical interface
- user friendly
- scheduling problem
- model checking
- object oriented design
- web search engines
- temporal logic
- process algebra
- reverse engineering
- web pages
- information visualization
- specification language
- knowledge base
- high level
- specification languages
- scheduling algorithm
- information retrieval
- interactive exploration
- artificial intelligence
- software testing
- databases
- database design
- programming language
- case study