Formalizing rework in software processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2786, Issue , 2003, Pages 16-31

  Cass, Aaron G ^a   Sutton Jr , Stanley M ^a   Osterweil, Leon J ^a  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

CRITICAL SOFTWARE; EXCEPTION MANAGEMENTS; IMPROVED PROCESS; PROCESS PROGRAMMING; RESOURCE MANAGEMENT; REWORK PROCESS; SEMANTIC FEATURES; SOFTWARE PROCESS;

SOFTWARE DESIGN;

EID: 35248885714     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45189-1_3     Document Type: Article

References (37)

1. FileNet Business Process Manager; URL: http://www.filenet.com.
2. PAVONE Process Modeler, URL: http://www.pavone.com/web/uk/pages.nsf/goto/home.
3. MultiDESK Workflow; URL: http://www.multidesk.com/.
4. Poseidon for UML. http://www.gentleware.com.
5. First CeBASE eWorkshop: Focusing on the cost and effort due to software defects. NSF Center for Empirically Based Software Engineering, Mar. 2001. http://www.cebase.org/www/researchActivities/defectReduction/eworkshop1/.
6. S. Bandinelli, A. Fuggetta, and S. Grigolli. Process modeling in-the-large with SLANG. In Proc. of the Second Int. Conf. on the Soft. Process, pages 75-83. IEEE Computer Society Press, 1993.
7. N. Belkhatir, J. Estublier, and M. L. Walcelio. ADELE-TEMPO: An environment to support process modeling and enaction. In A. Finkelstein, J. Kramer, and B. Nuseibeh, editors, Software Process Modelling and Technology, pages 187-222. John Wiley & Sons Inc., 1994.
8. B. Boehm. A spiral model of software development and enhancement. IEEE Computer, 21(5):61-72, May 1988.
9. K. Butler and W. Lipke. Software process achievement at Tinker Air Force Base. Technical Report CMU/SEI-2000-TR-014, Camegie-Mellon Software Engineering Institute, Sept. 2000.
10. G. Canals, N. Boudjlida, J.-C. Demiame, C. Godart, and J. Lonchamp. ALF: A framework for building process-centred software engineering environments. In A. Finkelstein, J. Kramer, and B. Nuseibeh, editors, Software Process Modelling and Technology, pages 153-185. John Wiley & Sons Inc., 1994.
11. F. Casati, S. Ceri, S. Paraboschi, and G. Pozzi. Specification and implementation of exceptions in workflow management systems. ACM Trans. on Database Systems, 24(3):405-451, Sept. 1999.
12. A. G. Cass, B. S. Lerner, E. K. McCall, L. J. Osterweil, and A. Wise. Logically central, physically distributed control in a process runtime environment. Technical Report 99-65, U. of Massachusetts, Dept. of Comp. Sci., Nov. 1999.
13. J. M. Cobleigh, L. A. Clarke, and L. J. Osterweil. Verifying properties of process definitions. In Proc. of the 2000 Int. Symp. on Soft. Testing and Analysis (ISSTA), pages 96-101, Aug. 2000.
14. D. Cohen. AP5 Manual. Univ. of Southern California, Information Sciences Institute, March 1988.
15. R. Conradi, M. Hagaseth, J.-O. Larsen, M. N. Nguyên, B. P. Munch, P. H. Westby, W. Zhu, M. L. Jaccheri, and C. Liu. EPOS: Object-oriented cooperative process modelling. In A. Finkelstein, J. Kramer, and B. Nuseibeh, editors, Software Process Modelling and Technology, pages 33-70. John Wiley & Sons Inc., 1994.
16. W. Deiters and V. Gruhn. Managing software processes in the environment melmac. In Proc. of the Fourth ACM SIGSOFT/SIGPLAN Symp. on Practical Soft. Development Environments, pages 193-205. ACM Press, 1990. Irvine, California.
17. M. Fowler. Refactoring: Improving the Design of Existing Code. Addison-Wesley, 1999.
18. C. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice Hall, Englewood Cliffs, NJ. 1991.
19. T. Haley, B. Ireland, E. Wojtaszek, D. Nash, and R. Dion. Raytheon Electronic Systems experience in software process improvement. Technical Report CMU/SEI-95-TR-017, Carnegie-Mellon Software Engineering Institute, Nov. 1995.
20. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Polili, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATEMATE: A working environment for the development of complex reactive systems. IEEE Trans. on Soft. Eng., 16(4):403-414, Apr. 1990.
21. J. Herbsieb, A. Carleton, J. Rozum, J. Siegel, and D. Zubrow. Benefits of cmm-based software process improvement: Initial results. Technical Report CMU/SEI-94-TR-013, Carnegie-Mellon Software Engineering Institute, Aug. 1994.
22. I. Jacobson, G. Booch, and J. Rumbaugh. The Unified Software Development Process. Object Technology Series. Addison-Wesley, 1999.
23. G. Junkermann, B. Peuschel, W. Schäfer, and S. Wolf. MERLIN: Supporting cooperation in software development through a knowledge-based environment. InA. Finkelstein, J. Kramer, and B. Nuseibeh, editors, Software Process Modelling and Technology, pages 103-129. John Wiley & Sons Inc., 1994.
24. G. E. Kaiser, N. S. Barghouti, and M. H. Sokolsky. Experience with process modeling in the MARVEL software development environment kernel. In B. Shriver, editor, 23rd Annual Hawaii International Conference on System Sciences, volume II, pages 131-140, Kona HI, Jan. 1990.
25. T. Katayama. A hierarchical and functional software process description and its enaction. In Proc. of the Eleventh Int. Conf. on Soft. Eng., pages 343-353. IEEE Comp. Society Press, 1989.
26. J. King and M. Diaz. How CMM impacts quality, productivity, rework, and the bottom line. CrossTalk - The Journal of Defense Software Engineering, pages 3-14, Mar. 2002.
27. C. Montangero and V. Ambriola. OIKOS: Constructing Process-Centered SDEs. In A. Finkelstein, J. Kramer, and B. Nuseibeh, editors, Software Process Modelling and Technology, pages 33-70. John Wiley & Sons Inc., 1994.
28. M. C. Paulk, C. V. Weber, B. Curtis, and M. B. Chrissis. Guidelines for Improving the Software Process. Addison-Wesley, New York, 1995.
29. R. M. Podorozhny, B. S. Lerner, and L. J. Osterweil. Modeling resources for activity coordination and scheduling. In Proceedings of Coordination 1999, pages 307-322. Springer-Verlag, Apr. 1999. Amsterdam, The Netherlands.
30. R. S. Pressman. Software Engineering: A Practitioner's Approach. McGraw-Hill, New York, fourth edition, 1997.
31. J. E. Robbins, D. M. Hilbert, and D. F. Redmiles. Argo: A design environment for evolving software architectures. In Proc. of the Nineteenth Int. Conf. on Soft. Eng., pages 600-601. Assoc. of Computing Machinery Press, May 1997.
32. I. Sommerville. Software Engineering. Addison-Wesley, fifth edition, 1996.
33. S. M. Sutton, Jr., D. Heimbigner, and L. J. Osterweil. APPL/A: A language for software-process programming. ACM Trans. on Soft. Eng. and Methodology, 4(3):221-286, July 1995.
34. S. M. Sutton, Jr. and L. J. Osterweil. The design of a next-generation process language. In Proc. of the Sixth European Soft. Eng. Conf. held jointly with the Fifth ACM SIGSOFT Symp. on the Foundations of Soft. Eng., pages 142-158. Springer-Verlag, 1997. Zurich, Switzerland.
35. M. Suzuki, A. Iwai, and T. Katayama. A formal model of re-execution in software process. In Proc. of the Second Int. Conf. on the Soft. Process, pages 84-99. IEEE-PRESS, Feb. 1993. Berlin, Germany.
36. A. Wise. Little-JIL 1.0 Language Report. Technical Report 98-24, U. of Massachusetts, Dept. of Comp. Sci., Apr. 1998.
37. A. Wise, A. G. Cass, B. S. Lerner, E. K. McCall, L. J. Osterweil, and S. M. Sutton, Jr. Using Little-JIL to coordinate agents in software engineering. In Proc. of the Automated Software Engineering Conf., Sept. 2000. Grenoble, France.