Teaching Design-by-Contract for the Modeling and Implementation of Software Systems.
Mert OzkayaPublished in: ICSOFT (2019)
Keyphrases
- software systems
- software design
- software architecture
- functional requirements
- design patterns
- software engineering
- software maintenance
- source code
- software development
- complex software systems
- dynamic reconfiguration
- software testing
- object oriented systems
- metamodel
- embedded systems
- component based software
- software engineers
- software components
- software evolution
- linux kernel
- multi agent systems
- building blocks
- user interface
- high assurance