2009 | ||
---|---|---|
113 | EE | Aaron G. Cass, Leon J. Osterweil, Alexander E. Wise: A Pattern for Modeling Rework in Software Development Processes. ICSP 2009: 305-316 |
112 | EE | Borislava I. Simidchieva, Leon J. Osterweil, Alexander E. Wise: Structural Considerations in Defining Executable Process Models. ICSP 2009: 366-376 |
2008 | ||
111 | EE | Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil: Specifying and verifying requirements for election processes. DG.O 2008: 63-72 |
110 | EE | Bin Chen, George S. Avrunin, Elizabeth A. Henneman, Lori A. Clarke, Leon J. Osterweil, Philip L. Henneman: Analyzing medical processes. ICSE 2008: 623-632 |
109 | EE | Lori A. Clarke, George S. Avrunin, Leon J. Osterweil: Using software engineering technology to improve the quality of medical processes. ICSE Companion 2008: 889-898 |
108 | EE | Leon J. Osterweil, Lori A. Clarke, Aaron M. Ellison, Rodion M. Podorozhny, Alexander E. Wise, Emery Boose, Julian L. Hadley: Experience in using a process language to define scientific workflow and generate dataset provenance. SIGSOFT FSE 2008: 319-329 |
107 | EE | Barbara Staudt Lerner, Stefan Christov, Alexander E. Wise, Leon J. Osterweil: Exception handling patterns for processes. Workshop on Exception Handling 2008: 55-61 |
106 | EE | Leon J. Osterweil: What is software? Autom. Softw. Eng. 15(3-4): 261-273 (2008) |
105 | EE | Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf: Determining the Impact of Software Engineering Research on Practice. IEEE Computer 41(3): 39-49 (2008) |
2007 | ||
104 | EE | Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser: Challenges Observed in the Definition of Reference Business Processes. Business Process Management Workshops 2007: 95-107 |
103 | EE | Lori A. Clarke, Alan Gaitenby, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Daniel Rainey, Borislava I. Simidchieva, Norman K. Sondheimer, Leah Wing, Alexander E. Wise: Using process definitions to drive user interactions with digital government systems. DG.O 2007: 310-311 |
102 | EE | Leon J. Osterweil: A Future for Software Engineering? FOSE 2007: 1-11 |
101 | EE | Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil: Representing Process Variation with a Process Family. ICSP 2007: 109-120 |
100 | EE | Stefan Christov, Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, David Brown, Lucinda Cassells, Wilson Mertens: Rigorously Defining and Analyzing Medical Processes: An Experience Report. MoDELS Workshops 2007: 118-131 |
99 | EE | Leon J. Osterweil, George S. Avrunin, Bin Chen, Lori A. Clarke, Rachel L. Cobleigh, Elizabeth A. Henneman, Philip L. Henneman: Engineering Medical Processes to Improve Their Safety. Situational Method Engineering 2007: 267-282 |
98 | EE | Leon J. Osterweil: What we learn from the study of ubiquitous processes. Software Process: Improvement and Practice 12(5): 399-414 (2007) |
97 | EE | Junchao Xiao, Leon J. Osterweil, Lei Zhang, Alexander E. Wise, Qing Wang: Applying Little-JIL to describe Process-Agent knowledge and support project planning in SoftPM. Software Process: Improvement and Practice 12(5): 437-448 (2007) |
2006 | ||
96 | Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006 ACM 2006 | |
95 | EE | Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer, Daniel Rainey: Experimental application of process technology to the creation and adoption of online dispute resolution. DG.O 2006: 273-274 |
94 | EE | Lori A. Clarke, Alan Gaitenby, Daniel Gyllstrom, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Norman K. Sondheimer, Leah Wing, Alexander E. Wise, Daniel Rainey: A process-driven tool to support online dispute resolution. DG.O 2006: 356-357 |
93 | EE | Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil: Automatic Fault Tree Derivation from Little-JIL Process Definitions. SPW/ProSim 2006: 150-158 |
92 | EE | Mohammad S. Raunak, Bin Chen, Amr Elssamadisy, Lori A. Clarke, Leon J. Osterweil: Definition and Analysis of Election Processes. SPW/ProSim 2006: 178-185 |
91 | EE | Junchao Xiao, Leon J. Osterweil, Lei Zhang, Alexander E. Wise, Qing Wang: Applying Little-JIL to Describe Process-Agent Knowledge in SoftPM. SPW/ProSim 2006: 214-221 |
90 | EE | Leon J. Osterweil: Ubiquitous Process Engineering: Applying Software Process Technology to Other Domains. SPW/ProSim 2006: 39-47 |
2005 | ||
89 | Mingshu Li, Barry W. Boehm, Leon J. Osterweil: Unifying the Software Process Spectrum, International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers Springer 2005 | |
88 | EE | Aaron G. Cass, Leon J. Osterweil: Process support to help novices design software faster and better. ASE 2005: 295-299 |
87 | EE | Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer, Daniel Rainey: Early lessons from the application of process technology to online grievance mediation. DG.O 2005: 99-100 |
86 | EE | Lori A. Clarke, Yao Chen, George S. Avrunin, Bin Chen, Rachel L. Cobleigh, Kim Frederick, Elizabeth A. Henneman, Leon J. Osterweil: Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. ISPW 2005: 347-359 |
85 | EE | Leon J. Osterweil, Alexander E. Wise, Lori A. Clarke, Aaron M. Ellison, Julian L. Hadley, Emery Boose, David R. Foster: Process Technology to Facilitate the Conduct of Science. ISPW 2005: 403-415 |
84 | EE | Mohammad S. Raunak, Leon J. Osterweil: Process Definition Language Support for Rapid Simulation Prototyping. ISPW 2005: 416-432 |
83 | EE | Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Osterweil: Automatically Analyzing Software Processes: Experience Report. ISPW 2005: 482-497 |
82 | EE | Leon J. Osterweil: Unifying Microprocess and Macroprocess Research. ISPW 2005: 68-74 |
81 | EE | Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf: Editorial. ACM Trans. Softw. Eng. Methodol. 14(4): 381-382 (2005) |
2004 | ||
80 | EE | Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer: Process Technology for Achieving Government Online Dispute Resolution. DG.O 2004 |
2003 | ||
79 | EE | Leon J. Osterweil: Understanding process and the quest for deeper questions in software engineering research. ESEC / SIGSOFT FSE 2003: 6-14 |
78 | EE | Aaron G. Cass, Stanley M. Sutton Jr., Leon J. Osterweil: Formalizing Rework in Software Processes. EWSPT 2003: 16-31 |
77 | EE | Leon J. Osterweil: New Software Engineering Faculty Symposium (NSEFS 03). ICSE 2003: 767-768 |
76 | EE | Leon J. Osterweil: Report on new software engineering faculty symposium (NSEFS 03) a full-day symposium held in conjunction with ICSE 2003 5 May 2003 Portland, OR, USA. ACM SIGSOFT Software Engineering Notes 28(4): 27-35 (2003) |
2002 | ||
75 | EE | Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil: PROPEL: an approach supporting property elucidation. ICSE 2002: 11-21 |
74 | EE | Leon J. Osterweil, Philippe Kruchten, Martin Fowler, Wilhelm Schäfer: Lightweight vs. heavyweight processes: is this even the right question? ICSE 2002: 649 |
73 | EE | Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner: Containment units: a hierarchically composable architecture for adaptive systems. SIGSOFT FSE 2002: 159-165 |
72 | EE | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil: FLAVERS: A finite state verification technique for software systems. IBM Systems Journal 41(1): 140- (2002) |
2001 | ||
71 | EE | Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil: An architecture for flexible, evolvable process-driven user-guidance environments. ESEC / SIGSOFT FSE 2001: 33-43 |
70 | EE | Aaron G. Cass, Leon J. Osterweil: Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper. EWSPT 2001: 145-151 |
69 | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil: The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification. ICSE 2001: 37-46 | |
68 | Leon J. Osterweil: Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice. ICSE 2001: 697-697 | |
67 | H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas: Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? ICSE 2001: 698-698 | |
66 | Leon J. Osterweil, Gabriel M. Silberman, Kenny Wong: New Software Engineering Faculty Symposium. ICSE 2001: 813-813 | |
2000 | ||
65 | EE | Alexander E. Wise, Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr.: Using Little-JIL to Coordinate Agents in Software Engineering. ASE 2000: 155-164 |
64 | EE | Leon J. Osterweil, Lori A. Clarke: Frameworks for Reasoning about Agent Based Systems. Agents Workshop on Infrastructure for Multi-Agent Systems 2000: 64-71 |
63 | EE | Xiaoqin Zhang, Anita Raja, Barbara Staudt Lerner, Victor R. Lesser, Leon J. Osterweil, Thomas Wagner: Integrating High-Level and Detailed Agent Coordination into a Layered Architecture. Agents Workshop on Infrastructure for Multi-Agent Systems 2000: 72-79 |
62 | EE | S. Bhattacharyya, Leon J. Osterweil: Relocation in Mobile Process-Centered Software Development Environments. DEXA Workshop 2000: 198-203 |
61 | EE | Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller: Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. ICSE 2000: 660 |
60 | EE | Aaron G. Cass, Barbara Staudt Lerner, Stanley M. Sutton Jr., Eric K. McCall, Alexander E. Wise, Leon J. Osterweil: Little-JIL/Juliette: a process definition language and interpreter. ICSE 2000: 754-757 |
59 | EE | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil: Verifying properties of process definitions. ISSTA 2000: 96-101 |
58 | EE | Leon J. Osterweil, Lori A. Clarke: Continuous Self-Evaluation for the Self-Improvement of Software. IWSAS 2000: 27-39 |
57 | EE | Aaron G. Cass, Leon J. Osterweil: Design Guidance through the Controlled Application of Constraints. IWSSD 2000: 195- |
56 | EE | Leon J. Osterweil, Lori A. Clarke, Michael Evangelist, Jeff Kramer, H. Dieter Rombach, Alexander L. Wolf: The impact project: determining the impact of software engineering research upon practice (panel session). SIGSOFT FSE 2000: 108-109 |
1999 | ||
55 | EE | Rodion M. Podorozhny, Barbara Staudt Lerner, Leon J. Osterweil: Modeling Resources for Activity Coordination and Scheduling. COORDINATION 1999: 307-322 |
54 | EE | Martin L. Griss, Qiming Chen, Gregory A. Bolcer, Robert R. Kessler, Leon J. Osterweil: Agents and Workflow - An Intimate Connection, or Just Friends? TOOLS (30) 1999: 558-562 |
53 | EE | David Jensen, Yulin Dong, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr., Alexander E. Wise: Coordinating agent activities in knowledge discovery processes. WACC 1999: 137-146 |
1998 | ||
52 | Barbara Staudt Lerner, Leon J. Osterweil, Stanley M. Sutton Jr., Alexander E. Wise: Programming Process Coordination in Little-JIL. EWSPT 1998: 127-131 | |
51 | Leon J. Osterweil: JIL and Little-JIL Process Programming Languages. EWSPT 1998: 152 | |
50 | Eric K. McCall, Lori A. Clarke, Leon J. Osterweil: An Adaptable Generation Approach to Agenda Management. ICSE 1998: 282-291 | |
49 | EE | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil: Efficient Composite Data Flow Analysis Applied to Concurrent Programs. PASTE 1998: 51-58 |
48 | EE | Xiping Song, Leon J. Osterweil: Engineering Software Design Processes to Guide Process Execution. IEEE Trans. Software Eng. 24(9): 759-775 (1998) |
1997 | ||
47 | EE | Stanley M. Sutton Jr., Leon J. Osterweil: The Design of a Next-Generation Process Language. ESEC / SIGSOFT FSE 1997: 142-158 |
46 | EE | Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil: Applying Static Analysis to Software Architectures. ESEC / SIGSOFT FSE 1997: 77-93 |
45 | EE | Rodion M. Podorozhny, Leon J. Osterweil: The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report. ICSE 1997: 303-313 |
44 | EE | Leon J. Osterweil: Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9. ICSE 1997: 540-548 |
43 | EE | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer: Verification of Concurrent Software with FLAVERS. ICSE 1997: 594-595 |
1996 | ||
42 | EE | Mark J. Maybee, Dennis Heimbigner, Leon J. Osterweil: Multilanguage Interoperability in Distributed Systems. ICSE 1996: 451-463 |
41 | EE | Stanley M. Sutton Jr., Leon J. Osterweil: Product families and process families. ISPW 1996: 109-111 |
40 | Leon J. Osterweil: Improving the quality of software quality determination processes. Quality of Numerical Software 1996: 90-105 | |
39 | EE | Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil: Verification of Communication Protocols Using Data Flow Analysis. SIGSOFT FSE 1996: 93-105 |
38 | Leon J. Osterweil: Strategic Directions in Software Quality. ACM Comput. Surv. 28(4): 738-750 (1996) | |
1995 | ||
37 | EE | Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil: APPL/A: A Language for Software Process Programming. ACM Trans. Softw. Eng. Methodol. 4(3): 221-286 (1995) |
36 | EE | F. E. Eassa, Leon J. Osterweil, M. Z. Abdel Mageed: AIDA: A dynamic analyzer for Ada programs. Journal of Systems and Software 31(3): 239-255 (1995) |
1994 | ||
35 | Hadar Ziv, Leon J. Osterweil: Research Issues in the Intersection of Hypertext and Software Development Environments. ICSE Workshop on SE-HCI 1994: 268-279 | |
34 | Dennis Heimbigner, Leon J. Osterweil: An argument for the elimination of roles. ISPW 1994: 122-123 | |
33 | Leon J. Osterweil, Dennis Heimbigner: An alternative to software process languages. ISPW 1994: 129-131 | |
32 | EE | Xiping Song, Leon J. Osterweil: Experience with an Approach to Comparing Software Design Methodologies. IEEE Trans. Software Eng. 20(5): 364-384 (1994) |
1992 | ||
31 | EE | Kurt M. Olender, Leon J. Osterweil: Interprocedural Static Analysis of Sequencing Constraints. ACM Trans. Softw. Eng. Methodol. 1(1): 21-52 (1992) |
30 | Xiping Song, Leon J. Osterweil: Toward Objective, Systematic Design-Method Comparisons. IEEE Software 9(3): 43-53 (1992) | |
1990 | ||
29 | Leon J. Osterweil, Richard N. Taylor: The architecture of the Arcadia-1 process centered software environment. ISPW 1990: 155-158 | |
28 | EE | Geoffrey Clemm, Leon J. Osterweil: A Mechanism for Environment Integration. ACM Trans. Program. Lang. Syst. 12(1): 1-25 (1990) |
27 | EE | Kurt M. Olender, Leon J. Osterweil: Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation. IEEE Trans. Software Eng. 16(3): 268-280 (1990) |
1989 | ||
26 | Leon J. Osterweil: Experiences with process programming. ISPW 1989: 109-111 | |
25 | Leon J. Osterweil: Example process program code, coded in Appl/A. ISPW 1989: 169-170 | |
24 | Izhar Shy, Richard N. Taylor, Leon J. Osterweil: A Metaphor and a Conceptual Architecture for Software Development Environments. SEE 1989: 77-97 | |
23 | EE | Debra J. Richardson, Stephanie Leif Aha, Leon J. Osterweil: Integrating Testing Techniques Through Process Programming. Symposium on Testing, Analysis, and Verification 1989: 219-228 |
22 | EE | Kurt M. Olender, Leon J. Osterweil: Cesar: A Static Sequencing Constraint Analyzer. Symposium on Testing, Analysis, and Verification 1989: 66-74 |
1988 | ||
21 | Leon J. Osterweil: Automated support for the enactment of rigorously described software processes. ISPW 1988: 121-125 | |
20 | Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young: Foundations for the Arcadia Environment Architecture. Software Development Environments (SDE) 1988: 1-13 | |
1987 | ||
19 | Barbara Raither, Leon J. Osterweil: TRICS: A Testing Tool for C. ESEC 1987: 254-262 | |
18 | Leon J. Osterweil: Software Processes Are Software Too. ICSE 1987: 2-13 | |
17 | Leon J. Osterweil: Lessons of Current Environments. ICSE 1987: 286 | |
1986 | ||
16 | Leon J. Osterweil: A Process-Object Centered View of Software Environment Architecture. Advanced Programming Environments 1986: 156-174 | |
15 | Leon J. Osterweil: Software processes are software too. ISPW 1986: 79-80 | |
1985 | ||
14 | Cindy Wilson, Leon J. Osterweil: Omega - A Data Flow Analysis Tool for the C Programming Language. IEEE Trans. Software Eng. 11(9): 832-838 (1985) | |
1983 | ||
13 | Leon J. Osterweil, Geoffrey Clemm: The Toolpack/IST Approach to Extensibility in Software Environments. Ada Software Tools Interfaces 1983: 133-163 | |
12 | Leon J. Osterweil: Toolpack - An Experimental Software Development Environment Research Project. IEEE Trans. Software Eng. 9(6): 673-685 (1983) | |
1982 | ||
11 | Leon J. Osterweil: Toolpack - An Experimental Software Development Environment Research Project. ICSE 1982: 166-177 | |
1981 | ||
10 | EE | Mark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden: An approach to transfer verification and validation technology. AFIPS National Computer Conference 1981: 367-373 |
9 | Eugene W. Myers, Leon J. Osterweil: BIGMAC II: A FORTRAN Language Augmentation Tool. ICSE 1981: 410-421 | |
8 | Leon J. Osterweil: Software Engineering Research: Directions for the Next Five Years. IEEE Computer 14(4): 35-43 (1981) | |
1980 | ||
7 | Richard N. Taylor, Leon J. Osterweil: Anomaly Detection in Concurrent Software by Static Data Flow Analysis. IEEE Trans. Software Eng. 6(3): 265-278 (1980) | |
1979 | ||
6 | EE | Leon J. Osterweil, John R. Brown, Leon G. Stucki: ASSET: A life cycle verification and visibility system. Journal of Systems and Software 1: 77-86 (1979) |
1976 | ||
5 | EE | Leon J. Osterweil, Lloyd D. Fosdick: Some experience with DAVE: a Fortran program analyzer. AFIPS National Computer Conference 1976: 909-915 |
4 | Lloyd D. Fosdick, Leon J. Osterweil: The Detection of Anomalous Interprocedural Data Flow. ICSE 1976: 624-628 | |
3 | Lloyd D. Fosdick, Leon J. Osterweil: Data Flow Analysis in Software Reliability. ACM Comput. Surv. 8(3): 305-330 (1976) | |
2 | Harold N. Gabow, Shachindra N. Maheswari, Leon J. Osterweil: On Two Problems in the Generation of Program Test Paths. IEEE Trans. Software Eng. 2(3): 227-231 (1976) | |
1 | Leon J. Osterweil, Lloyd D. Fosdick: DAVE-A Validation Error Detection and Documentation System for Fortran Programs. Softw., Pract. Exper. 6(4): 473-486 (1976) |