enter search term and/or author name
A formal design notation for real-time systems
Mauro Pezzè, Miguel Felder
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
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
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
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...