Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 19 Issue 3, January 2010

David Notkin
Article No.: 7
DOI: 10.1145/1656250.1656251

Synthesizing hierarchical state machines from expressive scenario descriptions
Jon Whittle, Praveen K. Jayaraman
Article No.: 8
DOI: 10.1145/1656250.1656252

There are many examples in the literature of algorithms for synthesizing state machines from scenario-based models. The motivation for these is to automate the transition from scenario-based requirements to early behavioral design models. To date,...

Partial constraint checking for context consistency in pervasive computing
Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye
Article No.: 9
DOI: 10.1145/1656250.1656253

Pervasive computing environments typically change frequently in terms of available resources and their properties. Applications in pervasive computing use contexts to capture these changes and adapt their behaviors accordingly. However, contexts...

Design and implementation of Sator: A web service aggregator
Antonio Brogi, Razvan Popescu, Matteo Tanca
Article No.: 10
DOI: 10.1145/1656250.1656254

Our long-term objective is to develop a general methodology for deploying (Web) service aggregation and adaptation middleware, capable of suitably overcoming syntactic and behavioral mismatches in view of application integration within and across...