Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 2 Issue 1, Jan. 1993

Functional specification of time-sensitive communicating systems
Manfred Broy
Pages: 1-46
DOI: 10.1145/151299.151302
A formal model and a logical framework for the functional specification of time-sensitive communicating systems and their interacting components are outlined. The specification method is modular with respect to sequential composition, parallel...

Parallel and distributed incremental attribute evaluation algorithms for multiuser software development environments
Gail E. Kaiser, Simon M. Kaplan
Pages: 47-92
DOI: 10.1145/151299.151312
The problem of change propagation in multiuser software development environments distributed across a local-area network is addressed. The program is modeled as an attributed parse tree segmented among multiple user processes...

Markov analysis of software specifications
James A. Whittaker, J. H. Poore
Pages: 93-106
DOI: 10.1145/151299.151326
A procedure for modeling software usage with the finite state, discrete parameter Markov chain is described. It involves rigorous analysis of the specification before design and coding begin. Many benefits emerge from this process, including the...