Publications
Books | Journals | Book Chapters | Refereed Conferences and Workshops | Non-refereed and Other
Books
B-1 Richard N. Taylor, Nenad Medvidovic, Eric Dashofy, Software Architecture: Foundations, Theory, and Practice. ISBN: 978-0-470-16774-8. John Wiley & Sons, ©2009 736 pages.
 
Book Chapters and Articles
BC-9 Hazel U. Asuncion and Richard N. Taylor. Automated Techniques for Capturing Custom Traceability Links across Heterogeneous Artifacts. In: Software and Systems Traceability, ed. Jane Cleland-Huang, Andrea Zisman, and Olly Gotel. pp. 129-146, Springer, 2012.
BC-8

Richard N. Taylor. Software Architecture, (In)consistency, and Integration. In Engineering of Software: The Continuing Contributions of Leon J. Osterweil, ed. Peri L. Tarr and Alexander L. Wolf. Springer. 2011.

BC-7 John Georgas and Richard N. Taylor. Policy-Based Architectural Adaptation Management: Robotics Domain Case Studies. In Self-Adaptive Systems, edited by Editors: Betty H.C. Cheng, Rogerio de Lemos, Holger Giese, Paola Inverardi, Jeff Magee. Lecture Notes in Computer Science 5525, pp. 89-108. Springer-Verlag Heidelberg 2009.
BC-6 Oreizy, P., Medvidovic, N., and Taylor, R. N. 2008. Runtime software adaptation: framework, approaches, and styles.(Most Influential Paper of ICSE 1998 Invited Paper) In Companion of the 30th international Conference on Software Engineering (Leipzig, Germany, May 10 - 18, 2008). ICSE Companion '08. ACM, New York, NY, 899-910. DOI= http://doi.acm.org/10.1145/1370175.1370181
BC-5 Richard N. Taylor and Andre van der Hoek. “Software Design and Architecture: The once and future focus of software engineering.” In Future of Software Engineering 2007. Edited by Lionel C. Briand and Alexander L. Wolf. pp. 226-243. IEEE Computer Society (2007). http://doi.ieeecomputersociety.org/10.1109/FOSE.2007.21
BC-4 Coutaz, J. and R.N. Taylor.  Introduction to the workshop on software engineering and human-computer interaction:  Joint research issues.  In Proceedings of the Workshop on Software Engineering and Human Computer Interaction:  Joint Research Issues, published by Springer-Verlag as Lecture Notes in Computer Science, Vol. 896, pp. 1—3  (1995).
BC-3 Taylor, R.N. User interfaces and software engineering environments. In Proceedings of the Workshop on Software Engineering and Human Computer Interaction: Joint Research Issues, published by Springer-Verlag as Lecture Notes in Computer Science, Vol. 896, pp. 113—126 (1995).
BC-2 Taylor, R.N. Analysis of concurrent software by cooperative application of static and dynamic techniques. In Software Validation, ed. Hans-Ludwig Hausen, Elsevier Science Publishers B.V. (North Holland), pp. 127-137 (1984).
BC-1 Osterweil, Leon J., L.D. Fosdick, and R.N. Taylor.  Error and anomaly diagnosis through dataflow analysis.  In Program Testing, ed. Chandrasekaran and Radicchi, North Holland, pp. 35-63 (1981).
 
Refereed Journal Articles
J-34

