Agile Specification-Driven Development

Jonathan S. Ostroff; David Makalsky; Richard F. Paige

Agile Specification-Driven Development

Jonathan S. Ostroff, David Makalsky, Richard F. Paige

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

We present an agile approach to Specification-Driven Development,
which combines features of Test-Driven Development and the plan-based approach
of Design-by-Contract.We argue that both tests and contracts are different
types of specifications, and both are useful and complementary for building high
quality software. We conclude that it is useful for being able to switch between
writing tests and writing contracts, and explain how Specification-Driven Development
supports this capability.

Original language	Undefined/Unknown
Pages	104-112
Publication status	Published - 2004

Access to Document

Cite this

@conference{f7f3359047c74e0a9315487387b5a8be,

title = "Agile Specification-Driven Development",

abstract = "We present an agile approach to Specification-Driven Development,which combines features of Test-Driven Development and the plan-based approachof Design-by-Contract.We argue that both tests and contracts are differenttypes of specifications, and both are useful and complementary for building highquality software. We conclude that it is useful for being able to switch betweenwriting tests and writing contracts, and explain how Specification-Driven Developmentsupports this capability.",

author = "Ostroff, {Jonathan S.} and David Makalsky and Paige, {Richard F.}",

year = "2004",

language = "Undefined/Unknown",

pages = "104--112",

}

TY - CONF

T1 - Agile Specification-Driven Development

AU - Ostroff, Jonathan S.

AU - Makalsky, David

AU - Paige, Richard F.

PY - 2004

Y1 - 2004

N2 - We present an agile approach to Specification-Driven Development,which combines features of Test-Driven Development and the plan-based approachof Design-by-Contract.We argue that both tests and contracts are differenttypes of specifications, and both are useful and complementary for building highquality software. We conclude that it is useful for being able to switch betweenwriting tests and writing contracts, and explain how Specification-Driven Developmentsupports this capability.

AB - We present an agile approach to Specification-Driven Development,which combines features of Test-Driven Development and the plan-based approachof Design-by-Contract.We argue that both tests and contracts are differenttypes of specifications, and both are useful and complementary for building highquality software. We conclude that it is useful for being able to switch betweenwriting tests and writing contracts, and explain how Specification-Driven Developmentsupports this capability.

M3 - Paper

SP - 104

EP - 112

ER -