Some Issues in the Software Engineering of Verification Tools.
Perdita StevensPublished in: TACAS (1999)
Keyphrases
- software engineering
- formal methods
- development methodologies
- software engineers
- key issues
- software tools
- tool support
- design patterns
- programming language
- software systems
- reverse engineering
- software developers
- model checking
- software development
- object oriented
- software projects
- software engineering practices
- software maintenance
- software reuse
- topics covered include
- design principles
- knowledge management
- end users
- information systems
- artificial intelligence
- data mining
- software architecture
- multi agent systems
- case study
- design guidelines
- e learning
- success stories