Technology Transition

• Technology Transition
  
• Workshops, Presentations, and Meetings
  
• Software Tools
  
• Refereed Papers
  
• Tutorial
  
• Book
  

Technology Transition

Made UniCon publicly available. UniCon is a language for describing the software architecture of a system, and its associated toolset analyzes such descriptions and builds applications from them. The UniCon toolset distribution is available on the Web at the following location: http://www.cs.cmu.edu/~UniCon. For more information, contact project members at UniCon-Distribution@cs.cmu.edu.

The Nitpick tool, the only tool available for completely automatic checking of relational specifications (that is, those in languages like Z and VDM that use relational data structures), was released in a beta version in January, 1996. Nitpick is pubicly available in executable form from the following Web site: http://www.cs.cmu.edu/~nitpick/. For more information, contact project members at nitpick@cs.cmu.edu.

Aesop (V2) was released to the public. This version includes support for ACME. For more information and to order this version, contact project members at aesop-help@cs.cmu.edu.

Mary Shaw and David Garlan authored and published the following text on software architecture. "Software Architecture: Perspectives on an Engineering Discipline," Prentice Hall, 1996.

David Garlan interacted with the Advanced Distributed Simulation Steering Committee to show the benefits of formal architectural modelling.

David Garlan and Mary Shaw presented a full-day tutorial for CMU School of Computer Science summer school, entitled "Architectures for Software Systems," June 1996.

Daniel Jackson presented a one-day summer school course on the use of the Nitpick tool in requirements analysis, June 1996.

Jeannette Wing presented a tutorial for CMU School of Computer Science summer school on formal methods, June 1996.

David Garlan worked with students and SEI researchers to develop a formal archtectural model for the SIMPLEX fault-tolerant, real-time architecture.

Workshops, Presentations, and Meetings

Daniel Jackson, Invited Talk, ONR Workshop on Automated Formal Methods, June 1996, Oxford, England, "Checking relational specifications."

Daniel Jackson, Invited Talk, IFIP Working Group 2.9 on Requirements Engineering, Eugene, OR, June 1996, "Automatic analysis of software requirements."

Mary Shaw, Keynote address, National Software Council Forum on Software Engineering Professionals, St. Louis, MO, June 1996.

Mary Shaw, Workshop On Component-Based Software Development, Redmond, WA, June 1996, "Software Architecture"

J.M. Wing, Invited Speaker, Mathematical Foundations of Programming, Boulder, CO, June 1996. "Mathematics for Software Engineering."

J.M. Wing, Co-chair, Formal Methods Working Group, ACM Workshop on Strategic Directions in Computing Research, MIT, Cambridge, MA, June 1996.

Daniel Jackson, Invited Talk, Quick start tutorial, 9th International Software Quality Week, San Francisco, CA, May 1996, Model checking of software.

Daniel Jackson, Invited Talk, 9th International Software Quality Week, San Francisco, CA, May 1996, "New technology for checking specifications."

Mary Shaw, Panelist, Tenth Anniversary Celebration of Computer Science and Telecommunications Board of the National Research Council, May 1996.

David Garlan, International Conference on Software Ruse (ICSR-4), April 1996.

David Garlan, International Workshop on Software Specification and Design (IWSSD-8), March 1996.

Mary Shaw, Eighth International Workshop on Software Specification and Design, Schloss Velen, Germany, March 1996, "Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does."

J.M. Wing, DARPA CAETI Meeting, University of Arlington, Texas, March 1996.

David Garlan, Coordination '96, February, 1996.

Daniel Jackson, Invited Talk, Department of Computer Science, Cornell University, Ithaca, NY, February 1996, "Nitpick: A Specification Checker."

Mary Shaw, Distinguished Lecturer, College of Computing, Georgia Institute of Technology, Atlanta, GA, January 1996. "Prospects for an Engineering Discipline of Software."

Mary Shaw, Georgia State University, Atlanta, GA, January 1996. "Abstractions for Software Architecture and Tools to Support Them."

