WIT Press


A Declarative Development Technique

Price

Free (open access)

Paper DOI

10.2495/SQM930321

Volume

4

Pages

14

Published

1993

Size

1,104 kb

Author(s)

R. Harrison

Abstract

A declarative development technique R. Harrison Department of Electronics and Computer Science, University of Southampton, Hampshire, UK ABSTRACT We present a way in which structured analysis and structured design can be used together with functional languages to produce a complete declarative development technique. We also examine the use of prototyping in the software development process by considering the use of functional languages for evolutionary prototyping. Our main conclusion is that the combination of structured analysis and structured design, evolutionary prototyping and functional languages produces a powerful methodology which facilitates the development of quality software. Keywords: rapid prototyping, specification, functional languages INTRODUCTION In this paper we demonstrate how structured analysis and structured design [1, 2] can be used together with functional languages to produce a complete declarative development technique. We hypothesize

Keywords