Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 11 Issue 2, April 2002

A formal design notation for real-time systems
Mauro Pezzè, Miguel Felder
Pages: 149-190
DOI: 10.1145/505145.505146
The development of real-time systems is based on a variety of different methods and notations. Despite the purported benefits of formal methods, informal techniques still play a predominant role in current industrial practice. Formal and informal...

Achieving extensibility through product-lines and domain-specific languages: a case study
Bob MacDonald, Clay Johnson, Dale von Heeder, Don Batory
Pages: 191-214
DOI: 10.1145/505145.505147
This is a case study in the use of product-line architectures (PLAs) and domain-specific languages (DSLs) to design an extensible command-and-control simulator for Army fire support. The reusable components of our PLA are layers or...

Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs
Yannis Smaragdakis, Don Batory
Pages: 215-255
DOI: 10.1145/505145.505148
A "refinement" is a functionality addition to a software project that can affect multiple dispersed implementation entities (functions, classes, etc.). In this paper, we examine large-scale refinements in terms of a fundamental object-oriented...

Alloy: a lightweight object modelling notation
Daniel Jackson
Pages: 256-290
DOI: 10.1145/505145.505149
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful enough to express complex constraints and yet amenable to a fully...