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 :
بازگشت