Semantics-Based Support Tools for High Integrity Ada Software.
W. L. YeungPublished in: Ada-Europe (1997)
Keyphrases
- software tools
- software environment
- end users
- computer aided software engineering
- design tools
- decision support
- tool support
- software development
- analysis tool
- software developers
- software development environment
- user friendly interface
- graphical user interfaces
- software engineers
- computational tools
- multi tasking
- user interface
- software projects
- software components
- knowledge management
- search based software testing
- software maintenance
- wide range
- companion web site
- hardware platforms
- operating system
- test cases
- enabling technologies
- automated tools
- development processes
- software platform
- software systems
- integrity constraints
- user friendly
- commercial software
- technical issues