Understanding and Comparing Model-Based Specification Notations
IEEE International Requirements Engineering Conference, September 2003

Presents applications of our template-semantics framework to express the semantics of behavioural specification notations as parameters of generic (template) semantics definitions. Demonstrates how the semantics of varied and sophisticated specification notations, like SCR, SDL, and Petri Nets, can be expressed as parameter values of the same template-semantics definitions. It also shows how variants of statecharts notations can be compared formally by expressing the notations' semantics as template-semantics parameters and comparing the parameters' values.

Template Semantics for Model-Based Notations
Software Engineering Seminar, Universitat Paderborn, April 2003

Provides an overview of template semantics - a method for expressing the semantics of a notation as a set of parameters.  The template definitions capture common semantics (e.g., the notion of enabled transitions), and user-provided parameters capture notation-specific semantics (e.g., which events trigger transitions).  Also previews Metro - a tool for generating notation-specific analyzers from a notation's template semantics.

Run-Time Conflict Resolution for Personal Features
IFIP Working Group 2.9 Workshop, Duck Key, February 2002

Summaries our work on detecting and resolving feature interactions at run-time. Presents a language for specifying features' intended behaviour, a coordination model for managing features' executions and resolving interactions, and an off-line analyzer for evaluating resolution strategies.

Parnas Tables: A Practical Formalism
David L. Parnas Symposium, ICSE 2001

Reviews the work on Parnas Tables for documenting and reasoning about tabular specifications. Motivates functional and relational specifications of software behaviour, presents different views of tabular representations, and summarizes industrial uses of Parnas Tables.

Policies, Features, and Their Interactions
CITO Technology Transfer Workshop, April 2001

Provides a gentle introduction to the problem of feature interactions, how the problem also affects policy-based systems, and a coordination model for resolving such interactions at run-time.

Composing Features and Resolving Interactions
Software Engineering Seminar, University of Toronto, April 2000

Provides a formal semantics of composition operators that apply conflict resolution. Resolves simultaneous writes to shared variables and constraint violations. The paper is a more thorough presentation of these ideas.

Model Checking Large Software Specifications
Software Engineering Seminar
University of California, Santa Barbara, November 1999

Presents a collection of abstraction techniques for structuring SCR specifications to facilitate model checking. Shows case studies of model checking A7 specification and a Rockwell flight guidance control system.


Software Engineering Profession and Discipline
KW Software Quality Assurance Conference

Extends and updates David Notkin's CRA Snowbird presentation on Software Engineering Licensing and Certification, and discusses the issues from a Canadian perspective.

Implementing a Joint Software Engineering Program
Canadian Conference on Computer Engineering Education, May 2001

Summarizes University of Waterloo's experiences and decisions in designing and approving a software engineering degree program jointly sponsored by the Faculty of Engineering (housing Electrical and Computer Engineering) and the Faculty of Mathematics (housing Computer Science).

Canadian Conference on Computer Engineering Education, June 1999
R. Seviora and M. Godfrey

Presents an overview of and motivation for the curriculum for the new Bachelor of Software Engineering program at the University of Waterloo.
© 2002 J.M. Atlee

Updated: 4.21.02...