Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 21 Issue 2, March 2012

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

A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes
Jehad Al Dallal, Lionel C. Briand
Article No.: 8
DOI: 10.1145/2089116.2089118

The building of highly cohesive classes is an important objective in object-oriented design. Class cohesion refers to the relatedness of the class members, and it indicates one important aspect of the class design quality. A meaningful class...

Weak Alphabet Merging of Partial Behavior Models
Dario Fischbein, Nicolas D’Ippolito, Greg Brunet, Marsha Chechik, Sebastian Uchitel
Article No.: 9
DOI: 10.1145/2089116.2089119

Constructing comprehensive operational models of intended system behavior is a complex and costly task, which can be mitigated by the construction of partial behavior models, providing early feedback and subsequently elaborating them iteratively....

An Approach for Modeling Architectural Design Rules in UML and its Application to Embedded Software
Anders Mattsson, Brian Fitzgerald, Björn Lundell, Brian Lings
Article No.: 10
DOI: 10.1145/2089116.2089120

Current techniques for modeling software architecture do not provide sufficient support for modeling architectural design rules. This is a problem in the context of model-driven development in which it is assumed that major design artifacts are...

A Generative Programming Framework for Context-Aware CSCW Applications
Devdatta Kulkarni, Tanvir Ahmed, Anand Tripathi
Article No.: 11
DOI: 10.1145/2089116.2089121

We present a programming framework based on the paradigm of generative application development for building context-aware collaborative applications. In this approach, context-aware applications are implemented using a domain-specific design...

Symbolic Message Sequence Charts
Abhik Roychoudhury, Ankit Goel, Bikram Sengupta
Article No.: 12
DOI: 10.1145/2089116.2089122

Message sequence charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an interaction snippet between concrete objects in the system....

Verification and Validation of UML Conceptual Schemas with OCL Constraints
Anna Queralt, Ernest Teniente
Article No.: 13
DOI: 10.1145/2089116.2089123

To ensure the quality of an information system, it is essential that the conceptual schema that represents the knowledge about its domain is semantically correct. The semantic correctness of a conceptual schema can be seen from two different...