Tool Support for Formal Software Development: A Generic Architecture.
Maritta HeiselThomas SantenDominik ZimmermannPublished in: ESEC (1995)
Keyphrases
- tool support
- software development
- software engineering
- software projects
- software systems
- case study
- software developers
- development process
- software design
- software components
- requirements engineering
- effort estimation
- software architecture
- cost estimation
- model driven architecture
- artificial intelligence
- software development projects
- software industry
- pair programming
- formal methods
- formal specification
- software tools
- database
- software reuse
- software testing
- design decisions
- formal model
- software development process
- source code
- development lifecycle