Title :
Reuse, validation and verification of system development processes
Author :
Funk, Peter J. ; Crnkovic, Ivica
Author_Institution :
Comput. Sci. Lab., Malardalen Univ., Vasteras, Sweden
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;
Conference_Titel :
Database and Expert Systems Applications, 1999. Proceedings. Tenth International Workshop on
Conference_Location :
Florence
Print_ISBN :
0-7695-0281-4
DOI :
10.1109/DEXA.1999.795183