• 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