| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christoph Dorn, Richard N. Taylor, Schahram Dustdar |
Flexible Social Workflows: Collaborations as Human Architecture.  |
IEEE Internet Computing  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongjie Zheng, Richard N. Taylor |
Taming changes With 1.x-Way architecture-implementation mapping.  |
ASE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leyna C. Cotran, Richard N. Taylor |
Developing requirements in an established domain using tags and metadata.  |
RESS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael M. Gorlick, Kyle Strasser, Alegria Baquero, Richard N. Taylor |
CREST: principled foundations for decentralized systems.  |
OOPSLA Companion  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard N. Taylor, Harald Gall, Nenad Medvidovic (eds.) |
Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011  |
ICSE  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nenad Medvidovic, Richard N. Taylor |
Software architecture: foundations, theory, and practice.  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
design, software architecture, component, connector, non-functional property |
| 1 | Hazeline U. Asuncion, Arthur U. Asuncion, Richard N. Taylor |
Software traceability with topic modeling.  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
software traceability, software architecture, topic model, latent dirichlet allocation |
| 1 | Richard N. Taylor |
Enabling innovation: a choice for software engineering.  |
FoSER  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Georgas, André van der Hoek, Richard N. Taylor |
Using Architectural Models to Manage and Visualize Runtime Adaptation.  |
IEEE Computer  |
2009 |
DBLP DOI BibTeX RDF |
Adaptive software systems, Software development, Architectural models, Runtime modeling |
| 1 | Scott A. Hendrickson, Yang Wang 0005, André van der Hoek, Richard N. Taylor, Alfred Kobsa |
Modeling PLA variation of privacy-enhancing personalized systems.  |
SPLC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard N. Taylor, Nenad Medvidovic, Peyman Oreizy |
Architectural styles for runtime software adaptation.  |
WICSA/ECSA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Georgas, Richard N. Taylor |
Policy-Based Architectural Adaptation Management: Robotics Domain Case Studies.  |
Software Engineering for Self-Adaptive Systems ![In: Software Engineering for Self-Adaptive Systems [outcome of a Dagstuhl Seminar], pp. 89-108, 2009, Springer, 978-3-642-02160-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard N. Taylor |
Software architecture: many faces, many places, yet a central discipline.  |
ESEC/SIGSOFT FSE  |
2009 |
DBLP DOI BibTeX RDF |
architecture-centric development, software architecture |
| 1 | Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor |
Runtime software adaptation: framework, approaches, and styles.  |
ICSE Companion  |
2008 |
DBLP DOI BibTeX RDF |
software architecture, software evolution, autonomic computing, architectural styles, software adaptation |
| 1 | Jie Ren, Richard N. Taylor |
Automatic and versatile publications ranking for research institutions and scholars.  |
Commun. ACM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Nenad Medvidovic, Eric M. Dashofy, Richard N. Taylor |
Moving architectural description from under the technology lamppost.  |
Information & Software Technology  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric M. Dashofy, Hazeline U. Asuncion, Scott A. Hendrickson, Girish Suryanarayana, John C. Georgas, Richard N. Taylor |
ArchStudio 4: An Architecture-Based Meta-Modeling Environment.  |
ICSE Companion  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard N. Taylor, André van der Hoek |
Software Design and Architecture The once and future focus of software engineering.  |
FOSE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Hazeline U. Asuncion, Frédéric François, Richard N. Taylor |
An end-to-end industrial software traceability tool.  |
ESEC/SIGSOFT FSE  |
2007 |
DBLP DOI BibTeX RDF |
end-to-end software traceability, process traceability, requirements traceability |
| 1 | Justin R. Erenkrantz, Michael M. Gorlick, Girish Suryanarayana, Richard N. Taylor |
From representations to computations: the evolution of web architectures.  |
ESEC/SIGSOFT FSE  |
2007 |
DBLP DOI BibTeX RDF |
network continuations, web services, mobile code, representational state transfer |
| 1 | Girish Suryanarayana, Mamadou H. Diallo, Justin R. Erenkrantz, Richard N. Taylor |
Architecting trust-enabled peer-to-peer file-sharing applications.  |
ACM Crossroads  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Georgas, Eric M. Dashofy, Richard N. Taylor |
Architecture-centric development: a different approach to software engineering.  |
ACM Crossroads  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard N. Taylor |
Primacy of Place: The Reorientation of Software Engineering Demanded by Software Architecture.  |
EWSA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Girish Suryanarayana, Mamadou H. Diallo, Justin R. Erenkrantz, Richard N. Taylor |
Architectural support for trust models in decentralized applications.  |
ICSE  |
2006 |
DBLP DOI BibTeX RDF |
software architecture, reputation, trust management, architectural style, peer-to-peer (P2P), decentralization |
| 1 | Eric M. Dashofy, André van der Hoek, Richard N. Taylor |
A comprehensive approach for the development of modular software architecture description languages.  |
ACM Trans. Softw. Eng. Methodol.  |
2005 |
DBLP DOI BibTeX RDF |
ArchStudio 3, xADL 2.0, XML, Architecture description languages |
| 1 | Girish Suryanarayana, Justin R. Erenkrantz, Richard N. Taylor |
An Architectural Approach for Decentralized Trust Management.  |
IEEE Internet Computing  |
2005 |
DBLP DOI BibTeX RDF |
security, ad hoc network, peer-to-peer, trust management, Pace |
| 1 | John C. Georgas, Michael M. Gorlick, Richard N. Taylor |
Raging incrementalism: harnessing change with open-source software.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
raging incrementalism, open source, representational state transfer |
| 1 | John C. Georgas, André van der Hoek, Richard N. Taylor |
Architectural runtime configuration management in support of dependable self-adaptive software.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
architectural runtime configuration management, dependability, self-adaptive software |
| 1 | Jie Ren, Richard N. Taylor, Paul Dourish, David F. Redmiles |
Towards an architectural treatment of software security: a connector-centric approach.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
secure software connector, security, software architecture |
| 1 | Scott A. Hendrickson, Eric M. Dashofy, Richard N. Taylor |
An (Architecture-Centric) Approach for Tracing, Organizing, and Understanding Events in Event-Based Software Architectures.  |
IWPC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Ren, Richard N. Taylor |
Utilizing commercial object libraries within looselycoupled, event-based systems.  |
IASTED Conf. on Software Engineering and Applications  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Girish Suryanarayana, Justin R. Erenkrantz, Scott A. Hendrickson, Richard N. Taylor |
PACE: An Architectural Style for Trust Management in Decentralized Applications.  |
WICSA  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Georgas, Richard N. Taylor |
Towards a knowledge-based approach to architectural adaptation management.  |
WOSS  |
2004 |
DBLP DOI BibTeX RDF |
architectural adaptation management, self-adaptive software |
| 1 | Rohit Khare, Richard N. Taylor |
Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems.  |
ICSE  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard N. Taylor, Matthew B. Dwyer (eds.) |
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  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Nenad Medvidovic, Eric M. Dashofy, Richard N. Taylor |
The Role of Middleware in Architecture-Based Software Development.  |
International Journal of Software Engineering and Knowledge Engineering  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Ren, Richard N. Taylor |
Incorporating Off-The-Shelf Components with Event-based Integration.  |
IASSE  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Scott A. Hendrickson, Eric M. Dashofy, Richard N. Taylor |
An Approach for Tracing and Understanding Asynchronous Architectures.  |
ASE  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Ren, Richard N. Taylor |
Visualizing Software Architecture with Off-The-Shelf Components.  |
SEKE  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Roy T. Fielding, Richard N. Taylor |
Principled design of the modern Web architecture.  |
ACM Trans. Internet Techn.  |
2002 |
DBLP DOI BibTeX RDF |
Network-based applications, World Wide Web, REST |
| 1 | Eric M. Dashofy, André van der Hoek, Richard N. Taylor |
Towards architecture-based self-healing systems.  |
WOSS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Girish Suryanarayana, Richard N. Taylor |
A Decentralized Algorithm for Coordinating Independent Peers: An Initial Examination.  |
CoopIS/DOA/ODBASE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric M. Dashofy, André van der Hoek, Richard N. Taylor |
An infrastructure for the rapid development of XML-based architecture description languages.  |
ICSE  |
2002 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Eric M. Dashofy, André van der Hoek, Richard N. Taylor |
A Highly-Extensible, XML-Based Architecture Description Language.  |
WICSA  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohit Khare, Michael Guntersdorfer, Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor |
xADL: Enabling Architecture-Centric Tool Integration with XML. (PDF / PS)  |
HICSS  |
2001 |
DBLP DOI BibTeX RDF |
off-the-shelf tool integration, XML, software architectures, architecture description language (ADL), Software environments |
| 1 | Nenad Medvidovic, Richard N. Taylor |
A Classification and Comparison Framework for Software Architecture Description Languages.  |
IEEE Trans. Software Eng.  |
2000 |
DBLP DOI BibTeX RDF |
classification, Software architecture, component, configuration, architecture description language, comparison, definition, connector |
| 1 | Peter J. Kammer, Gregory Alan Bolcer, Richard N. Taylor, Arthur S. Hitomi, Mark Bergman |
Techniques for Supporting Dynamic and Adaptive Workflow.  |
Computer Supported Cooperative Work  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth M. Anderson, Richard N. Taylor, E. James Whitehead Jr. |
Chimera: hypermedia for heterogeneous software development enviroments.  |
ACM Trans. Inf. Syst.  |
2000 |
DBLP DOI BibTeX RDF |
heterogeneous hypermedia, hypermedia system architectures, link servers, software development environments, open hypermedia systems |
| 1 | Richard N. Taylor |
Test Process Improvement, Tim Koomen and Martin Pol, Addison-Wesley, 1999 (Book Review).  |
Softw. Test., Verif. Reliab.  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy T. Fielding, Richard N. Taylor |
Principled design of the modern Web architecture.  |
ICSE  |
2000 |
DBLP DOI BibTeX RDF |
software architectural style, WWW, software architecture |
| 1 | Tim Mansfield, Simon M. Kaplan, Geraldine Fitzpatrick, Ted Phelps, Mark Fitzpatrick, Richard N. Taylor |
Toward locales: Supporting collaboration with Orbit.  |
Information & Software Technology  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Nenad Medvidovic, David S. Rosenblum, Richard N. Taylor |
A Language and Environment for Architecture-Based Software Development and Evolution.  |
ICSE  |
1999 |
DBLP BibTeX RDF |
implementation mapping, software architecture, evolution, architecture description language, software environment |
| 1 | Eric M. Dashofy, Nenad Medvidovic, Richard N. Taylor |
Using Off-the-Shelf Middleware to Implement Connectors in Distributed Software Architectures.  |
ICSE  |
1999 |
DBLP BibTeX RDF |
middleware, architectures, software, C2, connectors |
| 1 | Peyman Oreizy, Richard N. Taylor |
On the role of software architectures in runtime system reconfiguration.  |
IEE Proceedings - Software  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Roy T. Fielding, E. James Whitehead Jr., Kenneth M. Anderson, Gregory Alan Bolcer, Peyman Oreizy, Richard N. Taylor |
Web-Based Development of Complex Information Products.  |
Commun. ACM  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gregory Alan Bolcer, Richard N. Taylor |
Advanced workflow management technologies.  |
Software Process: Improvement and Practice  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peyman Oreizy, Richard N. Taylor |
On the role of software architectures in runtime system reconfiguration.  |
CDS  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor |
Architecture-Based Runtime Software Evolution.  |
ICSE  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth M. Anderson, Richard N. Taylor, E. James Whitehead Jr. |
A Critique of the Open Hypermedia Protocol.  |
J. Digit. Inf.  |
1997 |
DBLP BibTeX RDF |
|
| 1 | Nenad Medvidovic, Richard N. Taylor |
Exploiting architectural style to develop a family of applications.  |
IEE Proceedings - Software  |
1997 |
DBLP BibTeX RDF |
|
| 1 | Tim Mansfield, Simon M. Kaplan, Geraldine Fitzpatrick, Ted Phelps, Mark Fitzpatrick, Richard N. Taylor |
Evolving Orbit: a process report on building locales.  |
GROUP  |
1997 |
DBLP DOI BibTeX RDF |
locales framework, CSCW, computer-supported cooperative work, prototyping, collaborative systems |
| 1 | Nenad Medvidovic, Richard N. Taylor |
A Framework for Classifying and Comparing Architecture Description Languages.  |
ESEC / SIGSOFT FSE  |
1997 |
DBLP DOI BibTeX RDF |
classification, software architecture, architecture description languages, comparison, definition |
| 1 | Nenad Medvidovic, Peyman Oreizy, Richard N. Taylor |
Reuse of Off-the-Shelf Components in C2-Style Architectures.  |
ICSE  |
1997 |
DBLP DOI BibTeX RDF |
message-based architectures, graphical user interfaces (GUI), software reuse, component-based development, architectural styles |
| 1 | Arthur S. Hitomi, Gregory Alan Bolcer, Richard N. Taylor |
Endeavors: A Process System Infrastructure.  |
ICSE  |
1997 |
DBLP DOI BibTeX RDF |
distributed process technology, architecture, open |
| 1 | W. Richards Adrion, Alfonso Fuggetta, Richard N. Taylor, Anthony I. Wasserman (eds.) |
Pulling Together, Proceedings of the 19th International Conference on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997.  |
ICSE  |
1997 |
DBLP BibTeX RDF |
|
| 1 | Nenad Medvidovic, Peyman Oreizy, Richard N. Taylor |
Reuse of Off-the-Shelf Components in C2-Style Architectures.  |
SSR  |
1997 |
DBLP DOI BibTeX RDF |
message-based architectures, graphical user interfaces, software reuse, component-based development, architectural styles |
| 1 | Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, E. James Whitehead Jr., Jason E. Robbins, Kari A. Nies, Peyman Oreizy, Deborah L. Dubrow |
A Component- and Message-Based Architectural Style for GUI Software.  |
IEEE Trans. Software Eng.  |
1996 |
DBLP DOI BibTeX RDF |
message-based architectures, concurrency, graphical user interfaces (GUIs), heterogeneity, Architectural styles |
| 1 | Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, Richard N. Taylor |
Using Object-Oriented Typing to Support Architectural Design in the C2 Style.  |
SIGSOFT FSE  |
1996 |
DBLP DOI BibTeX RDF |
C++ |
| 1 | Richard N. Taylor, Kari A. Nies, Gregory Alan Bolcer, Craig A. MacFarlane, Kenneth M. Anderson, Gregory F. Johnson |
Chiron-1: A Software Architecture for User Interface Development, Maintenance, and Run-Time Support.  |
ACM Trans. Comput.-Hum. Interact.  |
1995 |
DBLP DOI BibTeX RDF |
event-based integration, concurrency, client-server, user interface architectures, artists |
| 1 | Mauro Pezzè, Richard N. Taylor, Michal Young |
Graph Models for Reachability of Concurrent Programs.  |
ACM Trans. Softw. Eng. Methodol.  |
1995 |
DBLP DOI BibTeX RDF |
static analysis, process algebra, Ada tasking |
| 1 | Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck |
A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience.  |
ACM Trans. Softw. Eng. Methodol.  |
1995 |
DBLP DOI BibTeX RDF |
Ada, concurrency, static analysis, tool integration, software development environments |
| 1 | Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, E. James Whitehead Jr., Jason E. Robbins |
A Component- and Message-Based Architectural Style for GUI Software.  |
ICSE  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard N. Taylor, Joëlle Coutaz (eds.) |
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  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Kenneth M. Anderson, Richard N. Taylor, E. James Whitehead Jr. |
Chimera: Hypertext for Heterogeneous Software Environments.  |
ECHT  |
1994 |
DBLP BibTeX RDF |
|
| 1 | P. S. Young, Richard N. Taylor |
Human-executed operations in the teamware process programming system.  |
ISPW  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Joëlle Coutaz, Richard N. Taylor |
Introduction to the Workshop on Software Engineering and Human-Computer Interaction: Joint Research Issues.  |
ICSE Workshop on SE-HCI  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard N. Taylor |
User Interface Technology and Software Engineering Environments.  |
ICSE Workshop on SE-HCI  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard N. Taylor, Joëlle Coutaz |
Workshop on Software Engineering and computer-Human Interaction: Joint Research Issues.  |
ICSE  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Michael Young, David L. Levine, Richard N. Taylor |
Comments on ``Temporal Logic-Based Deadlock Analysis for Ada''.  |
IEEE Trans. Software Eng.  |
1993 |
DBLP DOI BibTeX RDF |
temporal logic-based deadlock analysis, axiomatic proof method, event-based models, computational complexity, computational complexity, Ada, Ada, temporal logic, concurrency control, nondeterminism, symbolic manipulation, symbol manipulation, state-based models |
| 1 | David L. Levine, Richard N. Taylor |
Metric-Driven Reengineering for Static Concurrency Analysis.  |
ISSTA  |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard N. Taylor, Gregory F. Johnson |
Separations of concerns in the Chiron-1 user interface development and management system.  |
INTERCHI  |
1993 |
DBLP DOI BibTeX RDF |
GUI construction, event-based integration, modularization of UIMS, Ada, concurrency, user interface management systems (UIMS), artists |
| 1 | Richard N. Taylor, David L. Levine, Cheryl D. Kelly |
Structural Testing of Concurrent Programs.  |
IEEE Trans. Software Eng.  |
1992 |
DBLP DOI BibTeX RDF |
structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs |
| 1 | Rudolf K. Keller, Mary Cameron, Richard N. Taylor, Dennis B. Troup |
User Interface Development and Software Environments: The Chiron-1 System.  |
ICSE  |
1991 |
DBLP BibTeX RDF |
|
| 1 | Richard N. Taylor (eds.) |
SIGSOFT'90 4th Symposium on Software Development Environments, Irvine, CA, USA, December 3-5, 1990  |
SDE  |
1990 |
DBLP BibTeX RDF |
|
| 1 | Leon J. Osterweil, Richard N. Taylor |
The architecture of the Arcadia-1 process centered software environment.  |
ISPW  |
1990 |
DBLP BibTeX RDF |
|
| 1 | Anne F. Brindle, Richard N. Taylor, David F. Martin |
A Debugger for Ada Tasking.  |
IEEE Trans. Software Eng.  |
1989 |
DBLP DOI BibTeX RDF |
Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking |
| 1 | Michal Young, Richard N. Taylor, K. Forester, Debra Brodbeck |
Integrated Concurrency Analysis in a Software Development Enviornment.  |
Symposium on Testing, Analysis, and Verification  |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Izhar Shy, Richard N. Taylor, Leon J. Osterweil |
A Metaphor and a Conceptual Architecture for Software Development Environments.  |
SEE  |
1989 |
DBLP DOI BibTeX RDF |
models of software development, scalable, process modeling, metaphors, software development environments, heterogeneous architectures, software factory |
| 1 | Michal Young, Richard N. Taylor |
Rethinking the Taxonomy of Fault Detection Techniques.  |
ICSE  |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Young, Richard N. Taylor, Dennis B. Troup |
Software Environment Architectures and User Interface Facilities.  |
IEEE Trans. Software Eng.  |
1988 |
DBLP DOI BibTeX RDF |
software environment architectures, interactive program structures, user interfaces, user interfaces, programming environments, user interface management system |
| 1 | Michal Young, Richard N. Taylor |
Combining Static Concurrency Analysis with Symbolic Execution.  |
IEEE Trans. Software Eng.  |
1988 |
DBLP DOI BibTeX RDF |
static concurrency analysis, synchronization patterns, path selection mechanism, concurrency analysis, parallel programming, program analysis, program testing, program testing, concurrent programs, symbolic execution, software development environment |
| 1 | Richard N. Taylor, Frank C. Belz, Lori A. Clarke, Leon J. Osterweil, Richard W. Selby, Jack C. Wileden, Alexander L. Wolf, Michal Young |
Foundations for the Arcadia Environment Architecture.  |
Software Development Environments (SDE)  |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Young, Richard N. Taylor, Dennis B. Troup, Cheryl D. Kelly |
Design Principles behind Chiron: A UIMS for Software Environments.  |
ICSE  |
1988 |
DBLP BibTeX RDF |
|
| 1 | Richard N. Taylor |
Concurrency and software process model.  |
ISPW  |
1986 |
DBLP BibTeX RDF |
|
| 1 | Richard N. Taylor, Thomas A. Standish |
Steps to an Advanced Ada^1 Programming Environment.  |
IEEE Trans. Software Eng.  |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Standish, Richard N. Taylor |
Arcturus: A Prototype Advanced Ada Programming Environment.  |
Software Development Environments (SDE)  |
1984 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | Richard N. Taylor, Thomas A. Standish |
Steps to an Advanced Ada Programming Environment.  |
ICSE  |
1984 |
DBLP BibTeX RDF |
|
| 1 | Richard N. Taylor |
Complexity of Analyzing the Synchronization Structure of Concurrent Programs.  |
Acta Inf.  |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard N. Taylor |
An Integrated Verification and Testing Environment.  |
Softw., Pract. Exper.  |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard N. Taylor |
A General-Purpose Algorithm for Analyzing Concurrent Programs.  |
Commun. ACM  |
1983 |
DBLP DOI BibTeX RDF |
|