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 2 Issue 4, Oct. 1993

A visual execution model for Ada tasking
Laura K. Dillon
Pages: 311-345
DOI: 10.1145/158431.158432
A visual execution model for Ada tasking can help programmers attain a deeper understanding of the tasking semantics. It can illustrate subtleties in semantic definitions that are not apparent in natural language design. We describe a contour...

Distributed real-time system specification and verification in APTL
Farn Wang, Aloysius K. Mok, E. Allen Emerson
Pages: 346-378
DOI: 10.1145/158431.158434
In this article, we propose a language, Asynchronous Propositional Temporal Logic (APTL), for the specification and verification of distributed hard real-time sytems. APTL extends the logic TPTL by dealing explicitly with multiple local clocks....

Conjunction as composition
Pamela Zave, Michael Jackson
Pages: 379-411
DOI: 10.1145/158431.158438
Partial specifications written in many different specification languages can be composed if they are all given semantics in the same domain, or alternatively, all translated into a common style of predicate logic. The common semantic domain must...