David Garlan, Program Chair, SIGSOFT '96: The Fourth Symposium on Foundations of Software Engineering.

J.M. Wing, "A Behavioral Notion of Subtyping," United Nations University, Institute of Information Sciences and Technology, December 1995.

J.M. Wing, "Using Belief to Reason About Cache Coherence in Distributed Systems," United Nations University, Institute of Information Sciences and Technology, December 1995.

Mary Shaw, Pittsburgh SPIN, Pittsburgh, PA, November 1995. "Prospects for an Engineering Discipline of Software."

Mary Shaw, Women's Club of Sewickley Valley, Sewickley, PA, November 1995, "A Sightseeing Tour of the Information Superhighway."

David Garlan, Presented series of ten lectures on Software Architecture in Shanghai, China.

David Garlan, Chaired SIGSOFT '95 Panel: "Software Architecture."

David Garlan, Board Member, DMSO's Advanced Distributed Simulation High Level Architecture review board.

David Garlan, Represented ARPA Software Composition Program in a 20-minute presentation at the ISTO Fall 1995 meeting.

J.M. Wing, ACM SIGSOFT Foundations of Software Engineering, October 1995. "Model Checking Software Systems: A Case Study."

Mary Shaw, Keynote address, Pacific Northwest Software Quality Conference, Portland, OR, September 1995. "Prospects for an Engineering Discipline of Software."

Mary Shaw, Second Annual Conference on Pattern Languages for Programming, Monticello, IL, September 1995.

J.M. Wing, Invited Speaker for Education Day, ZUM '95, Z Users Group, Limerick, Ireland, September 1995. "Teaching Mathematics to Software Engineers."

J.M. Wing, Invited Speaker, ZUM '95, Z Users Group, Limerick, Ireland, September 1995. "Specifications and Their Use in Defining Subtypes."

J.M. Wing, ZUM '95, Education Day, Z Users Group, Limerick, Ireland, September 1995.

J.M. Wing, Invited Speaker, Fourth International Conference on Algebraic Methodolgy and Software Technology (AMAST '95), Montreal, Canada, July 1995. "Teaching Mathematics to Software Engineers."

Software Tools

Our Nitpick tool, the only tool available for completely automatic checking of relational specifications (that is, those in languages like Z and VDM that use relational data structures), was released in a beta version in January 1996.

Release of Aesop (V2). Includes support for ACME.

Refereed Papers

Checking Relational Specifications with Binary Decision Diagrams. Craig A. Damon, Daniel Jackson, and Somesh Jha. Proc. 4th ACM SIGSOFT COnf. on Foundations of Software Engineering, San Francisco, CA, October 1996.

Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. Daniel Jackson and Craig A. Damon. IEEE Transactions on Software Engineering, to appear (probably August 1996).

Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. Daniel Jackson. Proc International Symposium on Software Testing and Analysis, San Diego, CA, January 1996.

Faster Checking of Software Specifications. Daniel Jackson, Craig A. Damon and Somesh Jha. Proc. ACM Conf. on Principles of Programming Languages, St. Petersburg Beach, FL, January 1996.

Nitpick: A Checkable Specification Language. Daniel Jackson. Workshop on Formal Methods in Software Practice. San Diego, CA, January 1996.

Problem Decomposition for Reuse. Daniel Jackson and Michael Jackson. Software Engineering Journal, Vol 11, No 1, January 1996.

Structuring Z Specifications with Views. Daniel Jackson. ACM Transactions on Software Engineering and Methodology, Vol 4, No 4, October 1995. (appeared in January 1996)

Tutorial

David Garlan and Mary Shaw, "Architectures for Software Systems." Full-day tuorial for CMU School of Computer Science summer school, June 1996.

Book

Mary Shaw and David Garlan, Software Architecture: Perspectives on an Engineering Discipline." Prentice Hall, 1996.

Last modified: July 1996