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 3 Issue 4, Oct. 1994

Formal specification and design of a message router
Christian Creveuil, Gruia-Catalin Roman
Pages: 271-307
DOI: 10.1145/201024.201026
Formal derivation refers to a family of design techniques that entail the development of programs which are guaranteed to be correct by construction. Only limited industrial use of such techniques (e.g., UNITY-style specification refinement) has...

Validating real-time systems by history-checking TRIO specifications
Miguel Felder, Angelo Morzenti
Pages: 308-339
DOI: 10.1145/201024.201034
We emphasize the importance of formal executable specifications in the development of real-time systems, as a means to assess the adequacy of the requirements before a costly development process takes place. TRIO is a first-order temporal logic...

Application and experimental evaluation of state space reduction methods for deadlock analysis in Ada
S. Duri, U. Buy, R. Devarapalli, S. M. Shatz
Pages: 340-380
DOI: 10.1145/201024.201038
An emerging challenge for software engineering is the development of the methods and tools to aid design and analysis of concurrent and distributed software. Over the past few years, a number of analysis methods that focus on Ada tasking have...