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 2, April 1999

Modeling mobile IP in mobile UNITY
Peter J. McCann, Gruia-Catalin Roman
Pages: 115-146
DOI: 10.1145/304399.304400
With recent advances in wireless communication technology, mobile computing is an increasingly important area of research. A mobile system is one where independently executing components may migrate through some space during the course of the...

Software process validation: quantitatively measuring the correspondence of a process to a model
Jonathan E. Cook, Alexander L. Wolf
Pages: 147-176
DOI: 10.1145/304399.304401
To a great extent, the usefulness of a formal model of a software process lies in its ability to accurately predict the behavior of the executing process. Similarly, the usefulness of an executing process lies largely in its ability to fulfill...

GENOA—a customizable, front-end-retargetable source code analysis framework
Premkumar T. Devanbu
Pages: 177-212
DOI: 10.1145/304399.304402
Code analysis tools provide support for such software engineering tasks as program understanding, software metrics, testing, and reengineering. In this article we describe GENOA, the framework underlying application generators...