Composition by Colimit and Formal Software Development.
Douglas R. SmithPublished in: Essays Dedicated to Joseph A. Goguen (2006)
Keyphrases
- software development
- software engineering
- case study
- software systems
- software projects
- software testing
- software development effort
- development lifecycle
- software architecture
- formal model
- software developers
- software design
- software cost estimation
- software evolution
- requirements engineering
- software industry
- information systems
- pair programming
- cost estimation
- formal specification
- development process
- software components
- formal methods
- systems development
- software reuse
- formal models
- effort estimation
- software maintenance
- agile software development
- source code
- small to medium sized
- web services
- databases