Christoph Dorn, Richard N. Taylor, and Schahram Dustdar. Flexible Social Workflows: Collaborations as Human Architecture. Invited Paper. IEEE Internet Computing, 16, no. 2, pp. 72-77, Mar./Apr. 2012, doi:10.1109/MIC.2012.33
J-33 John C. Georgas, André van der Hoek, Richard N. Taylor. Using Architectural Models at Runtime to Manage and Visualize Runtime Adaptation.IEEE Computer, 42, 10, pp. 52-60. (October 2009). Digital Object Identifier: 10.1109/MC.2009.335
J-32 Nenad Medvidovic, Eric Dashofy, and Richard N. Taylor. Moving Architectural Description from Under the Technology Lamppost. Information and Software Technology. pp. 12-31. Vol. 49, No. 1, 2007. http://dx.doi.org/10.1016/j.infsof.2006.08.006
J-31 John C. Georgas, Eric M. Dashofy, and Richard N. Taylor. Architecture-Centric Development: A Different Approach to Software Engineering. ACM Crossroads, issue on Software Engineering, Vol. 12, No. 4, Summer 2006.  Available online (only)at http://www.acm.org/crossroads/xrds12-4/arqcentric.html or http://doi.acm.org/10.1145/1144359.1144365
J-30 Girish Suryanarayana, Mamadou H. Diallo, Justin R. Erenkrantz and Richard N. Taylor. Architecting Trust-enabled Peer-to-Peer File-sharing Applications.  ACM Crossroads, issue on Software Engineering, Vol. 12, No. 4, Summer 2006, pp. 11-19. http://doi.acm.org/10.1145/1144359.1144364
J-29 Jie Ren and Richard N. Taylor. Automatic and Versatile Publications Ranking for Research Institutions and Scholars.  Communications of the ACM (CACM), Vol 50, No. 6 (June, 2007). Pages 81-85. http://doi.acm.org/10.1145/1247001.1247010
J-28 Girish Suryanarayana, Justin Erenkrantz, and Richard Taylor. An Architectural Approach to Decentralized Trust Management.  IEEE Internet Computing, 9,  6, pp. 16-23, (November/December, 2005).  Special section on Security for P2P/Ad Hoc Networks. http://dx.doi.org/10.1109/MIC.2005.119
J-27 Eric M. Dashofy, André van der Hoek, and Richard Taylor. A Comprehensive Approach for the Development of Modular Software Architecture Description Languages.   ACM Transactions on Software Engineering and Methodology (TOSEM) 14, 2, pp. 199-245 (April 2005). http://doi.acm.org/10.1145/1061254.1061258
J-26 Medvidovic, N., E. M. Dashofy, Richard N. Taylor. The Role of Middleware in Architecture-Based Software Development. International Journal of Software Engineering and Knowledge Engineering, 13, 4, pp. 367-393 (August 2003) http://dx.doi.org/10.1142/S0218194003001330
J-25 Roy Fielding and Richard N. Taylor.  Principled design of the Modern Web Architecture. ACM Transactions on Internet Technology, 2, 2, pp. 115-150 (May 2002). http://doi.acm.org/10.1145/514183.514185
J-24 Kenneth M. Anderson, Richard N. Taylor, E. James Whitehead, Jr.  Chimera: Hypermedia for Heterogeneous Environments.    ACM Transactions on Office Information Systems, 18, 3, pp. 211-245  (July, 2000). http://doi.acm.org/10.1145/352595.352596
J-23 Peter Kammer, Gregory Alan Bolcer, Richard N. Taylor, Mark Bergman.  Techniques for Supporting Dynamic and Adaptive Workflow.  Computer Supported Cooperative Work (CSCW), 9, pp. 269-292 (2000). http://dx.doi.org/10.1023/A:1008747109146
J-22 Peyman Oreizy, Michael M. Gorlick, Richard N. Taylor, Dennis M. Heimbigner, Gregory F. Johnson, Nenad Medvidovic, Alex Quilici, David S. Rosenblum, Alexander L. Wolf.  An Architecture-Based Approach to Self-Adaptive Software.    IEEE Intelligent Systems, 14, 3, pp. 54–62  (May/June 1999). http://dx.doi.org/10.1109/5254.769885
J-21 Gregory Alan Bolcer and Richard N. Taylor.  Advanced Workflow Management Technologies.  Software Process – Improvement and Practice. Volume 4, Number 3, pp. 125-171 (September 1998 – but appeared physically October, 1999). http://dx.doi.org/10.1002/(SICI)1099-1670(199809)4:3<125::AID-SPIP100>3.0.CO;2-J
J-20 Nenad Medvidovic and Richard N. Taylor.  A Classification and Comparison Framework for Software Architecture Description Languages.  IEEE Transactions on Software Engineering, Vol. 26, No. 1, pp. 70-93 (January 2000). http://dx.doi.org/10.1109/32.825767
J-19 Peyman Oreizy and Richard N. Taylor. On the Role of Software Architectures in Runtime System Reconfiguration. IEE Proceedings Software Engineering. Vol. 145, No. 5, pp. 137-145 (October 1998). (Revision and expansion of RC-34 below.)
J-18 Kenneth M. Anderson, Richard N. Taylor, and E. James Whitehead, Jr. A Critique of the Open Hypermedia Protocol.   Journal of Digital Information, 1,  Issue 2, December 1997. Supported by the British Computer Society and the Oxford University Press. http://journals.tdl.org/jodi/article/view/jodi-5/5
J-17 Roy Fielding, E. James Whitehead, Jr., Kenneth Anderson, Peyman Oreizy, Gregory Bolcer, and Richard Taylor.  Web-based Development of Complex Information Products.  Communications of the ACM, 41,8, pp. 84-92.  (August 1998.) http://doi.acm.org/10.1145/280324.280337
J-16 Nenad Medvidovic, Richard N. Taylor.  Exploiting Architectural Style to Develop a Family of Applications.   IEE Proceedings Software Engineering,  144.  Number 5-6, pp. 237-248 (October/December 1997).
J-15 Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, E. James Whitehead, Jr., Jason E. Robbins, Kari A. Nies, Peyman Oreizy, and Deborah L. Dubrow. A component and message-based architectural style for GUI software. IEEE Transactions on Software Engineering, 22, 6, pp. 390-406 (June, 1996.) (Major revision and expansion of RC-23 below.``Best paper of ICSE-17” (one of three)) http://dx.doi.org/10.1109/32.508313
J-14 Pezze, Mauro, Richard N. Taylor, and Michal Young.  Graph models for reachability analysis of concurrent programs.  ACM Transactions on Software Engineering and Methodology, 4, 2, pp. 171—213 (April 1995).  http://doi.acm.org/10.1145/210134.210180
J-13 Richard N. Taylor, Kari A. Nies, Gregory Alan Bolcer, Craig A. MacFarlane, Gregory F. Johnson, and Kenneth M. Anderson. Supporting separations of concerns and concurrency in the Chiron-1 user interface system. ACM Transactions on Computer-Human Interaction, 2, 2, pp. 105—144 (June 1995). (Major revision and expansion of RC-16 below.) http://doi.acm.org/10.1145/210181.210182
J-12 Michal Young, Richard N. Taylor, David L. Levine, Kari Forester, and Debra Brodbeck. A concurrency analysis tool suite: rationale, design, and preliminary experience. ACM Transactions of Software Engineering and Methodology, 4, 1 (January 1995), pp. 65—106. (Major revision and expansion of RC-10 below.) http://doi.acm.org/10.1145/201055.201080
J-11 Young, M., D.L. Levine, and R.N. Taylor.  Comments on ``Temporal logic-based deadlock analysis for Ada”.  Correspondence item, IEEE Transactions on Software Engineering, 19, 2, pp. 198-199 (February, 1993). http://dx.doi.org/10.1109/32.214836
J-10 Taylor, R., Cheryl D. Kelly, and David L. Levine. Structural testing of concurrent programs. IEEE Transactions on Software Engineering, 18, 3, pp. 206—215 (March, 1992). (Major revision of item RC-6 below). http://dx.doi.org/10.1109/32.126769
J-09 Young, M. and R. Taylor.  Combining static concurrency analysis with symbolic execution.  IEEE Transactions on Software Engineering, SE-14, Number 10, 1499—1511 (October 1988).  An earlier version of this paper appeared as a refereed conference publication in Proceedings of the Workshop on Software Testing, Banff, Canada, pp. 170—178 (July 1986). http://doi.ieeecomputersociety.org/10.1109/32.6195
J-08 Young, M., Taylor, R.N., and Troup, D.B. Software environment architectures and user interface facilities. IEEE Transactions on Software Engineering, SE-14, Number 6, 697—708 (June 1988). http://dx.doi.org/10.1109/32.6151
J-07 Brindle, A., R. Taylor, and D. Martin. A debugger for Ada tasking. IEEE Transactions on Software Engineering, SE-15, Number 3, 293—304 (March 1989). http://dx.doi.org/10.1109/32.21757
J-06 Taylor, R.N. and T.A. Standish. Steps to an advanced Ada programming environment. IEEE Transactions on Software Engineering, SE-11, Number 3, 302-310 (March 1985). This paper previously appeared as a refereed contribution in the Proceedings of the 7th International Conference on Software Engineering, Orlando, FL, pp. 116-125 (March 1984). http://ieeexplore.ieee.org/iel5/32/35873/01702006.pdf?isnumber=35873&arnumber=1702006
J-05 Taylor, R.N. Debugging real-time software in a host-target environment. Technique et Science Informatiques (Technology and Science of Informatics), Vol. 3, 4, 281-288 (1984). This paper previously appeared as a refereed contribution in the Proceedings of the 2nd Software Engineering Conference, Nice, France, pp. 451-463 (June 1984).
J-04 Taylor, R.N. An integrated verification and testing environment. Software-Practice and Experience, Vol. 13, pp. 697-713 (1983). http://www3.interscience.wiley.com/cgi-bin/abstract/113447270/ABSTRACT
J-03 Taylor, R.N. Complexity of analyzing the synchronization structure of concurrent programs. Acta Informatica, Vol. 19, pp. 57-84 (1983). http://www.springerlink.com/content/m0022240x5221756/
J-02 Taylor, R.N.  A general purpose algorithm for analyzing concurrent programs.  Communications of the ACM, Vol. 26, 5, pp. 362-376 (1983). Reprinted in Concurrent Programming, edited by Narain Gehani and Andrew McGettrick, Addison-Wesley (1988).  Reprinted in Tutorial: Distributed Software Engineering, edited by S.M. Schatz and Jia-Ping Wang, Computer Society Press of the IEEE (1989), pages 226—240. http://doi.acm.org/10.1145/69586.69587
J-01 Taylor, R.N. and L.J. Osterweil.  Anomaly detection in concurrent software by static data flow analysis.  IEEE Transactions on Software Engineering, Vol. SE-6, No. 3, pp. 265-278 (May 1980).
 
