


default search action
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 11
Volume 11, Number 1, January 2002
- Nenad Medvidovic, David S. Rosenblum, David F. Redmiles, Jason E. Robbins:

Modeling software architectures in the Unified Modeling Language. 2-57 - Tatsuhiro Tsuchiya

, Tohru Kikuno:
On fault classes and error detection capability of specification-based testing. 58-62 - Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman

:
An inheritance-based technique for building simulation proofs incrementally. 63-91 - Michael Schrefl

, Markus Stumptner:
Behavior-consistent specialization of object life cycles. 92-148
Volume 11, Number 2, April 2002
- Miguel Felder, Mauro Pezzè

:
A formal design notation for real-time systems. 149-190 - Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder:

Achieving extensibility through product-lines and domain-specific languages: a case study. 191-214 - Yannis Smaragdakis, Don S. Batory:

Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. 215-255 - Daniel Jackson:

Alloy: a lightweight object modelling notation. 256-290
Volume 11, Number 3, July 2002
- Alexander Perez-Pons

:
Temporal abstract classes and virtual temporal specifications for real-time systems. 291-308 - Audris Mockus

, Roy T. Fielding, James D. Herbsleb
:
Two case studies of open source software development: Apache and Mozilla. 309-346 - Donglin Liang, Mary Jean Harrold:

Equivalence analysis and its application in improving the efficiency of program slicing. 347-383
Volume 11, Number 4, October 2002
- Obituary. 385

- Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello:

Architecting families of software systems with process algebras. 386-426 - Robert M. Hierons

:
Comparing test sets and criteria in the presence of test hypotheses and fault domains. 427-448 - Alexander Egyed:

Automated abstraction of class diagrams. 449-491

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














