The provision of contracts to enforce system semantics throughout software development.
Constantinos ConstantinidesTherapon SkotiniotisPublished in: IASTED Conf. on Software Engineering and Applications (2004)
Keyphrases
- software development
- software engineering
- software architecture
- software developers
- software systems
- cost estimation
- development process
- case study
- supply chain
- software design
- effort estimation
- semantic information
- software projects
- formal semantics
- pair programming
- logic programming
- software components
- real world
- extreme programming