Selected Refereed Conference Proceedings
RC-82 Alegria Baquero and Richard N. Taylor. "Computational Commerce: A Vision for the Future," Proceedings of the 13th International Conference on Electronic Commerce and Web Technologies. C. Huemer and P. Lops (Eds.): EC-Web 2012, LNBIP 123, pp. 124-136. Springer, Heidelberg (2012).
RC-81 Michael M. Gorlick, Kyle Strasser, and Richard N. Taylor. "COAST: An Architectural Style for Decentralized On-Demand Tailored Services," Proceedings of Joint 10th Working IEEE/IFIP Conference on Software Architecture & 6th European Conference on Software Architecture (WICSA/ECSA 2012). Helsinki , August 20–24, 2012.
RC-80

Hazel Asuncion and Richard N. Taylor. "A Holistic Approach to Software Traceability" Proceedings of the 24th International Conference on Software Engineering and Knowledge Engineering (SEKE 2012), Redwood City, USA, July 2012

RC-79

Christoph Dorn and Richard N. Taylor. "Analyzing Runtime Adaptability of Collaboration Patterns" Proceedings of the 2012 International Conference on Collaboration Technologies and Systems (CTS 2012), May 21-25, 2012, Denver, Colorado, USA.
RC-78

Yongjie Zheng and Richard N. Taylor. "xMapper: An Architecture-Implementation Mapping Tool" (Informal Research Demonstration). Proceedings of the 2012 International Conference on Software Engineering (ICSE 2012), June 2012, Zurich, Switzerland.
RC-77 Christoph Dorn and Richard N. Taylor."`Co-Adapting Human Collaborations and Software Architectures" Proceedings of the 2012 International Conference on Software Engineering -- New Ideas and Emerging Results (NIER) track (ICSE 2012), June 2012, Zurich, Switzerland.
RC-76 Yongjie Zheng and Richard N. Taylor. ``Enhancing Architecture-Implementation Conformance with Change Management and Support for Behavioral Mapping" Proceedings of the 2012 International Conference on Software Engineering (ICSE 2012), June 2012, Zurich, Switzerland.
RC-75 Yongjie Zheng and Richard N. Taylor. ``Taming Changes With 1.x-Way Architecture-Implementation Mapping" (Short Paper). Proceedings of ASE 2011: 26th IEEE/ACM International Conference On Automated Software Engineering, November 6–10, 2011, Lawrence, Kan.
RC-74

Michael Gorlick, Kyle Strasser, Alegria Baquero, and Richard N. Taylor. ``CREST: Principled Foundations for Decentralized Systems" (Poster and 2-page Abstract). Proceedings of SPLASH 2011, October 22-27, 2011, Portland, OR.

ACM DL Author-ize serviceCREST: principled foundations for decentralized systems
Michael Gorlick, Kyle Strasser, Alegria Baquero, Richard N. Taylor
SPLASH '11 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, 2011
RC-73 Leyna C. Cotran and Richard N. Taylor. ``Developing Requirements in an Established Domain Using Tags and Metadata." (Short Paper) Proceedings of Requirements Engineering for Systems, Services, and Systems of Systems (Workshop at RE'11). August 30, 2011. Trento, Italy.
RC-72 Richard N. Taylor. ``Enabling Innovation: A Choice for Software Engineering" Proceedings of the Foundations of Software Engineering (FSE) and NITR\&D/SPD Working Conference on the Future of Software Engineering Research. Santa Fe, New Mexico, September 2010.
ACM DL Author-ize serviceEnabling innovation: a choice for software engineering
Richard N. Taylor
FoSER '10 Proceedings of the FSE/SDP workshop on Future of software engineering research, 2010
RC-71

Hazel Asuncion, Arthur Asuncion, Richard N. Taylor. ``Software Traceability with Topic Modeling''. Proceedings of the 2010 International Conference on Software Engineering (ICSE 2010). May, 2010, pp. 95-104. Cape Town, South Africa

