• DocumentCode
    3189289
  • Title

    Reuse, validation and verification of system development processes

  • Author

    Funk, Peter J. ; Crnkovic, Ivica

  • Author_Institution
    Comput. Sci. Lab., Malardalen Univ., Vasteras, Sweden
  • fYear
    1999
  • fDate
    1999
  • Firstpage
    300
  • Lastpage
    304
  • Abstract
    Large companies often use standardized template development processes. Project-specific adaptation of templates must address aspects such as: project resources (time/staff), standards, regulations, etc. Adapting templates is a particularly manual process requiring skill and for large companies represents a large proportion of the total development cost. Integrating locally gained experience and updating the template process is tedious work and resources for such updates are rarely available. Fortunately, formal representation of processes and process components enables reuse, analysis and comparison of processes and parts of processes. We use a case-based reasoning (CBR) approach which permits identification and reuse of processes or parts of processes. The formal notation allows the user to sketch new processes or adapt template processes. These sketches/adaptations are used in a matching process which identifies and suggest the reuse of similar processes and tasks stored in the library. Once an adaptation has been successfully used, it is automatically added to the case library
  • Keywords
    case-based reasoning; program verification; software reusability; software standards; systems analysis; case-based reasoning; formal representation; project resources; software reuse; software validation; software verification; system development processes; template development processes; Best practices; Computer science; Costs; Electrical capacitance tomography; Electronic switching systems; Programming; Read only memory; Standards development; Technology management; Tellurium;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Database and Expert Systems Applications, 1999. Proceedings. Tenth International Workshop on
  • Conference_Location
    Florence
  • Print_ISBN
    0-7695-0281-4
  • Type

    conf

  • DOI
    10.1109/DEXA.1999.795183
  • Filename
    795183