Understanding process and the quest for deeper questions in software engineering research

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2003, Pages 6-14

  Osterweil, Leon J ^a  

^a UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

software analysis tools; software engineering; software environments; software process

Indexed keywords

SOFTWARE ANALYSIS; SOFTWARE ANALYSIS TOOLS; SOFTWARE PROCESS; TECHNICAL PROBLEM;

RESEARCH;

COMPUTER SOFTWARE;

EID: 77954516804     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/940071.940073     Document Type: Conference Paper

References (60)

1. Bandinelli, S. and Fuggetta, A. Computational Reflection in Software Process Modeling: the SLANG Approach. 15th International Conference on Software Engineering, IEEE Computer Society Press. pp. 144-154, Baltimore, MD, 1993.
2. Bandinelli, S., Fuggetta, A. and Grigolli, S. Process Modeling in in-in-the-large with SLANG. 2nd International Conference on Software Process, IEEE Computer Society Press. pp. 75-83, Berlin Germany, 1993
3. Buxton, J. Requirements for Ada Programming Support Environments. Department of Defense, 1980.
4. Canals, G., Boudjlida, N., Derniame, J.C., Godart, C. and Lonchamp, J. ALF: A framework for building process-centered software engineering environments. Software Process Modeling and Technology, pp. 153-185. Research Studies Press, Ltd., Taunton, Somerset, England, 1994.
5. nd International Conference of Software Engineering (ICSE 2000), June 4-11, Limerick, Ireland, pp 754-757
6. th International Workshop in Software Specification and Design (IWSSD), pp. 195-199, 2000, San Diego, CA
7. Cass, A.G. and Osterweil, L.J. Requirements-Based Design Guidance: A Process-Centered Consistency Management Approach. Department of Computer Science, University of Massachusetts Technical Report #UM-CS-2002-024. March 2002, Amherst, MA 01003.
8. th European Workshop on Software Process Technology, Helsinki, Finland, Sept. 2003.
9. Clemm, G.M. and Osterweil, L.J. A Mechanism for Environment Integration. ACM Transactions on Programming Languages and Systems, no.1, pp. 1-25, (1990).
10. Cobleigh, J.M. and Clarke, L.A. Verifying Properties of Process Definitions. Proceedings of the ACM Sigsoft 2000 International Symposium On Software Testing and Analysis (ISSTA 2000), August 21-25, 2000, Portland, OR. Pp. 96-101.
11. Cohen, D.I. AP5 Manual. University of Southern California, Information Sciences Institute, March 1988.
12. Dwyer, M. B., and Clarke, L.A. Data Flow Analysis for Verifying Properties of Concurrent Programs. Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, Dec. 6-9, 1994, New Orleans, LA, pp. 62-75.
13. th International Conference on Software Engineering, March 25-29, 1996, Berlin, Germany, pp. 554-564.
14. Emmerich, W., and Gruhn, V. FUNSOFT Nets: A Petri-Net based Software Process Modeling Language. 13th International Conference on Software Engineering, pp. 175-184, 1991.
15. Estublier, J., Dami, S. and Amiour. A. APEL: A graphical yet executable formalism for process modeling. Automated Software Engineering, 1997.
16. Fernstrom C. Process Weaver: Adding Process Support to UNIX. The 2nd International Conference on the Software Process, pages 12-26, 1993.
17. Fosdick, L.D. and Osterweil, L.J. Data Flow Analysis in Software Reliability, ACM Computing Surveys, v. 8 (1976).
18. Gruhn, V., and Jegelka, R. An Evaluation of FUNSOFT Nets. 2nd European Workshop on Software Process Technology, Trondheim, Norway, 1992
19. Harel, D., Lachover, H., Namaad, A., Pnuelli, A., Politi, M., Sherman, R., Shtull-Trauring, A. and Trakhtenbrot, M. STATEMATE: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, 16(4): 403-414, 1990. (Pubitemid 20712683)
20. Junkermann, G., Peuschel, B., Schafer, W. and Wolf, S. MERLIN: Supporting cooperation in software development through a knowledge-based environment. Software Process and Technology, pages 103-129, Research Studies Press, Ltd., Taunton, Somerset, England, 1994.
21. Kadia, R. Issues Encountered in Building a Flexible Software Development Environment: Lessons from the Arcadia Project. Fifth ACM SIGSOFT Symposium on Software Development Environment, pp. 169-180, Tyson's Corner, VA, 1992.
22. Kaiser, G.E., Feiler, P. H. and Popovich, S. S. Intelligent Assistance for Software Development and Maintenance. IEEE Software, vol. 5, pp. 40-49, 1988.
23. rd Annual Hawaii International Conference on System Sciences, v. II, pp. 131-140, Kona, HI, January 1990.
24. Lerner, B.S., Sutton Jr., S.M. and Osterweil, L.J. Enhancing Design Methods to Support Real Design Processes. (A condensed version of this paper appeared in the Proceedings of the 9th International Workshop on Software Specification and and Design, April 16-18, 1998, Ise-shima, Japan. pp. 159-161. http://laser.cs.umass.edu/abstracts/process.html
25. Maybee, M.J. and Heimbigner, D.H. Multilanguage Interoperability in Distributed Systems: Experience Report. 18th International Conference on Software Engineering, pp. 451-463, March 25-30, 1996, Berlin, Germany. http://laser.cs.umass.edu/abstracts/95-075.html
26. Naumovich, G., Avrunin, G.S. and Clarke, L.A. Data Flow Analysis for Checking Properties of Concurrent Java Programs. Proceedings of the International Conference on Software Engineering, May 16-22, 1999, Los Angeles, CA, pp. 399-410.
27. Oates, T. and Jensen, D. The Effects Of Training Set Size On Decision Tree Complexity. Proceedings of the 14th International Conference on Machine Learning. San Francisco: Morgan Kaufmann. 254-262.
28. th International Workshop on Artificial Intelligence and Statistics. 379-390.
29. Oates, T. and Jensen, D. Large Datasets Lead to Overly Complex Models: An Explanation and a Solution. Proceedings of the 4th International Conference on Knowledge Discovery and Data Mining (KDD98).
30. Oates, T. and Jensen, D. Toward a theoretical understanding of why and when decision tree pruning algorithms fail. Proceedings of the 16th National Conference on Artificial Intelligence (AAAI99).
31. rd Workshop on Software Testing, Analysis and Verification, Key West, FL, (December 1989).
32. Olender, K.M. and Osterweil, L.J. Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation. IEEE Transactions on Software Engineering, no. 3, pp. 268-280 (1990).
33. Olender, K.M. and Osterweil, L.J. Cesar A Static Sequencing Constraint Analyzer. ACM Transactions on Software Engineering Methods, no. 1, (1992)
34. Osterweil, L.J. and Fosdick, L.D. DAVE - A Validation, Error Detection and Documentation System for Fortran Programs, Software Practice and Experience, v. 6, pp. 473-486 (1976)
35. Osterweil, L.J. and Fosdick, L.D. The Detection of Anomalous Interprocedureal Data Flow. 2nd International Conference on Software Engineering, San Francisco, CA, (October 1976).
36. Osterweil, L.J. Toolpack - An Experimental Software Development Environment Research Project, IEEE Transactions on Software Engineering, SE-9, pp. 673-685, (1983).
37. Osterweil, L.J. A Process-Object Centered View of Software Environment Architecture. In Advanced Programming Environments, Springer Verlag, pp. 156-174 (1986).
38. Osterweil, L.J. Software Processes are Software Too. Proceedings of the 9th International Conference on Software Engineering, Monterey, CA, pp 2-13, (March 1987).
39. Osterweil, L.J. Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9, Proceedings of the 19th International Conference on Software Engineering, pp. 540-548, Boston,, MA, May 17-23, 1997. http://laser.cs.umass.edu/abstracts/97-029.html
40. Osterweil, L.J. Architecting Processes are Key to Software Quality. Proceedings of the International Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA), 30 June-3 July, 1998, Marsala, Sicily, Italy. pp. 18-20. http://www.ics.uci.edu/~djr/rosatea/papers/osterweil.pdf
41. Osterweil, L.J. Schweik, C.M. and Thomas, C.W. Developing Trustworthy Government Processes: The Emergency of Process Description Languages. To be submitted, Public Administration Review.
42. rd Internal Conference on Coordination Models and Languages. Springer-Verlag, 1999.
43. th ACM Sigsoft Symposium on the Foundations of Software Engineering (FSE 9), September 2001, Vienna Austria, pp. 33-43.
44. Sutton, Jr., S.M., Heimbigner, D.M. and Osterweil, L.J. Language Constructs for Managing Change in Process-Centered Environments, Proceedings of the ACM SIGSOFT '90: 4th International Symposium on Software Development Environments, Irvine, CA, pp. 206-217 (December 1990).
45. Sutton, Jr., S.M., Ziv, H. Heimbigner, D.M. Yessayan, H., Maybee, M.J. Song, X. and Osterweil, L.J. Programming a Software Requirements-Specification Process Proceedings of the 1st International Conference on the Software Process, Redondo Beach, CA, IEEE Press, pp. 68-89 (Oct. 1991).
46. Sutton, Jr., S.M., Heimbigner, M. and Osterweil, L.J. APPL/A - A Language for Software-Process Programming. ACM Transactions on Software Engineering and Methodology, Vol. 4, No. 3, July 1995, pp. 221-286.
47. th International Workshop on Software Specification and Design, pp.186-190, March 22-23, 1996, Schloss Velen, Germany.
48. Sutton, Jr., S.M. and Osterweil, L.J. Using Software Technology to Define Workflow Processes. Proceedings of the NSF Workshop on Workflow and Process Automation in Information Systems: State-of-the-art and Future Directions, May 8-10, 1996, Athens, GA. Edited by Amit Sheth. http://lsdis.cs.uga.edu/ activities/NSF-workflow/sutton/online.html
49. st International Conference on the Software Process, IEEE Computer Society Press. PP 202-217, Redondo Beach, CA 1991.
50. Tarr, P.L. and Clarke, L.A. PLEIADES: An Object Management System for Software Engineering Environments. Proceedings of the 1ST ACM SIGSOFT 1993 Symposium on the Foundations of Software Engineering (FSE 1), pp. 56-70, December 1993, Los Angeles, CA
51. Tarr, P.L. and Clarke, L.A. Consistency Management for Complex Applications. Proceedings of the 20th International Conference on Software Engineering (ICSE 1998), pp. 230-239, April 1998, Kyoto, Japan.
52. Taylor, R. N. A General Purpose Algorithm for Analyzing Concurrent Programs, Communications of the ACM, V. 26 #5, pp. 362-376 (1983).
53. Taylor, R. N. Complexity of Analyzing the Synchronization structure of concurrent programs. Acta Informatica, Vol. 19, pp. 57-84 (1983).
54. Taylor, R. N., Clarke, L.A., Osterweil, L.J., Selby, R.W., Wileden, J.C. Wolf, A.L. and Young, M. Arcadia: A Software Development Environment Research Project. ACM/IEEE Symposium on Ada Tools and Environments, Miami, FL, (April 1986).
55. "Three Amigos": Jacobson, I., Booch, G. and Rumbaugh, J. The Unified Software Development Process. Object Technology Series. Addison-Wesley, 1999.
56. UML Specification Working Group, Object Management Group. OMG Unified Modeling Language Specification. Technical Report formal/03-03-01, Carnegie-Mellon Software Engineering Institute, Mar. 2003, Version 1.5.
57. Wise, A., Little-JIL 1.0 Language Report. Computer Science Department, University of Massachusetts, 16-Apr-1998, Amherst, MA 01003.
58. Wise, A., Cass, A.G., Lerner, B.S., McCall, E.K., Sutton, Jr., S.M.and Osterweil, L.J. Using Little-JIL to Coordinate Agents in Software Engineering. Proceedings of the Automated Software Engineering Conference (ASE 2000), pp. 155-163, September 2000, Grenoble, France
59. Wise, A. Little-JIL 2.0 Language Report. Computer Science Department, University of Massachusetts, October 2002, Amherst, MA 01003.
60. Young, M., Taylor, R.N. and Troup, D.B. Software environment architectures and user interface facilities. IEEE Transactions on Software Engineering, SE -14, #6, 697-708 (June 1988)