Bibliography

[AllenGarlan 92] Robert Allen and David Garlan. A Formal Approach to Software Architectures. Proceedings of the 1992 IFIP Congress, September 1992.

[AtleeGannon93] Joanne M. Atlee and John Gannon. State-Based Model Checking of Event-Driven System Requirements. IEEE Transactions on Software Engineering, vol 19, no 1, Jan 1993, pp.24-40.

[BirchenoughCameron89] JSD and Object-Oriented Design. In John R. Cameron (ed), JSP and JSD: The Jackson Approach to Software Development, IEEE Press 1989, pp.293-304.

[Boehm84] D. Boehm-Davis and L. Ross. Approaches to Structuring the Software Development Process. General Electric Company Report GEC/DIS/TR-84-B1V-1, October 1984, p.14.

[Booch86] Grady Booch. Object-Oriented Development. IEEE Transactions on Software Engineering, vol. 12, no. 2, February 1986, pp. 211-221.

[Bracket87]

[Champeny93] Lee Champeny-Bares, Syd Coppersmith, and Kevin Dowling. The Terregator Mobile Robot. Technical Report CMU-RI-TR-93-03, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, 1993.

[Elfes87] Alberto Elfes. Sonar-Based Real-World Mapping and Navigation. IEEE Journal of Robotics and Automation, no.3, 1987, pp. 249-265.

[Garlan92] David Garlan, Gail E. Kaiser, and David Notkin. Using Tools to Compose Systems. IEEE Computer, vol.25, no.6, June 1992.

[GarlanNotkin91] David Garlan and David Notkin. Formalizing Design Spaces: Implicit Invocation Mechanisms. VDM `91: Formal Software Development Methods, 1991, pp. 31-44.

[GarlanShaw93] David Garlan and Mary Shaw. An Introduction to Software Architecture. In V. Ambriola and G. Tiortora (ed), Advances in Software Engineering and Knowledge Engineering, World Scientific Publishing, 1993, pp.1-39.

[GarlanShaw94] David Garlan and Mary Shaw. Software Development Assignments for a Software ARchitecture Course. Proc ICSE-16 Workshop on Software Engineering Education, to appear 1994.

[Gomaa89] Hassan Gomaa. Structuring Criteria for Real Time System Design. Proc 11th International Conference on Software Engineering, 1989, pp.290-301.

[Higgins87] David A. Higgins. Specifying Real-Time/Embedded Systems using Feedback/Control Models. Proc SMC XII: Twelfth Structured Methods Conference, 1987, pp.127-147.

[HøydalsvikSindre93] Geir Magne Høydalsvik and Guttorm Sindre. On the Purpose of Object-Oriented Analysis. Proc OOPSLA'93, 1993, pp. 240-255.

[Jones90] Do-While Jones. Software Testing. Ada-Info column, Journal of Pascal, Ada, and Modula-2, vol 9, no 2, March-April 1990, pp.53-64.

[Kemmerer85] Oops, citation missing.

[Lozano90] Tomás Lozano-Pérez. Preface to Autonomous Robot Vehicles. L. J. Cox and G.T. Wilfong, eds. Springer Verlag, New York, NY, 1990.

[Lubars92] M. Lubars, G. Meredith, C. Potts, and C. Richter. Object-Oriented Analysis for Evolving Systems. Proceedings of ICSE, May 1992.

[Lumia90] R. Lumia, J. Fiala, and A. Wavering. The NASREM Robot Control System and Testbed. International Journal of Robotics and Automation, no.5, 1990, pp. 20-26.

[Parnas72] D. L. Parnas. On the Criteria To Be Used in Decomposing Systems into Modules. Communications of the ACM, vol.15, no.12, December 1972, pp. 1053-1058.

[PerryWolf92] Dewayne E. Perry and Alexander L. Wolf. Foundations for the Study of Software Architecture. ACM Sigsoft Software Engineering Notes, vol 7, no 4, October 1992, pp.40-52.

[Podnar84] Gregg Podnar, Kevin Dowling, and Mike Blackwell. A Functional Vehicle for Autonomous Mobile Robot Research. Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, 1984.

[Rumbaugh91] J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen, Object-Oriented Modeling and Design. Prentice Hall, 1991.

[Rumbaugh92] James Rumbaugh. Designing Bugs and Dueling Methodologies. Journal of Object-Oriented Programming, Jan 1992.

[Seshadri88] V. Seshadri et al. Semantic analysis in a concurrent compiler. Proc. ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, ACM SIGPLAN Notices 1988.

[Shafer86] Steven A. Shafer, Anthony Stentz, and Charles E. Thorpe. An Architecture for Sensor Fusion in a Mobile Robot. Proceedings of the IEEE International Conference on Robotics and Automation, San Francisco, CA, April 7-10, 1986, pp. 2002-2011.

[Shaw93] Mary Shaw. Software Architecture for Shared Information Systems. Technical Report CMU/SEI-93-TR-3, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 1993.

[Shaw94] Mary Shaw. Making Choices: A Comparison of Styles for Software Architectures. Unpublished manuscript.

[Shaw95] Mary Shaw. Beyond Objects: A Software Design Paradign Based on Process Control. ACM SIgsoft Software Engineering Notes, to appear January 1995.

[Simmons90] Reid Simmons. Concurrent Planning and Execution for a Walking Robot. Technical Report CMU-RI-90-16. Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, 1990.

[Simmons92] Reid Simmons. Concurrent Planning and Execution for Autonomous Robots. IEEE Control Systems, no. 1, 1992, pp.46-50.

[SmithGerhart88] Sharon L. Smith and Susan L. Gerhart. STATEMATE and Cruise Control: A Case2 Study. Proc COMPSAC88: Twelfth Annuan International Computer Software and Applications Conference, 1988, pp.49-56.

[vanLamsweerde92] Axel van Lamsweerde, R. Darimont and Philippe Massonet. The Meeting Scheduler System: Preliminary Definition. University of Louvain, Unit\'e d'informatique, B-1348 Louvain-la-Neuve (Belgium), October 1992.

[vanLamsweerde92] Axel van Lamsweerde, Charles Christoph, and Philippe Massonet. Extending the Meeting Scheduler System to Support Conflict Resolution. University of Louvain, Unit\'e d'informatique, B-1348 Louvain-la-Neuve (Belgium), November 1993.

[WangTanik89] Jianbai Wang and Murat M. Tanik. Describing Real Time Systems Using PPA and XYZ/E. Proc. 22nd Annual Hawaii International Conference on System Sciences, Vol II: Software Track, Jan 1989.

[WardKeskar87] Paul. T. Ward and Dinesh A. Keskar. A Comparison of the Ward/Mellor and Boeing/Hatley Real-Time Methods. Proc SMC XII: Twelfth Structured Methods Conference, 1987, pp.356-366.

[Wasserman89] Pircher, Robert J. Muller. An Object-Oriented Structured Design Method for Code Generation. ACM Sigsoft Software Engineering Notes vol 14, no 1, Jan 1989, pp.32-55.

[Ward84] P. Ward. Class exercise used at the Rocky Mountain Institute for Software Engineering, Aspen CO, 1984.

[Wing88] Jeannette Wing. A Study of 12 Specifications of the Library Problem. IEEE Software, July 1988, pp. 66-76.

[YinTanik91] W.P. Yin and M.M. Tanik. Reusability in the real-time use of Ada. International Journal of Computer Applications in Technology, vol 4, no 2, 1991, pp.71-78.

Updated Halloween 95 by Mary Shaw
Comments to maintainer