Search For:

Displaying 1-50 out of 51 total
A Future for Software Engineering?
Found in: Future of Software Engineering
By Leon J. Osterweil
Issue Date:May 2007
pp. 1-11
This paper suggests the need for a software engineering research community conversation about the future that the community would like to have. The paper observes that the research directions the community has taken in the past, dating at least back to the...
 
PDP: Programming A Programmable Design Process
Found in: Software Specification and Design, International Workshop on
By Stanley M. Sutton Jr, Leon J. Osterweil
Issue Date:March 1996
pp. 186
We have been developing PDP, a system for programming the process of designing software that is based on Booch Object-Oriented Design. Because PDP allows tailoring and adaptation by participants, we consider it a programmable process. We believe that proce...
 
Exception Handling Patterns for Process Modeling
Found in: IEEE Transactions on Software Engineering
By Barbara Staudt Lerner, Stefan Christov, Leon J. Osterweil, Reda Bendraou, Udo Kannengiesser, Alexander Wise
Publication Date: January 2010
pp. 162-183
Process modeling allows for analysis and improvement of processes that coordinate multiple people and tools working together to carry out a task. Process modeling typically focuses on the normative process, that is, how the collaboration transpires when ev...
 
Engineering Software Design Processes to Guide Process Execution
Found in: IEEE Transactions on Software Engineering
By Xiping Song, Leon J. Osterweil
Issue Date:September 1998
pp. 759-775
<p><b>Abstract</b>t—Using systematic development processes is an important characteristic of any mature engineering discipline. In current software practice, Software Design Methodologies (SDMs) are intended to be used to help design soft...
 
Some experience with DAVE - A Fortran program analyzer
Found in: Managing Requirements Knowledge, International Workshop on
By Leon J. Osterweil, Lloyd D. Fosdick
Issue Date:June 1976
pp. 909
No summary available.
   
Determining the Impact of Software Engineering Research on Practice
Found in: Computer
By Leon J. Osterweil, Carlo Ghezzi, Jeff Kramer, Alexander L. Wolf
Issue Date:March 2008
pp. 39-49
The Impact Project provides a solid and scholarly assessment of the impact software engineering research has had on software engineering practice. The assessment takes the form of a series of studies and briefings, each involving literature searches and, w...
 
Using Little-JIL to Coordinate Agents in Software Engineering
Found in: Automated Software Engineering, International Conference on
By Barbara Staudt Lemer, Eric K. McCall, Alexander Wise, Aaron G. Cass, Leon J. Osterweil, Stanley M. Sutton, Jr.
Issue Date:September 2000
pp. 155
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously defined operational semantics. Little-JIL is based on two main hypotheses. T...
 
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification
Found in: Software Engineering, International Conference on
By Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
Issue Date:May 2001
pp. 0037
No summary available.
 
Workshop on software Engineering in Health Care (SEHC)
Found in: International Conference on Software Engineering Companion
By Leon J. Osterweil, Barbara Paech
Issue Date:May 2009
pp. 465
The Software Engineering in Health Care Workshop aims to explore the relevance and applicability of the techniques, approaches, and technologies of software engineering to problems in the domain of health care. Health care is emerging as one of the largest...
   
Design Guidance through the Controlled Application of Constraints
Found in: Software Specification and Design, International Workshop on
By Aaron G. Cass, Leon J. Osterweil
Issue Date:November 2000
pp. 195
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relations and constraints that define well formedness. We identify various types of ...
 
Little-JIL/Juliette: A Process Definition Language and Interpreter
Found in: Software Engineering, International Conference on
By Aaron G. Cass, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton Jr., Alexander Wise
Issue Date:June 2000
pp. 754
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational semantics. The central abstraction in Little-JIL is the
 
An Adaptable Generation Approach to Agenda Management
Found in: Software Engineering, International Conference on
By Eric K. McCall, Lori A. Clarke, Leon J. Osterweil
Issue Date:April 1998
pp. 282
No summary available.
 
