DocumentCode
1669199
Title
GAMBITS-from requirements capture to C++ code generation
Author
Powell, D.
Author_Institution
Software Eng Centre, DRA Fort Halstead, Sevenoaks, UK
fYear
1996
fDate
2/1/1996 12:00:00 AM
Firstpage
42430
Lastpage
42432
Abstract
GAMBITS (Graphical Approach to Modelling and Building Interactively a Technical System) has evolved to fill the gaps in other methods by providing support for (1) the progressive realisation and the traceability of functional and non-functional requirements from initial conception, through implementation to maintenance; (2) the human involvement in the system, from the procurer, developer and user perspectives; and (3) support for building embedded, real-time and large distributed systems. The GAMBITS method permits successive refinement of understanding from emerging needs, through progressive transformations of an implementation-independent specification, to partial or full realisation of a local or distributed system. Starting with a business objective, the method allows the representation of concepts at different development stages or lifecycle steps. The method permits substantial verification of an implementation through traceability links that can map each component of requirement to the design and the subsequent implementation in a procedural or object-oriented application
Keywords
distributed processing; formal specification; interactive programming; object-oriented methods; real-time systems; C++ code generation; GAMBITS; Graphical Approach to Modelling and Building Interactively a Technical System; Jackson System Development; business objective; concept representation; development stages; distributed systems; embedded systems; emerging needs; functional requirements; human involvement; implementation verification; implementation-independent specification; initial conception; lifecycle steps; maintenance; nonfunctional requirements; object-oriented application; procedural application; progressive transformations; real-time systems; requirements capture; successive refinement; traceability links;
fLanguage
English
Publisher
iet
Conference_Titel
Jackson System Development (JSD) - The Original Object Oriented Method, IEE Colloquium on (Digest No.1996/020)
Conference_Location
London
Type
conf
DOI
10.1049/ic:19960088
Filename
499939
Link To Document