scholarly journals Design-by-contract and test-driven software development

2019 ◽  
Author(s):  
Peter Hakel
Keyword(s):  
Software Development ◽  
Design By Contract

Managing Complexity with MDSD

2011 ◽  
pp. 200-230
Author(s):  
Jorn Bettin
Keyword(s):  
Software Development ◽  
Source Code ◽  
Natural Extension ◽  
Design By Contract ◽  
Model Driven ◽  
Managing Complexity ◽  
Guiding Principles ◽  
Principles Of Design ◽  
Iterative Software

This chapter addresses the question of how to successfully create durable and scalable software architectures that enable the underlying design intent of a system to survive over a period of many years, such that no accidental dependencies are introduced as part of further software development and maintenance. The answer involves looking beyond object-orientation and traditional iterative software development. In order to prevent long-term design degradation, and in order to efficiently execute software development in the large, the introduction of dependencies between components needs to be actively managed, relying on a set of guiding principles for component encapsulation and abstraction. The guiding principles required turn out to be a natural extension to the principles of design by contract, they have a direct impact on the modular structure of software source code, and they form a foundation for model-driven approaches to software development.

Using work-centered specifications to integrate cognitive requirements into software development

2006 ◽  
Author(s):  
Jeffrey Wampler ◽  
Emilie Roth ◽  
Randall Whitaker ◽  
Kendall Conrad ◽  
Mona Stilson ◽  
...  
Keyword(s):  
Software Development
Sign in / Sign up

Export Citation Format

Share Document