Enhancing Design Methods to Support Real Design Processes
Found in: Software Specification and Design, International Workshop on
By Barbara Staudt Lerner, Stanley M. Sutton Jr, Leon J. Osterweil
Issue Date:April 1998
pp. 159
Software design methods typically focus on the activities that individual designers should perform under ideal circumstances. They rarely, if ever, address the activities that should be performed when things do not go according to plan, such as when a cust...
 
Assuring Accuracy and Impartiality in Software Design Methodology Comparison
Found in: Software Specification and Design, International Workshop on
By Leon J. Osterweil, Xiping Song
Issue Date:March 1996
pp. 170
Software product and process modeling can be used as bases for more accurate, objective, and repeatable comparison of Software Design Methodologies (SDM's). In earlier work we have demonstrated the use of a fixed feature comparison process (called CDM), a ...
   
Toward Objective, Systematic Design-Method Comparisons
Found in: IEEE Software
By Xiping Song, Leon J. Osterweil
Issue Date:May 1992
pp. 43-53
<p>Software design methodologies (SDMs) suggest ways to improve productivity and quality. They are collections of complementary design methods and rules for applying them. A base framework and modeling formalism to help designers compare SDMs and def...
 
Agents and Workflow -- An Intimate Connection, or Just Friends?
Found in: Technology of Object-Oriented Languages, International Conference on
By Martin L. Griss, Quiming Chen, Gregory A. Bolcer, Robert R. Kessler, Leon J. Osterweil
Issue Date:August 1999
pp. 558
This panel addresses the perspective that agents and workflow can be seen as an evolution of components and scripting. There are several ways in which agents can be used to perform or support a workflow, and several ways in which workflow can be used to or...
 
Resource Management for Complex, Dynamic Environments
Found in: IEEE Transactions on Software Engineering
By Mohammad S. Raunak,Leon J. Osterweil
Issue Date:March 2013
pp. 384-402
This paper describes an approach to the specification and management of the agents and resources that are required to support the execution of complex systems and processes. The paper suggests that a resource should be viewed as a provider of a set of capa...
 
New Software Engineering Faculty Symposium (NSEFS 03)
Found in: Software Engineering, International Conference on
By Leon J. Osterweil
Issue Date:May 2003
pp. 767
No summary available.
   
PROPEL: An Approach Supporting Property Elucidation
Found in: Software Engineering, International Conference on
By Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil
Issue Date:May 2002
pp. 11
Property specifications concisely describe what a software system is supposed to do. It is surprisingly difficult to write these properties correctly. There are rigorous mathematical formalisms for representing properties, but these are often difficult to ...
 
Lightweight vs. Heavyweight Processes: Is This Even the Right Question?
Found in: Software Engineering, International Conference on
By Leon J. Osterweil, Philippe Kruchten, Martin Fowler, Wilhelm Schäfer
Issue Date:May 2002
pp. 649
No summary available.
   
The Criticality of Modeling Formalisms in Software Design Method Comparison
Found in: Software Engineering, International Conference on
By Rodion M. Podorozhny, Leon J. Osterweil
Issue Date:May 1997
pp. 303
This paper describes experimentation aimed at making the comparison of software design methodologies (SDM's) more of an exact science. Our aim is to lay the foundations for this more exact science by establishing fixed methods and conceptual frameworks tha...
 
Verification of Concurrent Software with FLAVERS
Found in: Software Engineering, International Conference on
By Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer
Issue Date:May 1997
pp. 594
In this demonstration we give a scenario of how FLAVERS, an implementation of the incremental accuracy improving data flow analysis approach is used to verify event sequence properties of concurrent or distributed software programs.
   
An architecture for flexible, evolvable process-driven user-guidance environments
Found in: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-9)
By Leon J. Osterweil, Lori A. Clarke, Matthew P. Billmers, Timothy J. Sliski
Issue Date:September 2001
pp. 163-166
Complex toolsets can be difficult to use. User interfaces can help by guiding users through the alternative choices that might be possible at any given time, but this tends to lock users into the fixed interaction models dictated by the user-interface desi...
     
Search based risk mitigation planning in project portfolio management
Found in: Proceedings of the 2013 International Conference on Software and System Process (ICSSP 2013)
By Jie Chen, Junchao Xiao, Leon J. Osterweil, Mingshu Li, Qing Wang
Issue Date:May 2013
pp. 146-155
Software projects are always facing various risks. These risks should be identified, analyzed, prioritized, mitigated, monitored and controlled. After risks are identified and analyzed, resources must then be devoted to mitigation. However, risk prioritiza...
     
Supporting process undo and redo in software engineering decision making
Found in: Proceedings of the 2013 International Conference on Software and System Process (ICSSP 2013)
By Leon J. Osterweil, Xiang Zhao, Yuriy Brun
Issue Date:May 2013
pp. 56-60
This paper presents a provenance-based approach for supporting undo and redo for software engineers. Writing software entails creating and reworking intricately intertwined software artifacts. After discovering a mistake in an earlier-completed task, a dev...
     
Precise process definitions for activities of daily living: a basis for real-time monitoring and hazard detection
Found in: Proceeding of the 3rd workshop on Software engineering in health care (SEHC '11)
By Alexander Wise, Allen R. Hanson, Leon J. Osterweil, Zongfang Lin
Issue Date:May 2011
pp. 13-16
The dramatically increasing population of disabled people and adults who are 65 years old and over will increase financial burdens for assisted living care in the United States and more generally on a global basis. To mitigate these costs, increasing numbe...
     
Characterizing process variation: NIER track
Found in: Proceeding of the 33rd international conference on Software engineering (ICSE '11)
By Borislava I. Simidchieva, Leon J. Osterweil
Issue Date:May 2011
pp. 836-839
A process model, namely a formal definition of the coordination of agents performing activities using resources and artifacts, can aid understanding of the real-world process it models. Moreover, analysis of the model can suggest improvements to the real-w...
     
Supporting negotiation and dispute resolution with computing and communication technologies
Found in: Proceedings of the FSE/SDP workshop on Future of software engineering research (FoSER '10)
By Leon J. Osterweil, Lori A. Clarke
Issue Date:November 2010
pp. 269-272
Careful study of the application of computer and communications technologies to negotiation and dispute resolution can lead to a more harmonious and functional society, but also to more effective technology for software development and evaluation, and to n...
     
Supporting human-intensive systems
Found in: Proceedings of the FSE/SDP workshop on Future of software engineering research (FoSER '10)
By George S. Avrunin, Leon J. Osterweil, Lori A. Clarke
Issue Date:November 2010
pp. 87-92
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead to system failures also increases. In the medical domain, for example, sophi...
     
Categorizing and modeling variation in families of systems: a position paper
Found in: Proceedings of the Fourth European Conference on Software Architecture: Companion Volume (ECSA '10)
By Borislava I. Simidchieva, Leon J. Osterweil
Issue Date:August 2010
pp. 316-323
This paper presents an approach that considers variation in systems and system architectures according to the kind of relation among the variants in the software family. The approach highlights why it is beneficial to consider such different variation rela...
     
Exception handling patterns for processes
Found in: Proceedings of the 4th international workshop on Exception handling (WEH '08)
By Alexander Wise, Barbara Staudt Lerner, Leon J. Osterweil, Stefan Christov
Issue Date:November 2008
pp. 55-61
Using exception handling patterns in process models can raise the abstraction level of the models, facilitating both their writing and understanding. In this paper, we identify several useful, general-purpose exception handling patterns and demonstrate the...
     
Experience in using a process language to define scientific workflow and generate dataset provenance
Found in: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (SIGSOFT '08/FSE-16)
By Aaron M. Ellison, Alexander Wise, Emery Boose, Julian Hadley, Leon J. Osterweil, Lori A. Clarke, Rodion Podorozhny
Issue Date:November 2008
pp. 1-2
This paper describes our experiences in exploring the applicability of software engineering approaches to scientific data management problems. Specifically, this paper describes how process definition languages can be used to expedite production of scienti...
     
Using software engineering technology to improve the quality of medical processes
Found in: Companion of the 13th international conference on Software engineering (ICSE Companion '08)
By George A. Avrunin, Leon J. Osterweil, Lori A. Clarke
Issue Date:May 2008
pp. 37-41
In this paper, we describe some of the key observations resulting from our work on using software engineering technologies to help detect errors in medical processes. In many ways, medical processes are similar to distributed systems in their complexity an...
     
Analyzing medical processes
Found in: Proceedings of the 13th international conference on Software engineering (ICSE '08)
By Bin Chen, Elizabeth A. Henneman, George S. Avrunin, Leon J. Osterweil, Lori A. Clarke, Philip L. Henneman
Issue Date:May 2008
pp. 1-1
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes used to administer healthcare. The work described here builds upon earlier wo...
     
A process-driven tool to support online dispute resolution
Found in: Proceedings of the 2006 national conference on Digital government research (dg.o '06)
By Alan Gaitenby, Alexander Wise, Daniel Gyllstrom, Daniel Rainey, Ethan Katsh, Leah Wing, Leon J. Osterweil, Lori Clarke, Matthew Marzilli, Norman K. Sondheimer
Issue Date:May 2006
pp. 356-357
This demonstration shows a prototype tool that projects an impression of how execution of a formally defined process will facilitate dispute resolution. Tool flexibility supports projecting the look and feel of a range of different processes, facilitating ...
     
Experimental application of process technology to the creation and adoption of online dispute resolution
Found in: Proceedings of the 2006 national conference on Digital government research (dg.o '06)
By Daniel Rainey, Ethan Katsh, Leon J. Osterweil, Norman K. Sondheimer
Issue Date:May 2006
pp. 273-274
We report on the development of formal models of alternative dispute resolution processes, the creation of an online dispute resolution system based on this model and initial experimental analysis of this system. Early results suggest that formalizing the ...
     
Process support to help novices design software faster and better
Found in: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (ASE '05)
By Aaron G. Cass, Leon J. Osterweil
Issue Date:November 2005
pp. 295-299
In earlier work we have argued that formal process definitions can be useful in improving our understanding and performance of software development processes. There has, however, been considerable sentiment that formalized processes cannot capture the crea...
     
Containment units: a hierarchically composable architecture for adaptive systems
Found in: Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering (SIGSOFT '02/FSE 10)
By Alexander Wise, Barbara Staudt Lerner, Jamieson M. Cobleigh, Leon J. Osterweil
Issue Date:November 2002
pp. 159-165
Software is increasingly expected to run in a variety of environments. The environments themselves are often dynamically changing when using mobile computers or embedded systems, for example. Network bandwidth, available power, or other physical conditions...
     
PROPEL: an approach supporting property elucidation
Found in: Proceedings of the 24th international conference on Software engineering (ICSE '02)
By George S. Avrunin, Leon J. Osterweil, Lori A. Clarke, Rachel L. Smith
Issue Date:May 2002
pp. 11-21
Property specifications concisely describe what a software system is supposed to do. It is surprisingly difficult to write these properties correctly. There are rigorous mathematical formalisms for representing properties, but these are often difficult to ...
     
The impact project (panel session): determining the impact of software engineering research upon practice
Found in: Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications (SIGSOFT '00/FSE-8)
By Alexander L. Wolf, Dieter Rombach, Jeffrey Kramer, Leon J. Osterweil, Lori A. Clarke, Michael Evangelist
Issue Date:November 2000
pp. 163-166
The purpose of this panel is to introduce the Impact Project to the community, and to engage the community in a broad ranging discussion of the project's goals, approaches, and methods. Some of the project's early findings and directions will be presented.
     
Verifying properties of process definitions
Found in: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA '00)
By Jamieson M. Cobleigh, Leon J. Osterweil, Lori A. Clark
Issue Date:August 2000
pp. 240
It seems important that the complex processes that synergize humans and computers to solve widening classes of societal problems be subjected to rigorous analysis. One approach is to use a process definition language to specify these processes and to then...
     
Little-JIL/Juliette: a process definition language and interpreter
Found in: Proceedings of the 22nd international conference on Software engineering (ICSE '00)
By Aaron G. Cass, Alexander Wise, Barbara Staudt Lerner, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton
Issue Date:June 2000
pp. 754-757
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational semantics. The central abstraction in Little-JIL is the “step,” which...
     
Coordinating agent activities in knowledge discovery processes
Found in: Proceedings of the international joint conference on Work activities coordination and collaboration (WACC '99)
By Alexander Wise, Barbara Staudt Legner, David Jensen, Eric K. McCall, Leon J. Osterweil, Stanley M. Sutton, Yulin Dong
Issue Date:February 1999
pp. 201-207
Knowledge discovery in databases (KDD) is an increasingly widespread activity. KDD processes may entail the use of a large number of data manipulation and analysis techniques, and new techniques are being developed on an ongoing basis. A challenge for the ...
     
Efficient composite data flow analysis applied to concurrent programs
Found in: Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (PASTE '98)
By Gleb Naumovich, Leon J. Osterweil, Lori A. Clarke
Issue Date:June 1998
pp. 217-222
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Although FLAVERS is one of the few static analysis techniques for concurrent syste...
     
Verification of concurrent software with FLAVERS
Found in: Proceedings of the 19th international conference on Software engineering (ICSE '97)
By Gleb Naumovich, Leon J. Osterweil, Lori A. Clarke, Matthew B. Dwyer
Issue Date:May 1997
pp. 594-595
One popular use for Haskell in recent years has been as a host language for domain-specific embedded languages. But how can one embed a postfix language in Haskell, given that Haskell only supports prefix and infix syntax? This paper describes several such...
     
Software processes are software too, revisited: an invited talk on the most influential paper of ICSE 9
Found in: Proceedings of the 19th international conference on Software engineering (ICSE '97)
By Leon J. Osterweil
Issue Date:May 1997
pp. 540-548
One popular use for Haskell in recent years has been as a host language for domain-specific embedded languages. But how can one embed a postfix language in Haskell, given that Haskell only supports prefix and infix syntax? This paper describes several such...
     
The criticality of modeling formalisms in software design method comparison: experience report
Found in: Proceedings of the 19th international conference on Software engineering (ICSE '97)
By Leon J. Osterweil, Rodion M. Podorozhny
Issue Date:May 1997
pp. 303-313
One popular use for Haskell in recent years has been as a host language for domain-specific embedded languages. But how can one embed a postfix language in Haskell, given that Haskell only supports prefix and infix syntax? This paper describes several such...
     
Verification of communication protocols using data flow analysis
Found in: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering (SIGSOFT '96)
By Gleb N. Naumovich, Leon J. Osterweil, Lori A. Clarke
Issue Date:October 1996
pp. 1
In this paper we demonstrate the effectiveness of data flow analysis for verifying requirements of communication protocols. Data flow analysis is a static analysis method for increasing confidence in the correctness of software systems by automatically ver...
     
APPL/A: a language for software process programming
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Dennis Heimbigner, Leon J. Osterweil, Stanley M. Sutton
Issue Date:January 1992
pp. 221-286
Software process programming is the coding of software processes inexecutable programming languages. Process programming offers manypotential benefits, but their realization has been hampered by a lack ofexperience in the design and use of process programm...
     
Interprocedural static analysis of sequencing constraints
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Kurt M. Olender, Leon J. Osterweil
Issue Date:January 1992
pp. 21-52
This paper describes a system that automatically performs static interprocedural sequencing analysis from programmable constraint specifications. We describe the algorithms used for interprocedural analysis, relate the problems arising from the analysis of...
     
 1  2 Next >>