ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 8 Issue 1, Jan. 1999

Composition and refinement of discrete real-time systems
Jonathan S. Ostroff
Pages: 1-48
DOI: 10.1145/295558.295560
Reactive systems exhibit ongoing, possibly nonterminating, interaction with the environment. Real-time systems are reactive systems that must satisfy quantitative timing constraints. This paper presents a structured compositional design method...

Checking safety properties using compositional reachability analysis
Shing Chi Cheung, Jeff Kramer
Pages: 49-78
DOI: 10.1145/295558.295570
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional reachability analysis (CRA) is a promising state...

From formal models to formally based methods: an industrial experience
Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti
Pages: 79-113
DOI: 10.1145/295558.295566
We address the problem of increasing the impact of formal methods in the practice of industrial computer applications. We summarize the reasons why formal methods so far did not gain widespead use within the industrial environment despite...