Leon J. Osterweil

Volker Gruhn

Nils Schwenzfeier

Proceedings of the Handbook of Software Engineering., 2019

2018

Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., 2018

Be Gracious.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2018

Intelligent Interruption Management System to Enhance Safety and Performance in Complex Surgical and Robotic Procedures.

[BibT_eX]

[DOI]

Proceedings of the OR 2.0 Context-Aware Operating Theaters, Computer Assisted Robotic Endoscopy, Clinical Image-Based Procedures, - and - Skin Image Analysis, 2018

Toward Improving Surgical Outcomes by Incorporating Cognitive Load Measurement into Process-Driven Guidance.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems, 2018

Development of an Interactive Dashboard to Analyze Cognitive Workload of Surgical Teams During Complex Procedural Care.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2018

Process Driven Guidance for Complex Surgical Procedures.

[BibT_eX]

[DOI]

Proceedings of the AMIA 2018, 2018

What is software?: - The Role of Empirical Methods in Answering the Question.

[BibT_eX]

[DOI]

Proceedings of the Essence of Software Engineering, 2018

2017

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.

[BibT_eX]

[DOI]

Sean Peisert

ACM Trans. Priv. Secur., 2017

Be Responsible.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2017

Your Software Dwells in the House of Tomorrow, Too.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2017

Cognitive support during high-consequence episodes of care in cardiovascular surgery.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Cognitive and Computational Aspects of Situation Management, 2017

2016

Be Prepared.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2016

Preview: Ethical and Moral Issues for Software Engineers.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2016

Perspectives on refactoring planning and practice: an empirical study.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2016

Specification and analysis of human-intensive system resource-utilization policies.

[BibT_eX]

[DOI]

Seung Yeob Shin

Yuriy Brun

Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016

Smart checklists to improve healthcare outcomes.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Software Engineering in Healthcare Systems, 2016

2015

Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Resource Specification for Prototyping Human-Intensive Systems.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

Learning about application software by studying processes.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2014

Generation, composition, and verification of families of human-intensive systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Line Conference, 2014

Insider Threat Identification by Process Analysis.

[BibT_eX]

[DOI]

Matt Bishop

Heather M. Conboy

Huong Phan

Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

Refactoring planning and practice in agile software development: an empirical study.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software and Systems Process 2014, 2014

Specifying Flexible Human Behavior in Interaction-Intensive Process Environments.

[BibT_eX]

[DOI]

Christoph Dorn

Schahram Dustdar

Proceedings of the Business Process Management - 12th International Conference, 2014

On Formal Definition and Analysis of Formal Verification Processes.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2013

Resource Management for Complex, Dynamic Environments.

[BibT_eX]

[DOI]

M. S. Raunak

IEEE Trans. Software Eng., 2013

Supporting Undo and Redo in Scientific Data Analysis.

[BibT_eX]

[DOI]

Emery R. Boose

Yuriy Brun

Proceedings of the 5th Workshop on the Theory and Practice of Provenance, 2013

Supporting process undo and redo in software engineering decision making.

[BibT_eX]

[DOI]

Yuriy Brun

Proceedings of the International Conference on Software and System Process, 2013

Search based risk mitigation planning in project portfolio management.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software and System Process, 2013

Resource scheduling through resource-aware simulation of emergency departments.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Engineering in Health Care, 2013

What Is Software? The Role of Empirical Methods in Answering the Question.

[BibT_eX]

[DOI]

Proceedings of the Perspectives on the Future of Software Engineering, 2013

2012

A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them.

[BibT_eX]

[DOI]

Proceedings of the 2012 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2012

Provenance Support for Rework.

[BibT_eX]

[DOI]

Emery R. Boose

Aaron M. Ellison

Proceedings of the 4th Workshop on the Theory and Practice of Provenance, 2012

An approach to modeling and supporting the rework process in refactoring.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Software and System Process, 2012

System processes are software too.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Conference on Software and System Process, 2012

Computational Predictors in Online Social Deliberations.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Weblogs and Social Media, 2012

The role of context in exception-driven rework.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Exception Handling, 2012

Smart checklists for human-intensive medical systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2012

2011

A Process Programmer Looks at the Spiral Model: A Tribute to the Deep Insights of Barry W. Boehm.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2011

Preface.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2011

Developing discrete event simulations from rigorous process definitions.

[BibT_eX]

[DOI]

M. S. Raunak

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

Characterizing process variation.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

On effective testing of health care simulation software.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

Precise process definitions for activities of daily living: a basis for real-time monitoring and hazard detection.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Software Engineering in Health Care, 2011

Context, Retrospection, and Prospection in Healthcare Process Definitions.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2011

2010

Exception Handling Patterns for Process Modeling.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2010

Clear and Precise Specification of Ecological Data Management Processes and Dataset Provenance.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2010

Evolving Embedded Systems.

[BibT_eX]

[DOI]

Computer, 2010

Modeling and Analyzing Faults to Improve Election Process Robustness.

[BibT_eX]

[DOI]

Proceedings of the 2010 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2010

Supporting negotiation and dispute resolution with computing and communication technologies.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Supporting human-intensive systems.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Disruption-Driven Resource Rescheduling in Software Development Processes.

[BibT_eX]

[DOI]

Proceedings of the New Modeling Concepts for Today's Software Processes, 2010

Using Process Definitions to Support Reasoning about Satisfaction of Process Requirements.

[BibT_eX]

[DOI]

Proceedings of the New Modeling Concepts for Today's Software Processes, 2010

Dynamic scheduling of emergency department resources.

[BibT_eX]

[DOI]

Junchao Xiao

Qing Wang

Proceedings of the ACM International Health Informatics Symposium, 2010

Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview.

[BibT_eX]

[DOI]

Philip L. Henneman

Lucinda Cassells

Wilson Mertens

Proceedings of the ACM International Health Informatics Symposium, 2010

A benchmark for evaluating software engineering techniques for improving medical processes.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care, 2010

Dynamic Resource Scheduling in Disruption-Prone Software Development Environments.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2010

Categorizing and modeling variation in families of systems: a position paper.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, 4th European Conference, 2010

2009

Formalisms to Support the Definition of Processes.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2009

Structural Considerations in Defining Executable Process Models.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Software Development Processes, 2009

A Pattern for Modeling Rework in Software Development Processes.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Software Development Processes, 2009

Simulating patient flow through an Emergency Department using process-driven discrete event simulation.

[BibT_eX]

[DOI]

Proceedings of the ICSE Workshop on Software Engineering in Health Care, 2009

Workshop on software Engineering in Health Care (SEHC).

[BibT_eX]

[DOI]

Barbara Paech

Proceedings of the 31st International Conference on Software Engineering, 2009

Dispute prevention and dispute resolution in networked health information technology.

[BibT_eX]

[DOI]

Proceedings of the 10th Annual International Conference on Digital Government Research, 2009

An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2009

2008

Determining the Impact of Software Engineering Research on Practice.

[BibT_eX]

[DOI]

Computer, 2008

What is software?

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2008

Experience in using a process language to define scientific workflow and generate dataset provenance.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Exception handling patterns for processes.

[BibT_eX]

[DOI]

Stefan Christov

Proceedings of the 4th International Workshop on Exception Handling, 2008

Using software engineering technology to improve the quality of medical processes.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Analyzing medical processes.

[BibT_eX]

[DOI]

Bin Chen

Philip L. Henneman

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Specifying and verifying requirements for election processes.

[BibT_eX]

[DOI]

Matthew Marzilli

Proceedings of the 9th Annual International Conference on Digital Government Research, 2008

2007

Applying Little-JIL to describe Process-Agent knowledge and support project planning in SoftPM.

[BibT_eX]

[DOI]

Softw. Process. Improv. Pract., 2007

What we learn from the study of ubiquitous processes.

[BibT_eX]

[DOI]

Softw. Process. Improv. Pract., 2007

Desiderata for Languages to be Used in the Defnition of Reference Business Processes.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2007

Ensuring reliable datasets for environmental models and forecasts.

[BibT_eX]

[DOI]

Ecol. Informatics, 2007

Rigorously Defining and Analyzing Medical Processes: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Representing Process Variation with a Process Family.

[BibT_eX]

[DOI]

Proceedings of the Software Process Dynamics and Agility, 2007

Engineering Medical Processes to Improve Their Safety.

[BibT_eX]

[DOI]

Philip L. Henneman

Proceedings of the Situational Method Engineering: Fundamentals and Experiences, 2007

A Future for Software Engineering?

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Engineering, 2007

Using process definitions to drive user interactions with digital government systems.

[BibT_eX]

[DOI]

Norman K. Sondheimer

Leah Wing

Proceedings of the 8th Annual International Conference on Digital Government Research, 2007

Challenges Observed in the Definition of Reference Business Processes.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2007

2006

Complex medical processes as context for embedded systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2006

Applying Little-JIL to Describe Process-Agent Knowledge in SoftPM.

[BibT_eX]

[DOI]

Proceedings of the Software Process Change, 2006

Definition and Analysis of Election Processes.

[BibT_eX]

[DOI]

Proceedings of the Software Process Change, 2006

Ubiquitous Process Engineering: Applying Software Process Technology to Other Domains.

[BibT_eX]

[DOI]

Proceedings of the Software Process Change, 2006

Automatic Fault Tree Derivation from Little-JIL Process Definitions.

[BibT_eX]

[DOI]

Proceedings of the Software Process Change, 2006

Experimental application of process technology to the creation and adoption of online dispute resolution.

[BibT_eX]

[DOI]

Proceedings of the 7th Annual International Conference on Digital Government Research, 2006

A process-driven tool to support online dispute resolution.

[BibT_eX]

[DOI]

Proceedings of the 7th Annual International Conference on Digital Government Research, 2006

2005

Editorial.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2005

Process support to help novices design software faster and better.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Process Definition Language Support for Rapid Simulation Prototyping.

[BibT_eX]

[DOI]

Mohammad S. Raunak

Proceedings of the Unifying the Software Process Spectrum, 2005

Automatically Analyzing Software Processes: Experience Report.

[BibT_eX]

[DOI]

Rodion M. Podorozhny

Dewayne E. Perry

Proceedings of the Unifying the Software Process Spectrum, 2005

Process Technology to Facilitate the Conduct of Science.

[BibT_eX]

[DOI]

Proceedings of the Unifying the Software Process Spectrum, 2005

Unifying Microprocess and Macroprocess Research.

[BibT_eX]

[DOI]

Proceedings of the Unifying the Software Process Spectrum, 2005

Process Programming to Support Medical Safety: A Case Study on Blood Transfusion.

[BibT_eX]

[DOI]

Proceedings of the Unifying the Software Process Spectrum, 2005

Early lessons from the application of process technology to online grievance mediation.

[BibT_eX]

[DOI]

Proceedings of the 2005 National Conference on Digital Government Research, 2005

2004

Process Technology for Achieving Government Online Dispute Resolution.

[BibT_eX]

[DOI]

Ethan Katsh

Norman K. Sondheimer

Proceedings of the 2004 Annual National Conference on Digital Government Research, 2004

2003

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.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2003

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

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

New Software Engineering Faculty Symposium (NSEFS 03).

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

Formalizing Rework in Software Processes.

[BibT_eX]

[DOI]

Proceedings of the Software Process Technology, 9th International Workshop, 2003

2002

FLAVERS: A finite state verification technique for software systems.

[BibT_eX]

[DOI]

IBM Syst. J., 2002

Containment units: a hierarchically composable architecture for adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

PROPEL: an approach supporting property elucidation.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

Lightweight vs. heavyweight processes: is this even the right question?

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Software Engineering, 2002

2001

An architecture for flexible, evolvable process-driven user-guidance environments.

[BibT_eX]

[DOI]

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do?

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering, 2001

New Software Engineering Faculty Symposium.

[BibT_eX]

[DOI]

Gabriel M. Silberman

Kenny Wong

Proceedings of the 23rd International Conference on Software Engineering, 2001

Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice.

[BibT_eX]

Proceedings of the 23rd International Conference on Software Engineering, 2001

The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Software Engineering, 2001

Applying Real-Time Scheduling Techniques to Software Processes: A Position Paper.

[BibT_eX]

[DOI]

Proceedings of the Software Process Technology, 8th European Workshop, 2001

2000

Little-JIL.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

FLAVERS.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2000

The impact project: determining the impact of software engineering research upon practice (panel session).

[BibT_eX]

[DOI]

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

Using Little-JIL to Coordinate Agents in Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Design Guidance through the Controlled Application of Constraints.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Software Specification and Design, 2000

Continuous Self-Evaluation for the Self-Improvement of Software.

[BibT_eX]

[DOI]

Proceedings of the Self-Adaptive Software, First International Workshop, 2000

Verifying properties of process definitions.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2000

Why don't we get more (self?) respect: the positive impact of software engineering research upon practice.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Little-JIL/Juliette: a process definition language and interpreter.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Relocation in Mobile Process-Centered Software Development Environments.

[BibT_eX]

[DOI]

Supratik Bhattacharyya

Proceedings of the 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 2000

Integrating High-Level and Detailed Agent Coordination into a Layered Architecture.

[BibT_eX]

[DOI]

Xiaoqin Zhang

Anita Raja

Victor R. Lesser

Thomas Wagner

Proceedings of the Infrastructure for Agents, 2000

Frameworks for Reasoning about Agent Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Infrastructure for Agents, 2000

1999

Coordinating agent activities in knowledge discovery processes.

[BibT_eX]

[DOI]

David D. Jensen

Yulin Dong

Proceedings of the international joint conference on Work activities coordination and collaboration 1999, 1999

Agents and Workflow - An Intimate Connection, or Just Friends?

[BibT_eX]

[DOI]

Proceedings of the TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software, 1999

Modeling Resources for Activity Coordination and Scheduling.

[BibT_eX]

[DOI]

Rodion M. Podorozhny

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998

Engineering Software Design Processes to Guide Process Execution.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1998

Efficient Composite Data Flow Analysis Applied to Concurrent Programs.

[BibT_eX]

[DOI]

Gleb Naumovich

Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998

Enhancing Design Methods to Support Real Design Processes.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Software Specification and Design, 1998

An Adaptable Generation Approach to Agenda Management.

[BibT_eX]

[DOI]

Proceedings of the Forging New Links, 1998

JIL and Little-JIL Process Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the Software Process Technology, 6th European Workshop, 1998

Programming Process Coordination in Little-JIL.

[BibT_eX]

[DOI]

Proceedings of the Software Process Technology, 6th European Workshop, 1998

1997

The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report.

[BibT_eX]

[DOI]

Rodion M. Podorozhny

Proceedings of the Pulling Together, 1997

Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9.

[BibT_eX]

[DOI]

Proceedings of the Pulling Together, 1997

Verification of Concurrent Software with FLAVERS.

[BibT_eX]

[DOI]

Proceedings of the Pulling Together, 1997

The Design of a Next-Generation Process Language.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1997

Applying Static Analysis to Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1997

1996

Strategic Directions in Software Quality.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1996

Verification of Communication Protocols Using Data Flow Analysis.

[BibT_eX]

[DOI]

Gleb Naumovich

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

Improving the quality of software quality determination processes.

[BibT_eX]

Proceedings of the Quality of Numerical Software, 1996

PDP: Programming A Programmable Design Process.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Software Specification and Design, 1996

Assuring Accuracy and Impartiality in Software Design Methodology Comparison.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Software Specification and Design, 1996

Product families and process families.

[BibT_eX]

[DOI]

Proceedings of the 10th International Software Process Workshop, 1996

Multilanguage Interoperability in Distributed Systems.

[BibT_eX]

[DOI]

Mark J. Maybee

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

APPL/A: A Language for Software Process Programming.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1995

AIDA: A dynamic analyzer for Ada programs.

[BibT_eX]

[DOI]

Fathy E. Eassa

M. Z. Abdel Mageed

J. Syst. Softw., 1995

1994

Experience with an Approach to Comparing Software Design Methodologies.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1994

AIDA: a dynamic analyser for Ada programs.

[BibT_eX]

[DOI]

Fathy E. Eassa

M. Z. Abdel Mageed

Inf. Softw. Technol., 1994

An alternative to software process languages.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994

An argument for the elimination of roles.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Software Process Workshop (ISPW '94), 1994

Research Issues in the Intersection of Hypertext and Software Development Environments.

[BibT_eX]

[DOI]

Hadar Ziv

Proceedings of the Software Engineering and Human-Computer Interaction, 1994

1992

Interprocedural Static Analysis of Sequencing Constraints.

[BibT_eX]

[DOI]

Kurt M. Olender

ACM Trans. Softw. Eng. Methodol., 1992

Toward Objective, Systematic Design-Method Comparisons.

[BibT_eX]

[DOI]

IEEE Softw., 1992

A Proposed Testing and Analysis Research Initiative.

[BibT_eX]

[DOI]

IEEE Softw., 1992

1990

Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation.

[BibT_eX]

[DOI]

Kurt M. Olender

IEEE Trans. Software Eng., 1990

A Mechanism for Environment Integration.

[BibT_eX]

[DOI]

Geoffrey Clemm

ACM Trans. Program. Lang. Syst., 1990

Language constructs for managing change in process-centered environments.

[BibT_eX]

[DOI]

Proceedings of the SIGSOFT'90 4th Symposium on Software Development Environments, 1990

The architecture of the Arcadia-1 process centered software environment.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Software Process Workshop (ISPW '90), 1990

1989

A Metaphor and a Conceptual Architecture for Software Development Environments.

[BibT_eX]

[DOI]

Izhar Shy

Proceedings of the Software Engineering Environments, 1989

An example of formal specification as an aid to design and development.

[BibT_eX]

[DOI]

Robert B. Terwilliger

Mark J. Maybee

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

Integrating Testing Techniques Through Process Programming.

[BibT_eX]

[DOI]

Debra J. Richardson

Stephanie Leif Aha

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

Cesar: A Static Sequencing Constraint Analyzer.

[BibT_eX]

[DOI]

Kurt M. Olender

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

Example process program code, coded in Appl/A.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

Experiences with process programming.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Software Process Workshop (ISPW '89), 1989

1988

Foundations for the Arcadia Environment Architecture.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1988

Automated support for the enactment of rigorously described software processes.

[BibT_eX]

[DOI]

Proceedings of the Forth International Software Process Workshop, 1988

New perspectives on software maintenance processes.

[BibT_eX]

[DOI]

Shehab A. Gamalel-Din

Proceedings of the Conference on Software Maintenance, 1988

1987

Lessons of Current Environments.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

TRICS: A Testing Tool for C.

[BibT_eX]

[DOI]

Barbara Raither

Proceedings of the ESEC '87, 1987

1986

Software processes are software too.

[BibT_eX]

Proceedings of the Third International Software Process Workshop (ISPW '86), 1986

A Process-Object Centered View of Software Environment Architecture.

[BibT_eX]

[DOI]

Proceedings of the Advanced Programming Environments, 1986

1985

Omega - A Data Flow Analysis Tool for the C Programming Language.

[BibT_eX]

[DOI]

Cindy Wilson

IEEE Trans. Software Eng., 1985

1983

Toolpack - An Experimental Software Development Environment Research Project.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1983

The Toolpack/IST Approach to Extensibility in Software Environments.

[BibT_eX]

[DOI]

Geoffrey Clemm

Proceedings of the Ada Software Tools Interfaces, 1983

1981

Software environment research: the next five years.

[BibT_eX]

[DOI]

Donald Good

Raymond C. Houghton Jr.

ACM SIGSOFT Softw. Eng. Notes, 1981

Software Engineering Research: Directions for the Next Five Years.

[BibT_eX]

[DOI]

Computer, 1981

BIGMAC II: A FORTRAN Language Augmentation Tool.

[BibT_eX]

[DOI]

Eugene W. Myers

Proceedings of the 5th International Conference on Software Engineering, 1981

An approach to transfer verification and validation technology.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981

1980

Anomaly Detection in Concurrent Software by Static Data Flow Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1980

1979

ASSET: A life cycle verification and visibility system.

[BibT_eX]

[DOI]

John R. Brown

Leon G. Stucki

J. Syst. Softw., 1979

1978

Using tools for verification, documentation and testing.

[BibT_eX]

[DOI]

Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software, 1978

A facility for verification, testing and documentation of concurrent process software.

[BibT_eX]

[DOI]

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

ASSET: A Lifecycle Verification and Visibility System.

[BibT_eX]

[DOI]

John R. Brown

Leon G. Stucki

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1976

On Two Problems in the Generation of Program Test Paths.

[BibT_eX]

[DOI]

Harold N. Gabow

Shachindra N. Maheswari

IEEE Trans. Software Eng., 1976

DAVE-A Validation Error Detection and Documentation System for Fortran Programs.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1976

Data Flow Analysis in Software Reliability.

[BibT_eX]

[DOI]

ACM Comput. Surv., 1976

The Detection of Anomalous Interprocedural Data Flow.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Software Engineering, 1976

Program testing techniques using simulated execution.

[BibT_eX]

[DOI]

Proceedings of the 4th Symposium on Simulation of Computer Systems, 1976

Some experience with DAVE: a Fortran program analyzer.

[BibT_eX]

[DOI]

Proceedings of the American Federation of Information Processing Societies: 1976 National Computer Conference, 1976

SICSOFT (Paper Session).

[BibT_eX]

[DOI]

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

Allegations as aids to static program testing.

[BibT_eX]

[DOI]

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1974

Some classes of uniquely 3-colorable graphs.

[BibT_eX]

[DOI]