Richard N. Taylor

144 papers A* 23A 3B 5C 2Journal 51Unranked 51
YearRankTypeTitle / Venue / Authors
2025 J jnl
Software Architecture Description Revisited.
IEEE Trans. Software Eng.
Nenad Medvidovic, Richard N. Taylor, Eric M. Dashofy
2019 — book
Handbook of Software Engineering.
Sungdeok Cha, Richard N. Taylor, Kyo Chul Kang
2019 — ch.
Software Architecture and Design.
Handbook of Software Engineering
Richard N. Taylor
2018 J jnl
Maintaining Architecture-Implementation Conformance to Support Architecture Centrality: From Single System to Product Line Development.
ACM Trans. Softw. Eng. Methodol.
Yongjie Zheng, Cuong Cu, Richard N. Taylor
2018 — ch.
Only the Architecture You Need.
The Essence of Software Engineering
Richard N. Taylor
2017 — conf
Reflections on the REST architectural style and "principled design of the modern web architecture" (impact paper award).
ESEC/SIGSOFT FSE
Roy T. Fielding, Richard N. Taylor, Justin R. Erenkrantz, Michael Martin Gorlick, Jim Whitehead, Rohit Khare, Peyman Oreizy
2015 J jnl
Analyzing runtime adaptability of collaboration patterns.
Concurr. Comput. Pract. Exp.
Christoph Dorn, Richard N. Taylor
2014 — conf
Secure and Customizable EHR Management Services with COASTmed.
FHIES/SEHC
Alegria Baquero, Richard N. Taylor
2013 J jnl
A classification and rationalization of model-based software development.
Softw. Syst. Model.
Yongjie Zheng, Richard N. Taylor
2013 A* conf
Coupling software architecture and human architecture for collaboration-aware system adaptation.
ICSE
Christoph Dorn, Richard N. Taylor
2013 B conf
The role of architectural styles in successful software ecosystems.
SPLC
Richard N. Taylor
2012 C conf
A Holistic Approach to Software Traceability.
SEKE
Hazeline U. Asuncion, Richard N. Taylor
2012 — conf
Analyzing runtime adaptability of collaboration patterns.
CTS
Christoph Dorn, Richard N. Taylor
2012 B conf
Architecture-Driven Modeling of Adaptive Collaboration Structures in Large-Scale Social Web Applications.
WISE
Christoph Dorn, Richard N. Taylor
2012 — ch.
Automated Techniques for Capturing Custom Traceability Links Across Heterogeneous Artifacts.
Software and Systems Traceability
Hazeline U. Asuncion, Richard N. Taylor
2012 — conf
COAST: An Architectural Style for Decentralized On-Demand Tailored Services.
WICSA/ECSA
Michael Martin Gorlick, Kyle Strasser, Richard N. Taylor
2012 A* conf
Co-adapting human collaborations and software architectures.
ICSE
Christoph Dorn, Richard N. Taylor
2012 — conf
Computational Commerce: A Vision for the Future.
EC-Web
Alegria Baquero, Richard N. Taylor
2012 A* conf
Enhancing architecture-implementation conformance with change management and support for behavioral mapping.
ICSE
Yongjie Zheng, Richard N. Taylor
2012 J jnl
Flexible Social Workflows: Collaborations as Human Architecture.
IEEE Internet Comput.
Christoph Dorn, Richard N. Taylor, Schahram Dustdar
2012 A* conf
xMapper: An architecture-implementation mapping tool.
ICSE
Yongjie Zheng, Richard N. Taylor
2011 — conf
CREST: principled foundations for decentralized systems.
OOPSLA Companion
Michael Martin Gorlick, Kyle Strasser, Alegria Baquero, Richard N. Taylor
2011 — conf
Developing requirements in an established domain using tags and metadata.
RESS
Leyna C. Cotran, Richard N. Taylor
2011 A* ed.
Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011
ICSE
Richard N. Taylor, Harald C. Gall, Nenad Medvidovic
2011 A* conf
Taming changes With 1.x-Way architecture-implementation mapping.
ASE
Yongjie Zheng, Richard N. Taylor
2010 — conf
Enabling innovation: a choice for software engineering.
FoSER
Richard N. Taylor
2010 — book
Software Architecture - Foundations, Theory, and Practice.
Richard N. Taylor, Nenad Medvidovic, Eric M. Dashofy
2010 — conf
Software architecture: foundations, theory, and practice.
ICSE (2)
Nenad Medvidovic, Richard N. Taylor
2010 — conf
Software traceability with topic modeling.
ICSE (1)
Hazeline U. Asuncion, Arthur U. Asuncion, Richard N. Taylor
2009 — conf
Architectural styles for runtime software adaptation.
WICSA/ECSA
Richard N. Taylor, Nenad Medvidovic, Peyman Oreizy
2009 — conf
Capturing custom link semantics among heterogeneous artifacts and tools.
TEFSE@ICSE
Hazeline U. Asuncion, Richard N. Taylor
2009 B conf
Modeling PLA variation of privacy-enhancing personalized systems.
SPLC
Scott A. Hendrickson, Yang Wang, André van der Hoek, Richard N. Taylor, Alfred Kobsa
2009 — conf
Policy-Based Architectural Adaptation Management: Robotics Domain Case Studies.
Software Engineering for Self-Adaptive Systems
John C. Georgas, Richard N. Taylor
2009 — conf
Software architecture: many faces, many places, yet a central discipline.
ESEC/SIGSOFT FSE
Richard N. Taylor
2009 J jnl
Using Architectural Models to Manage and Visualize Runtime Adaptation.
Computer
John C. Georgas, André van der Hoek, Richard N. Taylor
2008 A ed.
2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2008, Leipzig, Germany, May 12-13, 2008
SEAMS
Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard N. Taylor
2008 A conf
Policy-based self-adaptive architectures: a feasibility study in the robotics domain.
SEAMS
John C. Georgas, Richard N. Taylor
2008 — conf
Runtime software adaptation: framework, approaches, and styles.
ICSE Companion
Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor
2007 — conf
An end-to-end industrial software traceability tool.
ESEC/SIGSOFT FSE
Hazeline U. Asuncion, Frédéric François, Richard N. Taylor
2007 — conf
ArchStudio 4: An Architecture-Based Meta-Modeling Environment.
ICSE Companion
Eric M. Dashofy, Hazeline U. Asuncion, Scott A. Hendrickson, Girish Suryanarayana, John C. Georgas, Richard N. Taylor
2007 J jnl
Automatic and versatile publications ranking for research institutions and scholars.
Commun. ACM
Jie Ren, Richard N. Taylor
2007 — conf
From representations to computations: the evolution of web architectures.
ESEC/SIGSOFT FSE
Justin R. Erenkrantz, Michael Martin Gorlick, Girish Suryanarayana, Richard N. Taylor
2007 J jnl
Moving architectural description from under the technology lamppost.
Inf. Softw. Technol.
Nenad Medvidovic, Eric M. Dashofy, Richard N. Taylor
2007 — conf
Software Design and Architecture The once and future focus of software engineering.
FOSE
Richard N. Taylor, André van der Hoek
2006 J jnl
Architecting trust-enabled peer-to-peer file-sharing applications.
ACM Crossroads
Girish Suryanarayana, Mamadou H. Diallo, Justin R. Erenkrantz, Richard N. Taylor
2006 A* conf
Architectural support for trust models in decentralized applications.
ICSE
Girish Suryanarayana, Mamadou H. Diallo, Justin R. Erenkrantz, Richard N. Taylor
2006 J jnl
Architecture-centric development: a different approach to software engineering.
ACM Crossroads
John C. Georgas, Eric M. Dashofy, Richard N. Taylor
2006 — conf
Primacy of Place: The Reorientation of Software Engineering Demanded by Software Architecture.
EWSA
Richard N. Taylor
2005 J jnl
A comprehensive approach for the development of modular software architecture description languages.
ACM Trans. Softw. Eng. Methodol.
Eric M. Dashofy, André van der Hoek, Richard N. Taylor
2005 — conf
An (Architecture-Centric) Approach for Tracing, Organizing, and Understanding Events in Event-Based Software Architectures.
IWPC
Scott A. Hendrickson, Eric M. Dashofy, Richard N. Taylor
2005 J jnl
An Architectural Approach for Decentralized Trust Management.
IEEE Internet Comput.
Girish Suryanarayana, Justin R. Erenkrantz, Richard N. Taylor
2005 — conf
An architectural style for supporting work practice: coping with the complex structure of coordination relationships.
CTS
Peter J. Kammer, Richard N. Taylor
2005 — conf
Architectural runtime configuration management in support of dependable self-adaptive software.
WADS@ICSE
John C. Georgas, André van der Hoek, Richard N. Taylor
2005 J jnl
Architectural runtime configuration management in support of dependable self-adaptive software.
ACM SIGSOFT Softw. Eng. Notes
John C. Georgas, André van der Hoek, Richard N. Taylor
2005 J jnl
Raging incrementalism: harnessing change with open-source software.
ACM SIGSOFT Softw. Eng. Notes
John C. Georgas, Michael M. Gorlick, Richard N. Taylor
2005 — conf
Towards an architectural treatment of software security: a connector-centric approach.
SESS@ICSE
Jie Ren, Richard N. Taylor, Paul Dourish, David F. Redmiles
2005 J jnl
Towards an architectural treatment of software security: a connector-centric approach.
ACM SIGSOFT Softw. Eng. Notes
Jie Ren, Richard N. Taylor, Paul Dourish, David F. Redmiles
2004 A* conf
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems.
ICSE
Rohit Khare, Richard N. Taylor
2004 — conf
PACE: An Architectural Style for Trust Management in Decentralized Applications.
WICSA
Girish Suryanarayana, Justin R. Erenkrantz, Scott A. Hendrickson, Richard N. Taylor
2004 — ed.
Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004
SIGSOFT FSE
Richard N. Taylor, Matthew B. Dwyer
2004 — conf
Towards a knowledge-based approach to architectural adaptation management.
WOSS
John C. Georgas, Richard N. Taylor
2004 — conf
Utilizing commercial object libraries within looselycoupled, event-based systems.
IASTED Conf. on Software Engineering and Applications
Jie Ren, Richard N. Taylor
2003 A* conf
An Approach for Tracing and Understanding Asynchronous Architectures.
ASE
Scott A. Hendrickson, Eric M. Dashofy, Richard N. Taylor
2003 — conf
Incorporating Off-The-Shelf Components with Event-based Integration.
IASSE
Jie Ren, Richard N. Taylor
2003 J jnl
The Role of Middleware in Architecture-Based Software Development.
Int. J. Softw. Eng. Knowl. Eng.
Nenad Medvidovic, Eric M. Dashofy, Richard N. Taylor
2003 C conf
Visualizing Software Architecture with Off-The-Shelf Components.
SEKE
Jie Ren, Richard N. Taylor
2002 — conf
A Decentralized Algorithm for Coordinating Independent Peers: An Initial Examination.
OTM
Girish Suryanarayana, Richard N. Taylor
2002 A* conf
An infrastructure for the rapid development of XML-based architecture description languages.
ICSE
Eric M. Dashofy, André van der Hoek, Richard N. Taylor
2002 J jnl
Principled design of the modern Web architecture.
ACM Trans. Internet Techn.
Roy T. Fielding, Richard N. Taylor
2002 — conf
Towards architecture-based self-healing systems.
WOSS
Eric M. Dashofy, André van der Hoek, Richard N. Taylor
2001 — conf
A Highly-Extensible, XML-Based Architecture Description Language.
WICSA
Eric M. Dashofy, André van der Hoek, Richard N. Taylor
2001 — conf
xADL: Enabling Architecture-Centric Tool Integration with XML.
HICSS
Rohit Khare, Michael Guntersdorfer, Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor
2000 J jnl
A Classification and Comparison Framework for Software Architecture Description Languages.
IEEE Trans. Software Eng.
Nenad Medvidovic, Richard N. Taylor
2000 J jnl
Arabica.
ACM SIGSOFT Softw. Eng. Notes
Richard N. Taylor, David F. Redmiles
2000 J jnl
ArchStudio.
ACM SIGSOFT Softw. Eng. Notes
Richard N. Taylor, David F. Redmiles
2000 J jnl
Argo/UML.
ACM SIGSOFT Softw. Eng. Notes
Richard N. Taylor, David F. Redmiles
2000 J jnl
Chimera.
ACM SIGSOFT Softw. Eng. Notes
Richard N. Taylor, David F. Redmiles
2000 J jnl
Chimera: hypermedia for heterogeneous software development enviroments.
ACM Trans. Inf. Syst.
Kenneth M. Anderson, Richard N. Taylor, E. James Whitehead Jr.
2000 J jnl
Expectation-driven event monitoring.
ACM SIGSOFT Softw. Eng. Notes
Richard N. Taylor, David F. Redmiles
2000 J jnl
Knowledge depot.
ACM SIGSOFT Softw. Eng. Notes
Richard N. Taylor, David F. Redmiles
2000 A* conf
Principled design of the modern Web architecture.
ICSE
Roy T. Fielding, Richard N. Taylor
2000 J jnl
Techniques for Supporting Dynamic and Adaptive Workflow.
Comput. Support. Cooperative Work.
Peter J. Kammer, Gregory Alan Bolcer, Richard N. Taylor, Arthur S. Hitomi, Mark Bergman
2000 J jnl
Test Process Improvement, Tim Koomen and Martin Pol, Addison-Wesley, 1999 (Book Review).
Softw. Test. Verification Reliab.
Richard N. Taylor
2000 J jnl
WebDAV.
ACM SIGSOFT Softw. Eng. Notes
Richard N. Taylor, David F. Redmiles
1999 A* conf
A Language and Environment for Architecture-Based Software Development and Evolution.
ICSE
Nenad Medvidovic, David S. Rosenblum, Richard N. Taylor
1999 J jnl
An architecture-based approach to self-adaptive software.
IEEE Intell. Syst.
Peyman Oreizy, Michael M. Gorlick, Richard N. Taylor, Dennis Heimbigner, Gregory F. Johnson, Nenad Medvidovic, Alex Quilici, David S. Rosenblum, Alexander L. Wolf
1999 J jnl
Toward locales: Supporting collaboration with Orbit.
Inf. Softw. Technol.
Tim Mansfield, Simon M. Kaplan, Geraldine Fitzpatrick, Ted Phelps, Mark Fitzpatrick, Richard N. Taylor
1999 A* conf
Using Off-the-Shelf Middleware to Implement Connectors in Distributed Software Architectures.
ICSE
Eric M. Dashofy, Nenad Medvidovic, Richard N. Taylor
1998 J jnl
Advanced workflow management technologies.
Softw. Process. Improv. Pract.
Gregory Alan Bolcer, Richard N. Taylor
1998 A* conf
Architecture-Based Runtime Software Evolution.
ICSE
Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor
1998 — conf
On the role of software architectures in runtime system reconfiguration.
CDS
Peyman Oreizy, Richard N. Taylor
1998 J jnl
On the role of software architectures in runtime system reconfiguration.
IEE Proc. Softw.
Peyman Oreizy, Richard N. Taylor
1998 — conf
Separating fact from fiction in software architecture.
ISAW@FSE
Nenad Medvidovic, Richard N. Taylor
1998 J jnl
Web-Based Development of Complex Information Products.
Commun. ACM
Roy T. Fielding, E. James Whitehead Jr., Kenneth M. Anderson, Gregory Alan Bolcer, Peyman Oreizy, Richard N. Taylor
1997 J jnl
A Critique of the Open Hypermedia Protocol.
J. Digit. Inf.
Kenneth M. Anderson, Richard N. Taylor, E. James Whitehead Jr.
1997 — conf
A Framework for Classifying and Comparing Architecture Description Languages.
ESEC / SIGSOFT FSE
Nenad Medvidovic, Richard N. Taylor
1997 A* conf
Endeavors: A Process System Infrastructure.
ICSE
Arthur S. Hitomi, Gregory Alan Bolcer, Richard N. Taylor
1997 B conf
Evolving Orbit: a process report on building locales.
GROUP
Tim Mansfield, Simon M. Kaplan, Geraldine Fitzpatrick, Ted Phelps, Mark Fitzpatrick, Richard N. Taylor
1997 J jnl
Exploiting architectural style to develop a family of applications.
IEE Proc. Softw. Eng.
Nenad Medvidovic, Richard N. Taylor
1997 A* ed.
Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997.
ICSE
W. Richards Adrion, Alfonso Fuggetta, Richard N. Taylor, Anthony I. Wasserman
1997 A* conf
Reuse of Off-the-Shelf Components in C2-Style Architectures.
ICSE
Nenad Medvidovic, Peyman Oreizy, Richard N. Taylor
1997 — conf
Reuse of Off-the-Shelf Components in C2-Style Architectures.
SSR
Nenad Medvidovic, Peyman Oreizy, Richard N. Taylor
1996 J jnl
A Component- and Message-Based Architectural Style for GUI Software.
IEEE Trans. Software Eng.
Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, E. James Whitehead Jr., Jason E. Robbins, Kari A. Nies, Peyman Oreizy, Deborah L. Dubrow
1996 — conf
Generalization from domain experience: the superior paradigm for software architecture research?
ISAW/Viewpoints@FSE
Richard N. Taylor
1996 — conf
Using Object-Oriented Typing to Support Architectural Design in the C2 Style.
SIGSOFT FSE
Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, Richard N. Taylor
1995 A* conf
A Component- and Message-Based Architectural Style for GUI Software.
ICSE
Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, E. James Whitehead Jr., Jason E. Robbins
1995 J jnl
A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience.
ACM Trans. Softw. Eng. Methodol.
Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck
1995 J jnl
Chiron-1: A Software Architecture for User Interface Development, Maintenance, and Run-Time Support.
ACM Trans. Comput. Hum. Interact.
Richard N. Taylor, Kari A. Nies, Gregory Alan Bolcer, Craig A. MacFarlane, Kenneth M. Anderson, Gregory F. Johnson
1995 J jnl
Graph Models for Reachability of Concurrent Programs.
ACM Trans. Softw. Eng. Methodol.
Mauro Pezzè, Richard N. Taylor, Michal Young
1995 — ed.
Software Engineering and Human-Computer Interaction, ICSE '94 Workshop on SE-HCI: Joint Research Issues, Sorrento, Italy, May 16-17, 1994, Proceedings
ICSE Workshop on SE-CHI
Richard N. Taylor, Joëlle Coutaz
1995 J jnl
Software development using domain-specific software architectures: CDRl A011 - a curriculum module in the SEI style.
ACM SIGSOFT Softw. Eng. Notes
Richard N. Taylor, Will Tracz, Lou Coglianese
1994 — conf
Chimera: Hypertext for Heterogeneous Software Environments.
ECHT
Kenneth M. Anderson, Richard N. Taylor, E. James Whitehead Jr.
1994 — conf
Human-executed operations in the teamware process programming system.
ISPW
P. S. Young, Richard N. Taylor
1994 — conf
Introduction to the Workshop on Software Engineering and Human-Computer Interaction: Joint Research Issues.
ICSE Workshop on SE-HCI
Joëlle Coutaz, Richard N. Taylor
1994 — conf
User Interface Technology and Software Engineering Environments.
ICSE Workshop on SE-HCI
Richard N. Taylor
1994 A* conf
Workshop on Software Engineering and computer-Human Interaction: Joint Research Issues.
ICSE
Richard N. Taylor, Joëlle Coutaz
1993 J jnl
Comments on "Temporal Logic-Based Deadlock Analysis for Ada''.
IEEE Trans. Software Eng.
Michael Young, David L. Levine, Richard N. Taylor
1993 A conf
Metric-Driven Reengineering for Static Concurrency Analysis.
ISSTA
David L. Levine, Richard N. Taylor
1993 — conf
Separations of concerns in the Chiron-1 user interface development and management system.
INTERCHI
Richard N. Taylor, Gregory F. Johnson
1992 J jnl
Structural Testing of Concurrent Programs.
IEEE Trans. Software Eng.
Richard N. Taylor, David L. Levine, Cheryl D. Kelly
1991 A* conf
User Interface Development and Software Environments: The Chiron-1 System.
ICSE
Rudolf K. Keller, Mary Cameron, Richard N. Taylor, Dennis B. Troup
1990 — ed.
SIGSOFT'90 4th Symposium on Software Development Environments, Irvine, CA, USA, December 3-5, 1990
SDE
Richard N. Taylor
1990 — conf
The architecture of the Arcadia-1 process centered software environment.
ISPW
Leon J. Osterweil, Richard N. Taylor
1989 J jnl
A Debugger for Ada Tasking.
IEEE Trans. Software Eng.
Anne F. Brindle, Richard N. Taylor, David F. Martin
1989 — conf
A Metaphor and a Conceptual Architecture for Software Development Environments.
SEE
Izhar Shy, Richard N. Taylor, Leon J. Osterweil
1989 — conf
Integrated Concurrency Analysis in a Software Development Enviornment.
Symposium on Testing, Analysis, and Verification
Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck
1989 — ed.
Proceedings of the 2nd International Workshop on Software Configuration Management, Princeton, NJ, USA, October 24, 1989
SCM
Richard N. Taylor
1989 A* conf
Rethinking the Taxonomy of Fault Detection Techniques.
ICSE
Michal Young, Richard N. Taylor
1988 J jnl
Combining Static Concurrency Analysis with Symbolic Execution.
IEEE Trans. Software Eng.
Michal Young, Richard N. Taylor
1988 A* conf
Design Principles behind Chiron: A UIMS for Software Environments.
ICSE
Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly
1988 — conf
Foundations for the Arcadia Environment Architecture.
Software Development Environments (SDE)
Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young
1988 J jnl
Software Environment Architectures and User Interface Facilities.
IEEE Trans. Software Eng.
Michal Young, Richard N. Taylor, Dennis B. Troup
1988 — conf
Tool integration in Arcadia.
TRI-Ada
Richard N. Taylor
1986 — conf
Concurrency and software process model.
ISPW
Richard N. Taylor
1985 J jnl
Steps to an Advanced Ada^1 Programming Environment.
IEEE Trans. Software Eng.
Richard N. Taylor, Thomas A. Standish
1984 — conf
Arcturus: A Prototype Advanced Ada Programming Environment.
Software Development Environments (SDE)
Thomas A. Standish, Richard N. Taylor
1984 A* conf
Steps to an Advanced Ada Programming Environment.
ICSE
Richard N. Taylor, Thomas A. Standish
1983 J jnl
A General-Purpose Algorithm for Analyzing Concurrent Programs.
Commun. ACM
Richard N. Taylor
1983 J jnl
An Integrated Verification and Testing Environment.
Softw. Pract. Exp.
Richard N. Taylor
1983 J jnl
Complexity of Analyzing the Synchronization Structure of Concurrent Programs.
Acta Informatica
Richard N. Taylor
1981 — conf
An approach to transfer verification and validation technology.
AFIPS National Computer Conference
Mark K. Smith, Leonard L. Tripp, Leon J. Osterweil, Richard N. Taylor, William E. Howden
1980 J jnl
Anomaly Detection in Concurrent Software by Static Data Flow Analysis.
IEEE Trans. Software Eng.
Richard N. Taylor, Leon J. Osterweil
1980 J jnl
Assertions in programming languages.
ACM SIGPLAN Notices
Richard N. Taylor
1978 B conf
A facility for verification, testing and documentation of concurrent process software.
COMPSAC
Richard N. Taylor, Leon J. Osterweil