Improved software quality through improved development process descriptions

Automatica

Volumn 34, Issue 1, 1998, Pages 23-32

  Bunse, Christian ^a   Verlage, Martin ^a,b   Giese, Peter ^b,c  

^a FRAUNHOFER IESE   (Germany)

^b Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

^c Kiefer Veittinger U   (Germany)

Author keywords

Documentation; Process models; Software engineering; Software project management

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; FEEDBACK; PROCESS CONTROL; PROJECT MANAGEMENT; QUALITY CONTROL;

CLEANROOM PROCESS; MULTIVIEW PROCESS MODELING LANGUAGE; PROCESS MODELS;

SOFTWARE ENGINEERING;

EID: 0031679105     PISSN: 00051098     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0005-1098(97)00161-1     Document Type: Article

References (31)

1. Aumaitre, J.-M., M. Dowson and D.-R. Harjani (1994). Lessons learned from formalizing and implementing a large Process Model. In Proc. 3rd European Workshop on Software Process Technology, ed. B. Warboys, Lecture Notes in Computer Science, Vol. 772, pp. 228-240. Springer, Berlin.
2. Bandinelli, S., A. Fuggetta, L. Lavazza, M. Loi and G. P. Picco (1995). Modeling and improving an industrial software process. IEEE Trans. Software Engng, 21, 440-454.
3. Barghouti, N. S., D. S. Rosenblum, D. G. Belanger and C. Alliegro (1995). Two case studies in modeling real, corporate processes. Software Process-Improvement and Practice 1(1), 17-32.
4. Basili, V. R. and H. D. Rombach (1988). The TAME Project: towards improvement-oriented software environments. IEEE Trans. Software Engng, SE-14(6), 758-773.
5. Becker, U. and M. Verlage (1995). MVP-L's modeling support tool MoST. Technical Report STTI-95-03-E, Software-Technology-Transfer-Initiative Kaiserslautern, University of Kaiserslautern, 67653 Kaiserslautern, Germany.
6. Bröckers, A., C. M. Lott, H. D. Rombach and M. Verlage (1995). MVP-L language report version 2. Technical Report 265/95, Department of Computer Science, University of Kaiserslautern, 67653 Kaiserslautern, Germany.
7. Brooks, Jr., F. P. (1987). No silver bullet: essence and accidents of software engineering. IEEE Computer, 20(4), 10-19.
8. Bunse, C. and E. Kamsties (1996). Integrating SCR requirements into Cleanroom software engineering. In Proc. 1st ISEW Cleanroom Workshop, Germany, ed G. Smith, pp. 41-52. IEEE Computer Society Press, Los Alamitos, CA.
9. Curtis, B., M. I. Kellner and J. Over (1992). Process modeling. Commun. ACM, 35(9), 75-90.
10. Dyer, M. (1992). The Cleanroom Approach to Quality Software Development. Wiley, New York.
11. Emmerich, W., S. Bandinelli, L. Lavazza and J. Arlow (1996). Fine grained process modelling: an experiment at british airways. In Proc. 4th Int. Conf. on the Software Process, pp. 2-12. IEEE Computer Society Press, Silver Spring, MD.
12. Fernström, C. (1993). Process WEAVER: adding process support to UNIX. In Proc. 2nd Int. Conf. on the Software Process, pp. 12-26. IEEE Computer Society Press, Los Alamitos, CA.
13. Giese, P., B. Hoisl, C. M. Lott and H. D. Rombach (1994). Data collection in a process-sensitive software engineering environment. In Proc. 9th Int. Software Process Workshop, pp. 47-49.
14. Humphrey, W. S. (1989). Managing the Software Process. Addison Wesley, Reading, MA.
15. Humphrey, W. S. and M. Kellner (1989). Software process modeling: principles of entity process models. In Proc. 11th Int. Conf. on Software Engng, pp. 331-342.
16. IBM (1991). Software Technology for adaptable, reliable Systems (STARS) program. Technical Report Task IR70E, IBM.
17. IEEE (1992). IEEE Standard for Developing Software Life Cycle Processes. Institute of Electrical and Electronics Engineers. IEEE Std. 1074-1991.
18. Klingler, C. D., M. Neviaser, A. Marmor-Squires, C. M. Lott and H. D. Rombach (1992). A case study in process representation using MVP-L. In Proc. 7th Annual Conf. on Computer Assurance (COMPASS 92), pp. 137-146.
19. Linger, R. C. (1994). Cleanroom process model. IEEE Software, 11(2), 50-58.
20. Linger, R. C. and C. J. Trammell (1996). Cleanroom software engineering reference model. Technical Report CMU/SEI-96-TR-022, Software Engineering Institute, Carnegie Mellon University.
21. Mills, H. D., M. Dyer and R. Linger (1987). Cleanroom Software Engineering. IEEE Software, 4, 19-24.
22. Rombach, H. D. and M. Verlage (1993). How to assess a software process modeling formalism from a project member's point of view. In Proc. 2nd Int. Conf. on the Software Process, pp. 147-158.
23. Rombach, H. D. and M. Verlage (1995). Directions in software process research. In ed. M. V. Zelkowitz, Advances in Computers, Vol. 41, pp. 1-63. Academic Press. New York.
24. Saracelli, K. D. and K. F. Bandat (1993). Process automation in software application development. IBM Systems J. 32, 376-396.
25. Selby, R. W., V. R. Basili and F. T. Baker (1987). Cleanroom software development: an empirical evaluation. IEEE Trans. Software Engng, SE-13, 1027-1037.
26. Softech Inc. (1981). Integrated computer-aided manufacturing (ICAM) architecture Part II. Vol. IV - Function modeling manual (IDEF0). Technical Report AFWAL-TR-81-4023 Vol. IV, AF Wright Aeronautical Laboratories (AFSC), Wright-Paterson AFB, Dayton, OH.
27. Sutton, Jr., S. M. (1990). APPL/A: a prototype language for software-process programming. PhD Thesis, University of Colorado, Boulder, CO.
28. Sutton, Jr. S. M., D. Heimbigner and L. J. Osterweil (1995). APPL/A: a language for software process programming. ACM Trans. Software Engng Methodology, 4(3), 221-286.
29. Verlage, M. (1994). Multi-view modeling of software processes. In Proc. 3rd European Workshop on Software Process Technology, Grenoble, France, ed. B. C. Warboys, Vol. 772, pp. 123-127. Springer, Berlin.
30. Verlage, M. and J. Münch (1997). Formalizing software engineering standards. In Proc. 3rd Int. Symp. and Forum on Software Engineering Standards (ISESS '97), Walnut Creek, CA. IEEE Computer Society Press, Los Alamitos, CA.
31. Wohlin, C., H. Cosmo, A. Sixtensson, P. Runeson and E. Johansson (1992). Cleanroom software engineering applied to telecommunications. In Proc. Nordic Seminar on Dependable Computing Systems.