Leon J. Osterweil
#107,474
Most Influential Person Now
American computer scientist
Leon J. Osterweil's AcademicInfluence.com Rankings
Leon J. Osterweilcomputer-science Degrees
Computer Science
#4494
World Rank
#4741
Historical Rank
#1461
USA Rank
Software Engineering
#152
World Rank
#153
Historical Rank
#65
USA Rank
Database
#3831
World Rank
#3986
Historical Rank
#661
USA Rank
Download Badge
Computer Science
Why Is Leon J. Osterweil Influential?
(Suggest an Edit or Addition)According to Wikipedia, Leon Joel Osterweil is an American computer scientist noted for his research on software engineering. Biography Osterweil received a B. A. in mathematics from Princeton University in 1965. He received a M.A. in mathematics in 1970 and a Ph.D in mathematics in 1971 from the University of Maryland.
Leon J. Osterweil's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Software processes are software too (1987) (1049)
- Foundations for the Arcadia environment architecture (1989) (272)
- Data Flow Analysis in Software Reliability (1976) (270)
- Little-JIL/Juliette: a process definition language and interpreter (2000) (214)
- PROPEL: an approach supporting property elucidation (2002) (188)
- On Two Problems in the Generation of Program Test Paths (1976) (186)
- Dave—a validation error detection and documentation system for fortran programs (1976) (176)
- Language constructs for managing change in process-centered environments (1990) (158)
- APPL/A: a language for software process programming (1995) (151)
- Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (1997) (134)
- The design of a next-generation process language (1997) (134)
- Exception Handling Patterns for Process Modeling (2010) (129)
- Strategic directions in software quality (1996) (125)
- Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation (1990) (120)
- Using Little-JIL to coordinate agents in software engineering (2000) (117)
- ISPW-6 Software Process Example (1991) (111)
- Toward objective, systematic design-method comparisons (1992) (91)
- Anomaly Detection in Concurrent Software by Static Data Flow Analysis (1980) (89)
- Proceedings of the 16th international conference on Software engineering (1994) (88)
- Applying static analysis to software architectures (1997) (88)
- Software Process Modeling Example Problem (1990) (74)
- A mechanism for environment integration (1990) (71)
- Experience with an Approach to Comparing Software Design Methodologies (1994) (62)
- Analyzing medical processes (2008) (62)
- Increasing patient safety and efficiency in transfusion therapy using formal process definitions. (2007) (62)
- FLAVERS: A finite state verification technique for software systems (2002) (61)
- Simulating patient flow through an Emergency Department using process-driven discrete event simulation (2009) (59)
- Interprocedural static analysis of sequencing constraints (1992) (59)
- Determining the Impact of Software Engineering Research on Practice (2008) (56)
- Toolpack—An Experimental Software Development Environment Research Project (1983) (56)
- Representing Process Variation with a Process Family (2007) (54)
- Containment units: a hierarchically composable architecture for adaptive systems (2002) (50)
- Analytic webs support the synthesis of ecological data sets. (2006) (49)
- Automatic Fault Tree Derivation from Little-JIL Process Definitions (2006) (47)
- Verifying properties of process definitions (2000) (44)
- Insider Threat Identification by Process Analysis (2014) (44)
- Ensuring reliable datasets for environmental models and forecasts (2007) (42)
- Rigorously Defining and Analyzing Medical Processes: An Experience Report (2008) (41)
- Experience in using a process language to define scientific workflow and generate dataset provenance (2008) (37)
- Arcadia, a software development environment research project (1985) (36)
- Coordinating agent activities in knowledge discovery processes (1999) (35)
- Unifying Microprocess and Macroprocess Research (2005) (35)
- Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview (2010) (35)
- Toolpack - An Experimental Software Development Environment Research Project (1982) (34)
- Product families and process families (1996) (32)
- Using software engineering technology to improve the quality of medical processes (2008) (32)
- Resource Management for Complex, Dynamic Environments (2013) (32)
- Modeling Resources for Activity Coordination and Scheduling (1999) (31)
- The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification (2001) (31)
- Process Programming to Support Medical Safety: A Case Study on Blood Transfusion (2005) (31)
- Engineering software design processes to guide process execution (1994) (30)
- On effective testing of health care simulation software (2011) (30)
- What is software? (2008) (29)
- Formalizing Rework in Software Processes (2003) (29)
- Specifying and verifying requirements for election processes (2008) (29)
- Logically Central, Physically Distributed Control in a Process Runtime Environment (1999) (28)
- Verification of concurrent software with FLAVERS (1997) (28)
- Verification of communication protocols using data flow analysis (1996) (28)
- Multilanguage interoperability in distributed systems (1996) (28)
- Dynamic Resource Scheduling in Disruption-Prone Software Development Environments (2010) (28)
- Evolving Embedded Systems (2010) (27)
- Formally Defining Medical Processes (2008) (27)
- Modeling and Analyzing Faults to Improve Election Process Robustness (2010) (26)
- Cesar: a static sequencing constraint analyzer (1989) (26)
- Continuous Self-Evaluation for the Self-Improvement of Software (2000) (26)
- Definition and Analysis of Election Processes (2006) (25)
- Programming Process Coordination in Little-JIL (1998) (25)
- Smart checklists for human-intensive medical systems (2012) (24)
- Automated support for the enactment of rigorously described software processes (1988) (23)
- Integrating the testing, analysis and debugging of programs (1984) (22)
- A proposed testing and analysis research initiative (1992) (21)
- Desiderata for Languages to be Used in the Defnition of Reference Business Processes (2007) (21)
- Understanding process and the quest for deeper questions in software engineering research (2003) (20)
- Process support to help novices design software faster and better (2005) (20)
- A benchmark for evaluating software engineering techniques for improving medical processes (2010) (20)
- An Analysis of Process Languages (1995) (20)
- Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance (2010) (19)
- An architecture for flexible, evolvable process-driven user-guidance environments (2001) (19)
- Software Processes Are Software Too, Revisited (2011) (19)
- A Process-Object Centered View of Software Environment Architecture (1986) (19)
- Modeling and Managing Resource Utilization in Process, Workflow, and Activity Coordination (2001) (18)
- Omega - A Data Flow Analysis Tool for the C Programming Language (1985) (18)
- A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them (2012) (18)
- Dynamic scheduling of emergency department resources (2010) (17)
- Formally Defining Coordination Processes to Support Contract Negotiation (1999) (17)
- Using Data Flow Tools in Software Engineering (1979) (16)
- Process Technology to Facilitate the Conduct of Science (2005) (16)
- An Algorithm for Finding the Elementary Circuits of a Directed Graph ; CU-CS-024-73 (1973) (16)
- Integrating High-Level and Detailed Agent Coordination into a Layered Architecture (2000) (15)
- Analyzing Processes for E-Government Application Development (2005) (15)
- Challenges Observed in the Definition of Reference Business Processes (2007) (15)
- Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care (2018) (15)
- An adaptable generation approach to agenda management (1998) (15)
- Supporting human-intensive systems (2010) (15)
- Some experience with DAVE: a Fortran program analyzer (1976) (14)
- Specifying Coordination in Processes Using Little-JIL (1998) (14)
- Next Generation Software Environments: Principles, Problems, and Research Directions (1987) (14)
- Agents and Workflow - An Intimate Connection, or Just Friends? (1999) (13)
- Experience Using the JIL Process Programming Language to Specify Design Processes (1997) (13)
- The detection of anomalous interprocedural data flow (1976) (13)
- Containment units: a hierarchically composable architecture for adaptive systems (2002) (13)
- A facility for verification, testing and documentation of concurrent process software (1978) (13)
- A process-driven tool to support online dispute resolution (2006) (13)
- Using process elicitation and validation to understand and improve chemotherapy ordering and delivery. (2012) (13)
- Perspectives on refactoring planning and practice: an empirical study (2016) (13)
- A Metaphor and a Conceptual Architecture for Software Development Environments (1990) (13)
- Search based risk mitigation planning in project portfolio management (2013) (12)
- An approach to modeling and supporting the rework process in refactoring (2012) (12)
- Specification and static evaluation of sequencing constraints in software (1986) (12)
- Provenance and Quality Control in Sensor Networks (2011) (12)
- Exception handling patterns for processes (2008) (12)
- Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling (2018) (12)
- Complex medical processes as context for embedded systems (2006) (12)
- Improving the quality of software quality determination processes (1996) (12)
- New perspectives on software maintenance processes (1988) (11)
- Q: A Multi-lingual Interprocess Communications System for Software Environment Implementation (1990) (11)
- Smart Checklists to Improve Healthcare Outcomes (2016) (11)
- Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance (2018) (11)
- Enhancing design methods to support real design processes (1998) (11)
- Integrating testing techniques through process programming (1989) (11)
- The Criticality of Modeling Formalisms in Software Design Method Comparison (1997) (10)
- Categorizing and modeling variation in families of systems: a position paper (2010) (10)
- Some classes of uniquely 3-colorable graphs (1974) (10)
- Engineering Medical Processes to Improve Their Safety (2007) (10)
- Software Process Interpretation and Software Environments ; CU-CS-324-86 (1986) (10)
- Specifying Flexible Human Behavior in Interaction-Intensive Process Environments (2014) (9)
- Structural Considerations in Defining Executable Process Models (2009) (9)
- Applying Little-JIL to describe Process-Agent knowledge and support project planning in SoftPM (2007) (9)
- Resource management in complex and dynamic environments (2009) (9)
- Efficient composite data flow analysis applied to concurrent programs (1998) (9)
- A Future for Software Engineering? (2007) (9)
- Disruption-Driven Resource Rescheduling in Software Development Processes (2010) (9)
- Final Technical Report SERC-2009-TR004 Evaluation of Systems Engineering Methods, Processes and Tools on Department of Defense and Intelligence Community Programs (2009) (9)
- Designing property specifications to improve the safety of the blood transfusion process. (2008) (9)
- AN ANALYTIC WEB TO SUPPORT THE ANALYSIS AND SYNTHESIS OF ECOLOGICAL DATA (2004) (8)
- What we learn from the study of ubiquitous processes (2007) (8)
- Resource scheduling through resource-aware simulation of emergency departments (2013) (8)
- Newton -- A Dynamic Program Analysis Tool Capabilities Specification ; CU-CS-200-81 (1981) (8)
- Dynamic Scheduling in Systems with Complex Resource Allocation Requirements (2010) (8)
- Supporting process undo and redo in software engineering decision making (2013) (8)
- Requirements-Based Design Guidance: A Process-Centered Consistency Management Approach (2002) (8)
- An example of formal specification as an aid to design and development (1989) (8)
- A Pattern for Modeling Rework in Software Development Processes (2009) (7)
- Precise process definitions for activities of daily living: a basis for real-time monitoring and hazard detection (2011) (7)
- Cognitive support during high-consequence episodes of care in cardiovascular surgery (2017) (7)
- Effective Resource Allocation for Process Simulation : A Position Paper (2005) (7)
- Design guidance through the controlled application of constraints (2000) (7)
- The impact project (panel session): determining the impact of software engineering research upon practice (2000) (7)
- Refactoring planning and practice in agile software development: an empirical study (2014) (7)
- Ubiquitous Process Engineering: Applying Software Process Technology to Other Domains (2006) (7)
- APPL/A: A Language for Managing Relations Among Software Objects and Processes (1987) (7)
- A Software Lifecycle Methodology and Tool Support (1980) (7)
- PDP: programming a programmable design process (1996) (7)
- Research Issues in the Intersection of Hypertext and Software Development Environments (1994) (7)
- Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures (2018) (7)
- Formalisms to Support the Definition of Processes (2009) (7)
- Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements (2010) (7)
- Program testing techniques using simulated execution (1976) (6)
- Experimental application of process technology to the creation and adoption of online dispute resolution (2006) (6)
- Process Driven Guidance for Complex Surgical Procedures (2018) (6)
- Allegations as aids to static program testing (1976) (6)
- Resource Specification for Prototyping Human-Intensive Systems (2015) (6)
- Using Process Definitions to Facilitate the Specification of Requirements (2006) (6)
- Process Technology for Achieving Government Online Dispute Resolution (2004) (6)
- Unifying the Software Process Spectrum, International Software Process Workshop, SPW 2005, Beijing, China, May 25-27, 2005, Revised Selected Papers (2006) (5)
- Architecting Dynamic Systems Using Containment Units (2001) (5)
- Data Flow Analysis as an Aid in Documentation, Assertion, Generation, Validation, and Error Detection ; CU-CS-055-74 (1974) (5)
- Active Relations for Specifying and Implementing Software Object Management (1988) (5)
- Cecil/cesar: specification and static evaluation of sequencing constraints (1988) (5)
- The Architecture of the Arcadia-1 Process Centered Software Environment (1990) (5)
- Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes (2017) (5)
- Process Definition Language Support for Rapid Simulation Prototyping (2005) (5)
- Modeling and Managing Resource Utilization for Process, Workflow and Activity Coordination TITLE2: (2000) (5)
- An alternative to software process languages (1994) (5)
- A Rigorous Approach to Resource Management in Activity Coordination (1999) (5)
- Developing discrete event simulations from rigorous process definitions (2011) (5)
- The impact project: determining the impact of software engineering research upon practice (panel session) (2000) (5)
- Workshop on software Engineering in Health Care (SEHC) (2009) (4)
- ASSET: A life cycle verification and visibility system (1984) (4)
- The Toolpack/IST Approach to Extensibility in Software Environments (1983) (4)
- A Framework for Relocation in Mobile Process-Centered Software Development Environments (1996) (4)
- Modeling Faults to Improve Election Process Robustness (2010) (4)
- A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm (2011) (4)
- Early lessons from the application of process technology to online grievance mediation (2005) (4)
- Specification and Analysis of Human-Intensive System Resource-Utilization Policies (2016) (4)
- Provenance Support for Rework (2012) (4)
- Using Computer Simulation to Study Nurse-to-Patient Ratios in an Emergency Department (2015) (4)
- An argument for the elimination of roles (1994) (4)
- Engineering Medical Processes to Improve Their Safety An Experience Report (2007) (3)
- FLAVER: A Finite State Verification Technique for Software Systems TITLE2: (2001) (3)
- Specifying Coordination Processes Using Little-JIL TITLE2: (1999) (3)
- Programming Rework in Software Processes (2002) (3)
- 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006 (2006) (3)
- Experiences With Process Programming (1989) (3)
- Architecting Processes are Key to Software Quality (1998) (3)
- Impact project panel: “determining the impact of software engineering research upon practice” (2001) (3)
- Applying Little-JIL to Describe Process-Agent Knowledge in SoftPM (2006) (3)
- TRICS: A Testing Tool for C (1987) (3)
- Process Modelling of Aortic Cannulation in Cardiac Surgery : Toward a Smart Checklist to Mitigate the Risk of Stroke (2014) (3)
- BIGMAC II: A FORTRAN language augmentation tool (1981) (3)
- Using Containment Units for Self Adaptation of Software (2001) (3)
- Proceedings of the 16th International Conference on Software Engineering, Sorrento (1994) (3)
- A methodology for testing computer programs (1977) (3)
- Using process definitions to drive user interactions with digital government systems (2007) (3)
- Process-Model-Driven Guidance to Reduce Surgical Procedure Errors: An Expert Opinion. (2019) (3)
- Supporting Undo and Redo in Scientific Data Analysis (2013) (3)
- What is software?: - The Role of Empirical Methods in Answering the Question (2018) (3)
- Studying rigorously defined health care processes using a formal process modeling language, clinical simulation, observation, and eye tracking (2009) (3)
- An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report (2009) (3)
- Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering (1998) (3)
- Dispute prevention and dispute resolution in networked health information technology (2009) (3)
- JIL and Little-JIL Process Programming Languages (1998) (3)
- The Very Large (2020) (3)
- Dissecting Cardiac Surgery (2019) (3)
- Automatically Analyzing Software Processes: Experience Report (2005) (3)
- A Proposal for an Integrated Testing System for Computer Programs ; CU-CS-093-76 (1976) (3)
- A Strategy for Effective Integration of Verification and Testing Techniques. (1980) (3)
- Characterizing process variation. (2011) (2)
- Applying Software Engineering Technology to Support the Clear and Precise Specification of Scientific Processes (2)
- Little-JIL (2000) (2)
- Example Process Program Code, Coded In Appl/A (1989) (2)
- AIDA: A dynamic analyzer for Ada programs (1995) (2)
- The Toolpack Mathematical Software Development Environment. (1982) (2)
- Why don't we get more (self?) respect: the positive impact of software engineering research upon practice (2000) (2)
- AAP4All: An Adaptive Auto Parallelization of Serial Code for HPC Systems (2021) (2)
- AIDA: a dynamic analyser for Ada programs (1994) (2)
- Programmable Relations for Managing Change During Software Development (1988) (2)
- Software environment research (1981) (2)
- Exploiting Hierarchy for Planning and Scheduling (2000) (2)
- Automated fault tree analysis for engineering design optimization (2007) (2)
- Comparing Implementation Strategies for Composite Data Flow Analysis Problems (1997) (2)
- Managing Change in Software Development Through Process Programming (1991) (2)
- Integrated testing and verification system for research flight software design document (1979) (2)
- Characterizing process variation: NIER track (2011) (2)
- Generation, composition, and verification of families of human-intensive systems (2014) (2)
- Supporting negotiation and dispute resolution with computing and communication technologies (2010) (2)
- Depth-First Search Techniques and Efficient Methods for Creating Test Paths ; CU-CS-077-75 (1975) (2)
- Computational Predictors in Online Social Deliberations (2012) (2)
- Automated Input/Output Variable Classification as an Aid to Validation of FORTRAN Programs ; CU-CS-037-74 (1974) (1)
- Lightweight vs. heavyweight processes: is this even the right question? (2002) (1)
- A Benchmark for Evaluating the Applicability of Software Engineering Techniques to the Improvement of Medical Processes (2010) (1)
- What we learn about process specification languages, from studying recipes (1987) (1)
- Prototyping a process-centered environment (1990) (1)
- Insider Threat Identification by Process Analysis (2014) (1)
- Be Gracious (2018) (1)
- An extensible toolset and environment for the production of mathematical software (1984) (1)
- An approach to transfer verification and validation technology (1981) (1)
- A Mechanism for Environment Integration ; CU-CS-323a-86 (1986) (1)
- Frameworks for Reasoning about Agent Based Systems (2000) (1)
- Toolpack — An Integrated System of Tools for Mathematical Software Development (1982) (1)
- Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes (2015) (1)
- Be Responsible (2017) (1)
- Assuring accuracy and impartiality in software design methodology comparison (1996) (1)
- ASSET: A Lifecycle Verification and Visibility System (1978) (1)
- STORM 2 : Process-Guided Online Dispute Resolution (2010) (1)
- System processes are software too (2012) (1)
- APPL/A: A Language for Managing Relations ; CU-CS-374-87 (1987) (1)
- Chemotherapy ordering and delivery: Rigorously defining and analyzing a complex process employing software engineering techniques (2008) (1)
- Software Engineering Research: Directions for the Next Five Years (1981) (1)
- Static Analysis (2017) (1)
- Exploiting Hierarchy for Planning and Scheduling TITLE2 (2001) (1)
- A Data Base System Designed for Flexibility and Usability from FORTRAN ; CU-CS-072-75 (1975) (1)
- Your Software Dwells in the House of Tomorrow, Too (2017) (1)
- Data Provenance and Reliability in Sensor Networks (2007) (1)
- Medical Process Modeling: a Case Study Modeling Adult Outpatient Chemotherapy Using LittleJil (2006) (1)
- The role of context in exception-driven rework (2012) (1)
- Process and Workflow (2019) (1)
- Applying Sttic Analysis to Software Architectures TITLE2 (1997) (1)
- Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper (2001) (1)
- Context, Retrospection, and Prospection in Healthcare Process Definitions (2011) (1)
- Forecast for reproducible data: partly cloudy. (2009) (1)
- A Comprehensive Framework for Using Iterative Analysis to Improve Human-Intensive Process Security: An Election Example (2017) (1)
- Verifying Properties of Process Definitions TITLE2 (1999) (1)
- Little-JIL/Juliett: A Process Definition Language and Interpreter TITLE2: (2000) (1)
- Software development environments research projects in the United States (1991) (1)
- FLAVERS (2000) (1)
- Digital Cognitive Aids to Support Adaptation of Surgical Processes to COVID-19 Protective Policies (2020) (1)
- New software engineering faculty symposium (2001) (0)
- Programming Process Coordination in Little-JIL yToward the Harmonious Functioning of Parts for E ective ResultsPosition PaperBarbara (1998) (0)
- FLAT: A FORTRAN Language Augmentation Tool, (1980) (0)
- Understanding and improving chemotherapy ordering and delivery using process elicitation and validation. (2012) (0)
- A FORTRAN System for Flexible Creation and Accessing of Data Bases ; CU-CS-052-74 (1974) (0)
- Preview: Ethical and Moral Issues for Software Engineers (2016) (0)
- Software engineering research agendas panel (SERA) (panel session): “what can't we do, but need to learn how to do?” (2001) (0)
- Multilanguage Interoperability in Distributed Systems : EXPERIENCE REPORT DRAFT (1995) (0)
- Some Classes of Uniquely Colorable Graphs ; CU-CS-003-72 (1972) (0)
- Software environment research: the next five years (1981) (0)
- On Formal Definition and Analysis of Formal Verification Processes (2014) (0)
- Rience with Process Modeling in the Marvel Software Development Environment (2007) (0)
- Ada (Trade Name) Foundation Technology. Volume 3. Software Requirements for WIS (WWMCCS (World Wide Military Command and Control System) Information System) Software Design, Description and Analysis Tools (1987) (0)
- Using Little-JIL to Define Containment Units (2002) (0)
- 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 (2003) (0)
- Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994 (1994) (0)
- Notice : This Material may be protected by Copyright law ( Title 17 U . S . C . ) Next Generation Software Environments : Principles , Problems , and Research Directions (2014) (0)
- Online Dispute Resolution in a Technology-oriented Healthcare World (2009) (0)
- Iterative Analysis to Improve the Security of Human-Intensive Processes: An Election Example (2016) (0)
- Enumeration of Non-Separable Graphs on Fewer than Ten Points ; CU-CS-005-72 (1972) (0)
- Software Maintenance as a Programmable Process (1988) (0)
- A Software Lifecycle Methodology and Tool Support ; CU-CS-154-79 (1979) (0)
- The Detection of Anomalous Interprocedural Data Flow ; CU-CS-090-76 (1976) (0)
- Verifying Properties of Distributed System: Prospects for Practicality (1998) (0)
- Odin environment integration mechanism (1986) (0)
- On TwoProblems intheGeneration ofProgram TestPaths (1976) (0)
- The Arcadia Environment Architecture (1987) (0)
- Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? (2001) (0)
- Keystone: A Federated Software Environment ; CU-CS-284-84 (1984) (0)
- A Theorem for Enumerating Certain Types of Collections (1973) (0)
- Agent-based Managing for Grid Cloud System — Design and Prototypal Implementation (2017) (0)
- Specifying Process Coordination Using Little-JIL (2010) (0)
- Using Process Definition and Analysis Techniques to Reduce Errors and Improve Efficiency in the Delivery of Healthcare (2013) (0)
- New software engineering faculty symposium (NSEFS 03) (2003) (0)
- Arcadia: A Software Development Environment Research Projec!_ (2014) (0)
- Multilanguage Interoperability in Distributed Systems: Experience Report ; CU-CS-782-95 (1995) (0)
- Improving the Safety of Blood Transfusions Using Formal Process Definitions (2011) (0)
- Insider Detection by Process Analysis (2014) (0)
- A Coding Framework for Usability Evaluation of Digital Health Technologies (2022) (0)
- Relocation in mobile process-centered software development environments (2000) (0)
- Agenda management systems: supporting communication of heterogeneous distributed agents (2000) (0)
- Proceedings of the 2005 international conference on Unifying the Software Process Spectrum (2005) (0)
- 2012 International Conference on Software and System Process, ICSSP 2012, Zurich, Switzerland, June 2-3, 2012 (2012) (0)
- 371: Using Discrete Event Simulation to Study Patient Length of Stay (2010) (0)
- Piloting an Interactive Ethics and Responsible Computing Learning Environment in Undergraduate CS Courses (2023) (0)
- Preface (1960) (0)
- Verlticatlon of Concurrent Software with FLAVERS (1997) (0)
- Editorial (2005) (0)
- Lessons of current environments (1987) (0)
- What we learn from the study of ubiquitous processes: Research Sections (2007) (0)
- SICSOFT (Paper Session) (1976) (0)
- Gaining Confidence in Distributed Systems TITLE2 (1997) (0)
- Cecil: A Sequencing Automatic Static (1990) (0)
- The use of sequencing information in software specification for verification (1983) (0)
- Software design guidance by process-scoped inconsistency management (2005) (0)
- Critics -- An Active Approach to Tools and Environments ; CU-CS-285-84 (1984) (0)
- Supporting Communication of Heterogeneous Distributed Agents with Agenda Management Systems TITLE2 (2000) (0)
- Be Prepared (2016) (0)
- Learning about application software by studying processes (2014) (0)
- Session details: Quality (2008) (0)
- ORBIT -- A Prototype Software Maintenance/Development Process Programming Meta-Environment (1989) (0)
- BIGMAC II: A FORTRAN Languages Augmentation Tool ; CU-CS-179-80 (1980) (0)
- 34ALF : A Framework for Building Process-Centered Software Engineering (1994) (0)
- A Stochastic Model of Multiprocessor Access to an Interleaved Memory ; CU-CS-006-72 (1972) (0)
- An Adaptable Generation Approach to Agenda Management TITLE2 (1997) (0)
- Support for Advanced Software Engineering Environment (2002) (0)
- Improving Process Robustness by Identifying Vulnerabilities using Fault Tree Analysis (2015) (0)
- Web-based Smart Checklists for Guiding Performers of Safety-Critical Human-Intensive Processes (2017) (0)
- The Des ign of a Nex t-Genera t ion Process Language * (0)
This paper list is powered by the following services:
Other Resources About Leon J. Osterweil
What Schools Are Affiliated With Leon J. Osterweil?
Leon J. Osterweil is affiliated with the following schools:
