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 6 Issue 3, July 1997

A formal basis for architectural connection
Robert Allen, David Garlan
Pages: 213-249
DOI: 10.1145/258077.258078
As software systems become more complex, the overall system structure—or software architecture—becomes a central design problem. An important step toward an engineering discipline of software is a formal basis for describing and...

Mobile UNITY: reasoning and specification in mobile computing
Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun
Pages: 250-282
DOI: 10.1145/258077.258079
Mobile computing represents a major point of departure from the traditional distributed-computing paradigm. The potentially very large number of independent computing units, a decoupled computing style, frequent disconnections, continuous...

Assessing process-centered software engineering environments
Vincenzo Ambriola, Reidar Conradi, Alfonso Fuggetta
Pages: 283-328
DOI: 10.1145/258077.258080
Process-centered software engineering environments (PSEEs) are the most recent generation of environments supporting software development activities. They exploit an representation of the process (called the process model that...

Comments on “a reduced test suite for protocol conformance testing”
Alexandre Petrenko
Pages: 329-331
DOI: 10.1145/258077.265733
A previousACM TOSEM article of Ph. Bernhard (“A Reduced Test Suite of Protocol Conformance Testing,” ACM Transactions on Software Engineering and Methodology, Vol. 3, No. 3, July 1994, pages 201-220)...