|
|
- RESEARCH
- 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 EDUCATION
- 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).
- B.Sw.Eng@UWaterloo
- 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.
|
|
