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

Formalizing style to understand descriptions of software architecture
Gregory D. Abowd, Robert Allen, David Garlan
Pages: 319-364
DOI: 10.1145/226241.226244
The software architecture of most systems is usually described informally and diagrammatically by means of boxes and lines. In order for these descriptions to be meaningful, the diagrams are understood by interpreting the boxes and lines in...

Structuring Z specifications with views
Daniel Jackson
Pages: 365-389
DOI: 10.1145/226241.226249
A view is a partial specification of a program, consisting of a state space and a set of operations. A full specification is obtained by composing several views, linking them through their states (by asserting invariants across views) and...