ACM DL Author-ize serviceSoftware traceability with topic modeling
Hazeline U. Asuncion, Arthur U. Asuncion, Richard N. Taylor
ICSE '10 Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, 2010
RC-70 Richard N. Taylor, Peyman Oreizy, Nenad Medvidovic. "Architectural Styles for Runtime Software Adaptation." Proceedings of the 8th Joint Working IEEE/IFIP Conference on Software Architecture 2009 & the 3rd European Conference on Software Architecture 2009. Cambridge, England, September 2009. pp. 171- 180.
RC-69 Yang Wang, Scott Hendrickson, André van der Hoek, Richard N. Taylor, and Alfred Kobsa. ``Modeling PLA Variation of Privacy-Enhancing Personalized Systems". Proceedings of the 13th International Software Product Line Conference. San Francisco, August, 2009.
RC-68 Hazeline U. Asuncion and Richard N. Taylor. ``Capturing Custom Link Semantics among Heterogeneous Artifacts and Tools". Proceedings of the 5th International Workshop on Traceability in Emerging Forms of Software Engineering (TEFSE). May, 2009, pp. 1-5. Vancouver, B.C. DOI= http://doi.acm.org/10.1109/TEFSE.2009.5069574
RC-67 Georgas, J. C. and Taylor, R. N. 2008. Policy-based self-adaptive architectures: a feasibility study in the robotics domain. In Proceedings of the 2008 international Workshop on Software Engineering For Adaptive and Self-Managing Systems (Leipzig, Germany, May 12 - 13, 2008). SEAMS '08. ACM, New York, NY, 105-112. DOI= http://doi.acm.org/10.1145/1370018.13700
RC-66 Justin R. Erenkrantz, Michael Gorlick, Girish Suryanarayana, Richard N. Taylor. From representations to computations: the evolution of web architectures. Proceedings of the 6th joint meeting of the European Software Engineering Conference and the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC/FSE 07), September 03 - 07, 2007, Pages: 255 - 264. http://doi.acm.org/10.1145/1287624.1287660
RC-65 Hazeline U. Asuncion, Frederick Francois, Richard N. Taylor. An end-to-end industrial software traceability tool. Proceedings of the 6th joint meeting of the European Software Engineering Conference and the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC/FSE 07), September 03 - 07, 2007, Pages: 115 - 124. http://doi.acm.org/10.1145/1287624.1287642
RC-64 John Georgas and Richard N. Taylor. “An Architectural Style Perspective on Robotic Architechtures.” 2nd International Workshop on Software Development and Integration into Robotics (part of the International Conference on Robotics and Automation). Rome, Italy, April 2007.
RC-63 Girish Suryanarayana, Mamadou Diallo, Justin Erenkrantz and Richard N. Taylor. Architectural Support for Trust Models in Decentralized Applications.  Proceedings of  the 28th International Conference on Software Engineering (ICSE ‘06), Shanghai, China, May 2006. http://doi.acm.org/10.1145/1134285.1134295
RC-62 Jie Ren and Richard N. Taylor. A Secure Software Architecture Description Language. Proceedings of the Workshop on Software Security Assurance Tools, Techniques, and Metrics. 7 and 8 November 2005 Long Beach, California, USA. Co-located with the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005). http://www.ics.uci.edu/~jie/ssattm05.pdf
RC-61 Scott Hendrickson, Eric Dashofy, and Richard N. Taylor. “An (Architecture-centric) Approach for Tracing, Organizing, and Understanding Events in Event-based Software Architectures”. Proceedings of the 13th IEEE International Workshop on Program  Comprehension (IWPC) 2005.  May, 2005. http://doi.ieeecomputersociety.org/10.1109/WPC.2005.6
RC-60 John C. Georgas, Michael M. Gorlick,  and Richard N. Taylor.  “Raging Incrementalism: Harnessing Change with OpenSource Software.”  Proceedings of the 5th Workshop on Open Source Software Engineering, held in conjunction with the 2005 International Conference on Software Engineering, May 2005. http://doi.acm.org/10.1145/1083258.1083263
RC-59 Jie Ren and Richard N. Taylor. “Towards An Architectural Treatment of Software Security: A Connector-Centric Approach”.  Proceedings of the Workshop on Software Engineering for Secure Systems (SESS05), held in conjunction with the 2005 International Conference on Software Engineering, May 2005.http://doi.acm.org/10.1145/1083200.1083203
RC-58 Peter Kammer and Richard N. Taylor. “An Architectural Style for Supporting Work Practice: Coping with the Complex Structure of Coordination”. Proceedings of the International Symposium on Collaborative Technologies and Systems (CTS'05),  May 15-19, 2005,  Saint Louis, Missouri, USA. http://dx.doi.org/10.1109/ISCST.2005.1553316
RC-57 John Georgas, Andre van der Hoek, and Richard N. Taylor. “Architectural Runtime Configuration Management in Support of Dependable Self-Adaptive Software”. Proceedings of the ICSE 2005 Workshop on Architecting DependableSystems (WADS).  May 2005. http://doi.acm.org/10.1145/1083217.1083225
RC-56 Jie Ren and Richard N. Taylor. “Utilizing Commercial Object Libraries within Loosely-coupled, Event-Based Systems.” Proceedings of IASTED International Conference on Software Engineering and Applications (SEA2004), November 09 - 11, 2004, Cambridge, USA. http://www.ics.uci.edu/~jie/sea04-proceeding.pdf
RC-55 John Georgas and Richard N. Taylor. “Towards a Knowledge-Based Approach to Architectural Adaptation Management.” Proceedings of ACM SIGSOFT Workshop on Self-Managed Systems (WOSS ‘04). October 31- November 1, 2004, Newport Beach, CA. http://doi.acm.org/10.1145/1075405.1075417
RC-54 Girish Suryanarayana, Justin R. Erenkrantz, Scott A. Hendrickson, and Richard N. Taylor. “PACE: An Architectural Style for Trust Management in Decentralized Applications.” Proceedings of the Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA4), June 2004, Oslo, Norway pp. 221-230. Acceptance ratio: 25/82 (30%) http://doi.ieeecomputersociety.org/10.1109/WICSA.2004.1310705
RC-53 Rohit Khare and Richard N. Taylor. “Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems.” Proceedings of the International Conference on Software Engineering (ICSE), May, 2004, Edinburgh, Scotland. pp. 428-437. Acceptance ratio: 59/436 (14%) Winner, Distinguished Paper Award. http://doi.ieeecomputersociety.org/10.1109/ICSE.2004.1317465
RC-52 Justin R. Erenkrantz and Richard N. Taylor. “Supporting Distributed and Decentralized Projects: Drawing Lessons from the Open Source Community.” 1st Workshop on Open Source in an Industrial Context (OSIC'03), held in conjunction with OOPSLA 2003, October 2003, Anaheim. Complete workshop proceedings.
RC-51 Scott Hendrickson, Eric Dashofy, Richard N. Taylor, “An Approach for Tracing and Understanding Asynchronous Systems”. Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE) Montreal, pp. 318-322 (2003). Short paper. Acceptance ratio: 41/170 (24%). http://doi.ieeecomputersociety.org/10.1109/ASE.2003.1240329
RC-50 Ren, J. and R. N. Taylor. “Incorporating Off-The-Shelf Components with Event-based Integration”. 12th International Conference on Intelligent and Adaptive Systems and Software Engineering (IASSE-2003), San Francisco, CA, pp. 188-191 (July 9-11, 2003)
RC-49 Ren, J. and R. N. Taylor. “Visualizing Software Architecture with Off-The-Shelf Components. Fifteenth International Conference on Software Engineering and Knowledge Engineering”, San Francisco, CA., pp. 132-141 (July 1-3, 2003)
RC-48 Dashofy, E., Hoek, A.v.d. and Taylor, R.N., Towards Architecture-Based Self-Healing Systems. in First ACM SIGSOFT Workshop on Self-Healing Systems, Charleston, South Carolina, ACM, pp. 21-26 (2002). http://doi.acm.org/10.1145/582128.582133
RC-47 Girish Suryanarayana and Richard N. Taylor. “A Decentralized Algorithm for Coordinating Independent Peers: An Initial Examination”  Tenth International Conference on Cooperative Information Systems (CoopIS), Lecture Notes in Computer Science, Volume: 2519 / 2002.  Volume titled: “On the Move to Meaningful Internet Systems 2002: Confederated International Conferences CoopIS, DOA, and ODBASE 2002.”  Pages 213-229.   Springer-Verlag Heidelberg. 2002.
RC-46 Eric M. Dashofy, André van der Hoek, Richard N. Taylor. An Infrastructure for the Rapid Development of XML-based Architecture Description Languages. Proceedings of the 2002 International Conference on Software Engineering (ICSE 2002), Orlando, May 22-24, 2002. http://doi.acm.org/10.1145/581339.581374
RC-45 Taylor, R.N. Moving On:  Software Engineering Paradigms for the 21st Century.  Proceedings of the Working Conference on Complex and Dynamic Systems Architectures.  Brisbane, Australia, December 12-14, 2001. (See summary paper.)
RC-44 Dashofy, E., Hoek, A.v.d., and Taylor, R.N. A Highly-Extensible, XML-Based Architecture Description Language. In Proceedings of the The Working IEEE/IFIP Conference on Software Architecture (WICSA 2001). Amsterdam, The Netherlands, August 28-31, 2001. http://doi.ieeecomputersociety.org/10.1109/WICSA.2001.948416
RC-43 Rohit Khare, Michael Guntersdorfer, Peyman Oreizy, Nenad Medvidovic, and Richard N. Taylor.  xADL:  Enabling Architecture-Centric Tool Integration with XML. Hawaii International Conference on System Sciences (HICSS): Software minitrack, January 3-6, 2001. http://csdl.computer.org/comp/proceedings/hicss/2001/0981/09/09819053.pdf
RC-42 Roy Fielding and Richard N. Taylor. Principled design of the Modern Web Architecture. Proceedings of the 2000 International Conference on Software Engineering (ICSE 2000). Limerick, Ireland, pp. 407-416, June 2000. http://doi.acm.org/10.1145/337180.337228
RC-40 Nenad Medvidovic, David S. Rosenblum, and Richard N. Taylor. A Language and Environment for Architecture-Based Software Development and Evolution.   Proceedings of the 1999 International Conference on Software Engineering (ICSE 99). Los Angeles, pp. 44-53, May 1999. http://doi.ieeecomputersociety.org/10.1109/ICSE.1999.840994
RC-39 Eric Dashofy, Nenad Medvidovic, and Richard N. Taylor. Using OTS Middleware to Implement Connectors in Distributed Software Architectures. Proceedings of the 1999 International Conference on Software Engineering (ICSE 99). Los Angeles, pp. 3–12, May 1999. http://doi.ieeecomputersociety.org/10.1109/ICSE.1999.840990
RC-38 Peter Kammer, Gregory Alan Bolcer, Richard N. Taylor, and Arthur S. Hitomi. Supporting distributed workflow using HTTP.  Proceedings of the Fifth International Conference on the Software Process.  Lisle, IL, 14-17 June 1998, pp.83-94.
RC-37 Peyman Oreizy and Richard N. Taylor.  On the Role of Software Architectures in Runtime System Reconfiguration.  Proceedings of the 4th International Conference on Configurable Distributed Systems.  Annapolis, Maryland, pp. 61-70, May 4-6, 1998.
RC-36 Peyman Oreizy, Nenad Medvidovic, and Richard N. Taylor. Architecture-based runtime software evolution. Proceedings of the 1998 International Conference on Software Engineering, Kyoto, pp. 177-186, April 1998. DOI: 10.1109/ICSE.1998.671114 http://ieeexplore.ieee.org/iel4/5475/14745/00671114.pdf?tp=&isnumber=14745&arnumber=671114&punumber=5475
RC-35 Peyman Oreizy, Nenad Medvidovic, Richard N. Taylor, David S. Rosenblum. “Software Architecture and Component Technologies: Bridging the Gap”. Proceedings of the OMG-DARPA Workshop on Compositional Software Architectures, Monterey, CA, January 6-8, 1998. <http://www.objs.com/workshops/ws9801/papers/paper007.pdf >
RC-34 Nenad Medvidovic and Richard N. Taylor. A framework for classifying and comparing architecture description languages. Proceedings of the Joint Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) and European Software Engineering Conference (ESEC). October, 1997, pp. 60—76. Acceptance ratio: 27/194.
RC-33 Richard N. Taylor.  Dynamic, invisible, and on the Web.  Proceedings of the Workshop on Research Directions in Process Technology.  Nancy, France, July 7-9, 1997.
RC-32 Nenad Medvidovic, Peyman Oreizy, and Richard N. Taylor. Reuse of off-the-shelf components in C2-style architectures. Proceedings of the 1997 Symposium on Software Reuse. Boston, Massachusetts, pp. 190—198, May 18-19, 1997. Also appeared in Proceedings of the 1997 International Conference on Software Engineering, pp. 692—700. Acceptance ratio: 21/63.
RC-31 Gregory Alan Bolcer and Richard N. Taylor.  Endeavors:  A Process System Integration Infrastructure.  Proceedings of the 4th International Conference on the Software Process.  Brighton, England, pp. 76-85.  IEEE Computer Society Press. December 1996. http://doi.ieeecomputersociety.org/10.1109/ICSP.1996.565026
RC-31 Peyman Oreizy and Richard N. Taylor.  Coping with Application Inconsistency in Decentralized Software Evolution.  Proceedings  of the Second International Conference on the Principles of  Software Evolution (IWPSE 2), pp. 74-78. Fukuoka, Japan. July 16-17, 1999.
RC-30 Richard N. Taylor.  Generalization from domain experience:  The superior paradigm for software architecture research? Proceedings of the Second International Software Architecture Workshop (ISAW-2), pp. 12-14, October 1996.
RC-29 Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, and Richard N. Taylor.  Using object-oriented typing to support architectural design in the C2 style.  Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 24-32, October 1996. http://doi.acm.org/10.1145/239098.239106
RC-28 Nenad Medvidovic, Richard N. Taylor, and E. James Whitehead, Jr. Formal modeling of software architectures at multiple levels of abstraction. Proceedings of the 1996 California Software Symposium, pp. 28—40, April 17, 1996.
RC-27 Patrick S. Young and Richard N. Taylor. Process programming languages: Issues and approaches. Proceedings of the Workshop on Research Issues in the Intersection of Software Engineering and Programming Languages, April 1995.
RC-26 E. James Whitehead, Jr., Jason E. Robbins, Nenad Medvidovic, and Richard N. Taylor.  Software architecture: Foundations of a software component marketplace.  Proceedings of the First International Workshop on Architectures for Software Systems, pp. 276—282, April 24-25, 1995.
RC-25 Richard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, E. James Whitehead, Jr., and Jason E. Robbins.  A component and message-based architectural style for GUI software.  Proceedings of the 17th International Conference on Software Engineering (ICSE 17), April 1995,  pp. 295—304. http://doi.acm.org/10.1145/225014.225042
RC-24 Patrick S. Young and Richard N. Taylor.  Human-executed operations in the Teamware process programming system.  Proceedings of the 9th International Software Process Workshop.  October 1994.
RC-23 E. James Whitehead, Jr., Kenneth M. Anderson, Richard N. Taylor.  A proposal for versioning support for the Chimera system.  Proceedings of the Workshop on Versioning in Hypertext Systems.  ACM/Siglink, pp. 51—60, Edinburgh Scotland, September 1994.
RC-22 Kenneth Anderson, Richard N. Taylor, and E. James Whitehead, Jr.  Chimera:  Hypertext for heterogeneous software environments.  Proceedings of the ACM European Conference on Hypermedia Technology.  Edinburgh, September 18—23, 1994. http://doi.acm.org/10.1145/192757.192783
RC-21 John Self and Richard N. Taylor.  A framework for debugging concurrent software.  Proceedings of the 1994 Irvine Software Symposium.  April 8, 1994.
RC-20 Gregory F. Johnson and Richard N. Taylor.  An efficient constraint maintenance system for user interface development.  Proceedings of the 1993 Irvine Software Symposium, pp. 63—72.  April 30, 1993.
RC-19 David L. Levine and Richard N. Taylor.  Metric-driven re-engineering for static concurrency analysis.  Proceedings of the International Symposium on Software Testing and Analysis, pp. 40-50.  Cambridge, Mass., June 28—30, 1993.  http://doi.acm.org/10.1145/154183.154196
RC-18 Richard N. Taylor and Gregory F. Johnson. Separations of concerns in the Chiron-1 user interface development and management system. Proceedings of InterChi’93 (ACM SIGCHI’s CHI conference united with IFIP TC 13’s Interact conference), pp. 367—384. Amsterdam, April 1993. Acceptance ratio: 62/330. http://doi.acm.org/10.1145/169059.169294
RC-17 R. Kadia (pen name for the authors involved). Issues encountered in building a flexible software development environment. Proceedings of the Fifth Symposium on Software Development Environments, SIGSOFT `92, pp. 169—180. Reston, Virginia, December 1992. Acceptance ratio: 18/78.http://doi.acm.org/10.1145/142868.143768
RC-16 Keller, Rudolf K., Mary Cameron, Richard N. Taylor, and Dennis B. Troup. User interface development and software environments: The Chiron-1 system. Proceedings of the 13th International Conference on Software Engineering, pp. 208—218. Austin, Texas, May 1991. Acceptance ratio: 22/148.
RC-15 Keller, Rudolf K., Mary Cameron, Richard Taylor, and Dennis Troup.  Chiron-1: A user interface development system tailored to software environments.  In Proceedings of the 24th Hawaii International Conference on System Sciences, Volume II.  Kailua-Kona, Hawaii, pp. 60—69, January 8—10, 1991.
RC-14 Leon Osterweil and Richard Taylor. The architecture of the Arcadia-1 process centered software environment. In Proceedings of the 6th International Software Process Workshop, Sapporo, Japan, October 1990. Pages 155-158.
RC-13 Shy, Izhar, Richard Taylor, and Leon Osterweil.  A metaphor and a conceptual architecture for software development environments.  In Software Engineering Environments: International Workshop on Environments, Chinon, September 1989.  Lecture Notes in Computer Science, Volume 467, November, 1990, pp. 77—97.
RC-12 Young, M., R. Taylor, K. Forester, D. Brodbeck. Integrated concurrency analysis in a software development environment. Proceedings of the Third Symposium on Testing, Analysis, and Verification, Key West, pp. 200—209 (December 1989). Acceptance Ratio: 23/75.
RC-11 Young, M. and R. Taylor. Rethinking the taxonomy of fault detection techniques. Proceedings of the 11th International Conference on Software Engineering, Pittsburgh, pp. 53—62 (May 1989). Acceptance Ratio: 36/220. http://doi.acm.org/10.1145/74587.74593
RC-10 Taylor, R.N., F.C. Belz, L.A. Clarke, L.J. Osterweil, R.W. Selby, J.C. Wileden, A.L. Wolf, and M. Young. Foundations for the Arcadia environment architecture. Proceedings of the Third ACM SIGSOFT Symposium on Software Development Environments, Cambridge, pp. 1—13 (November 1988). Acceptance Ratio: 21/135. http://doi.acm.org/10.1145/64135.65004
RC-09 Young, M., R. Taylor, D.B. Troup, and C. Kelly. Chiron: A user interface management system for software environments. Proceedings of the 10th International Conference on Software Engineering, Singapore, pp. 367—376 (April 1988). Acceptance Ratio: 42/220.
RC-08 Taylor, R. and C. Kelly. Structural testing of concurrent programs. Proceedings of the Workshop on Software Testing, Banff, Canada, pp. 164—169 (July 1986). Acceptance Ratio: 18/43.
RC-07 Taylor, R., L. Clarke, L. Osterweil, J. Wileden, M. Young. Arcadia: A Software development environment research project. Proceedings of the Second International Conference on Ada Applications and Environments, Miami, Florida, pp. 137—149 (April 1986).
RC-06 Taylor, R.N. and L.J. Osterweil.  The use of sequencing information in software specifications for verification.  Proceedings of the 4th Jerusalem Conference on Information Technology, Jerusalem, Israel, IEEE 84CH2022-2, pp. 260-266 (May 1984). 
RC-05 Taylor, R.N.  Software testing in an Ada programming environment (Invited Paper).  Proceedings of the 47th Symposium of the NATO-AGARD Avionics Panel on Design for Tactical Avionics Maintainability, Brussels, Belgium, AGARD-CP-361, pp. 20-1 to 20-12 (May 1984).
RC-04 Standish, T.A. and R.N. Taylor. Arcturus: a prototype advanced Ada programming environment. Proceedings of the ACM SIGSOFT/SIGPLAN Symposium on Practical Software Development Environments, Pittsburgh, PA, pp. 57-64 (April 1984). Appeared as Software Engineering Notes, 9, 3 (May 1984) and SIGPLAN Notices, 19, 5 (May 1984).
RC-03 Smith, M.K., L.L. Tripp, L.J. Osterweil, R.N. Taylor, and W.E. Howden. An approach to transferring verification and validation technology. AFIPS Conference Proceedings, Vol. 50, 1981 National Computer Conference. May 4-7, Chicago, Illinois, pp. 367-373.
RC-02 Taylor, R.N. and L.J. Osterweil. Static analysis and dynamic testing techniques for concurrent process programs. Digest for the Workshop on Software Testing Test Documentation, Ft. Lauderdale, FL, pp.197-205 (1978).
RC-01 Taylor, R.N. and L.J. Osterweil.  A facility for verification, testing and documentation of concurrent process software.  Proceedings, COMPSAC 78, Chicago, IL, pp. 36-41 (1978).
Selected Non-refereed or Weakly-refereed Publications
NR-40 Cheng, B. H., Lemos, R. d., Fickas, S., Garlan, D., Litoiu, M., Magee, J., Muller, H. A., and Taylor, R. 2007. SEAMS 2007: Software Engineering for Adaptive and Self-Managing Systems. In Companion To the Proceedings of the 29th international Conference on Software Engineering (May 20 - 26, 2007). International Conference on Software Engineering. IEEE Computer Society, Washington, DC, 152-153. DOI= http://dx.doi.org/10.1109/ICSECOMPANION.2007.64
NR-39 Justin Erenkrantz, Michael Gorlick, and Richard N. Taylor. Rethinking Web Services from First Principles. 2nd International Conference on Design Science Research in Information Systems & Technology (DESRIST 2007). May 13-15, 2007, Pasadena, California, USA (pp. 60-64).
NR-38 Dashofy, Eric; Asuncion, Hazel; Hendrickson, Scott; Suryanarayana, Girish; Georgas, John; Taylor, Richard; ArchStudio 4: An Architecture-Based Meta-Modeling Environment. Software Engineering - Companion, 2007. ICSE 2007 Companion. 29th International Conference on 20-26 May 2007 Page(s):67 - 68 Digital Object Identifier 10.1109/ICSECOMPANION.2007.21
NR-37 Girish Suryanarayana and Richard N. Taylor.  TREF: A Threat-centric Comparison Framework for Decentralized Reputation Models -  -ISR Technical Report UCI-ISR-06-2, January 2006.
NR-36 Peyman Oreizy and Richard N. Taylor, “Decentralized Software Evolution”, Technical Report, Institute for Software Research, No. UCI-ISR-03-10, September 2003
NR-35 Justin Erenkrantz, Girish Suryanarayana, Scott Hendrickson, Richard Taylor, “PACE: An Architectural Style for Trust Management in Decentralized Applications”, Technical Report, Institute for Software Research, No. UCI-ISR-03-9, September 2003.
NR-34 Rohit Khare and Richard N. Taylor, “Extending the REpresentational State Transfer (REST) Architectural Style for Decentralized Systems”, Technical Report, Institute for Software Research, No. UCI-ISR-03-8, September 2003.
NR-33 Justin R. Erenkrantz, Richard N. Taylor, “Supporting Distributed and Decentralized Projects: Drawing Lessons from the Open Source Community”,  Technical Report, Institute for Software Research, No. UCI-ISR-03-4, June 2003.
NR-32 Jie Ren, Richard N. Taylor, “Incorporating Off-The-Shelf Components with Event-based Integration”, Technical Report, Institute for Software Research, No. UCI-ISR-02-2, April 2003.
NR-31 Scott Hendrickson, Eric Dashofy, Adrita Bhor, Richard N. Taylor, Santiago Li, Nghi Nguyen, “An Approach for Tracing and Understanding Asynchronous Systems”, Technical Report, Institute for Software Research, No. UCI-ISR-02-7, December 2002.
NR-30 Proposal for a School of Design at the University of California, Irvine.  November 2002.  Accessible at http://www.evc.uci.edu/growth/design/SoD-proposal.pdf.  School of Design proposal committee (Chair:  Taylor).
NR-29 Richard N. Taylor and Eric M. Dashofy. “Function Follows Form: Architecture and 21st Century Software Engineering,” Participant whitepaper for: Workshop of the Interagency Working Group for Information Technology Research and Development (ITRD) Software Design and Productivity (SDP) Coordinating Group December 13 - 14, 2001 Vanderbilt University, Nashville, TN. Participant White Papers at http://www.itrd.gov/iwg/pca/sdp/sdp-workshop/vanderbilt/
NR-28 Nenad Medvidovic and Richard Taylor.  Separating Fact from Fiction in Software Architecture.  Proceedings of the Third International Software Architecture Workshop (ISAW-3).  Sponsored by ACM Sigsoft.  1-2 November, 1998, pp. 105-108.
NR-27 Distributed Workflow using HTTP:  An Example using Software Pre-Requirements.  Arthur S. Hitomi, Peter J. Kammer, Gregory Alan Bolcer, and Richard N. Taylor.  Paper accompanying a formal research demo, Proceedings of the 1998 International Conference on Software Engineering, Kyoto, Volume II, pp. 40-44, April 1998.
NR-26 Peyman Oreizy, David S. Rosenblum, Richard N. Taylor, “On the Role of Connectors in Modeling and Implementing Software Architectures”,  Technical Report UCI-ICS-98-04, Department of Information and Computer Science, University of California, Irvine, February 1998.
NR-25 Richard N. Taylor, Nenad Medvidovic, and Peyman Oreizy.  Architectural implications of common operator interfaces. Ground System Architectures Workshop.  El Segundo, CA.  February, 1998.
NR-24 Arthur S. Hitomi, Gregory Alan Bolcer, and Richard N. Taylor.  Endeavors: A Process System Infrastructure (Formal Research Demonstration).  Proceedings of the 1997 International Conference on Software Engineering.  Boston, Massachusetts (May 1997), pp. 598-599.
NR-23 Gregory A. Bolcer and Richard N. Taylor.  Endeavors: An Execution Infrastructure for Maturing Processes.  Proceedings of the Conference on Software Process Improvement.  Irvine, California, January 23-24, 1997.
NR-22 Nenad Medvidovic and Richard N. Taylor.  Reuse of Off-the-Shelf Constraint Solvers in C2-Style Architectures.  UCI Technical Report Number 96-28.  July 1996.
NR-21 Richard N. Taylor, Will Tracz, and Lou Coglianese.  Software Development Using Domain-Specific Software Architectures.  Software Engineering Notes, 20, 5, pp. 27—38 (December 1995). http://doi.acm.org/10.1145/217030.217034
NR-20 Rebecca E. Grinter and Richard N. Taylor.  Improvement of User Interface Development Methodologies through Rigorous Analysis.  UCI Technical Report Number 93-36.
NR-19 Richard N. Taylor and Kari A. Forester.  A software engineering approach to user interface management systems.  CrossTalk—- The Software Engineering Report, pp. 7—10.  December 1993.
NR-18 Anderson, Jennifer-Ann, Richard Taylor, and Michal Young.  Modularizing a concurrent artist-based UIMS for software environments.  Department of Information and Computer Science Technical Report Number UCI-92-80 (July, 1992).
NR-17 R. Kadia (pen name for the eight authors who contributed).  Lessons from the Arcadia project.  Proceedings of the 1992 DARPA Software Technology Conference.  Los Angeles, CA (April 1992).  Pages 287—302.
NR-16 Richard N. Taylor and Gregory F. Johnson.  The Chiron-1 user interface development system.  Proceedings of the 1992 DARPA Software Technology Conference.  Los Angeles, CA (April 1992).  Pages 303—309.
NR-15 Patrick S. Young and Richard N. Taylor.  Team-oriented process programming.  Department of Information and Computer Science Technical Report Number UCI-91-68 (August, 1991).
NR-14 J. Self and R. N. Taylor.  Using static concurrency analysis to instrument concurrent programs for dynamic debugging. (Abstract) Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz, California (May 20-21, 1991). Pages 263—265.
NR-13 Taylor, R.N.  Roundtable summary:  Event-based control/integration mechanisms.  Proceedings of the 1st Irvine Software Symposium (ISS ‘91).  Irvine, California (June 5, 1991).  Pages 85—87.
NR-12 Taylor, R.N.  ``Letter from the Chairman”,  Software Engineering Notes Volume 14, number 5, page 1.  Volume 15, number 6, page 1.  Volume 16, number 1, page 1.  Volume 16, number 2, page 1.  Volume 17, number 1, page 1.  Volume 18, number 1, page 1.  Volume 18, number 2, pages 1-2.
NR-11 Taylor, R. Diversity and object management in software development environments. Proceedings of the 1989 ACM SIGMOD Workshop on Software CAD Databases. Napa, California (February 27—28, 1989). Pages 145—148.
NR-10 Taylor, R. Tool integration in Arcadia. Proceedings of TRI-Ada ‘88, pp. 218—223, October 24—27, 1988. Charleston, West Virginia.
NR-09 Taylor, R., D. Baker, F. Belz, B. Boehm, L. Clarke, D. Fisher, L. Osterweil, R. Selby, J. Wileden, A. Wolf, M. Young.  Next generation software environments: Principles, problems, and research directions.  Technical Report Number 87—16, Department of Information and Computer Science, University of California, Irvine,  July 15, 1987.
NR-08 Taylor, R.N.  Session Report: Process Programming.  Proceedings of the 3rd International Software Process Workshop, Breckenridge, Colorado.  pp. 75-77 (November 17—19 1986).
NR-07 Martin, D., A. Brindle, R. Taylor, and L. Jansen.  Modifying a sequential Ada interpreter to support Ada tasking.  Aerospace Corporation Technical Report, Number ATR-86(8166)-1 (January 1986).
NR-06 Brindle, A., D. Martin, R. Taylor, and L. Jansen.  A model for the run-time processing of Ada tasking.  Aerospace Corporation Technical Report, Number ATR-84(8233)-2 (August 1984).
NR-05 Powell, Patricia B., editor.  Software Validation, Verification, and Testing Technique and Tool Reference Guide.  NBS Special Publication 500-93.  National Bureau of Standards, Washington, D.C.  (September 1982).  (R.N. Taylor assisted as a contributing author.)
NR-04 Feiber, J.D., R.N. Taylor, and L.J. Osterweil.  Newton - A dynamic program analysis tool capabilities specification.  Department of Computer Science Technical Report CU-CS-200-81, University of Colorado (February 1981).
NR-03

Taylor, R.N., Assertions in programming languages.  SIGPLAN Notices, 15, No.1. pp. 105-114. (1980).

NR-02 Taylor, R.N., R.L. Merilatt and L.J. Osterweil. Integrated testing and verification system for research flight software: Design document. NASA Contractor Report 159095, 238 pp., (available from NASA-STIF, Baltimore MD) (1979).
NR-01 Taylor, R.N., L.J. Osterweil and L.G. Stucki.  An integrated verification and validation tool for flight software.  Tools for Embedded Computing Systems Software, NASA Conference Publication 2064, pp. 109-111 (1978).