A Formal Approach to Requirements-Based Programming.

Michael G. Hinchey James L. Rash Christopher A. Rouff

Published in: ECBS (2005)

Keyphrases

abstract data types
requirements specification
data sets
search algorithm
general purpose
programming language
user requirements
object oriented programming
real world
website
open source
formal model
functional requirements
reactive systems
fully functional