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
  Electronic Edition (ACM DL) BibTeX
• Tatsuhiro Tsuchiya, Tohru Kikuno:
  On fault classes and error detection capability of specification-based testing. 58-62
  Electronic Edition (ACM DL) BibTeX
• Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman:
  An inheritance-based technique for building simulation proofs incrementally. 63-91
  Electronic Edition (ACM DL) BibTeX
• Michael Schrefl, Markus Stumptner:
  Behavior-consistent specialization of object life cycles. 92-148
  Electronic Edition (ACM DL) BibTeX

Volume 11, Number 2, April 2002

• Miguel Felder, Mauro Pezzè:
  A formal design notation for real-time systems. 149-190
  Electronic Edition (ACM DL) BibTeX
• Don S. Batory, Clay Johnson, Bob MacDonald, Dale von Heeder:
  Achieving extensibility through product-lines and domain-specific languages: a case study. 191-214
  Electronic Edition (ACM DL) BibTeX
• Yannis Smaragdakis, Don S. Batory:
  Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. 215-255
  Electronic Edition (ACM DL) BibTeX
• Daniel Jackson:
  Alloy: a lightweight object modelling notation. 256-290
  Electronic Edition (ACM DL) BibTeX

Volume 11, Number 3, July 2002

• Alexander P. Pons:
  Temporal abstract classes and virtual temporal specifications for real-time systems. 291-308
  Electronic Edition (ACM DL) BibTeX
• Audris Mockus, Roy T. Fielding, James D. Herbsleb:
  Two case studies of open source software development: Apache and Mozilla. 309-346
  Electronic Edition (ACM DL) BibTeX
• Donglin Liang, Mary Jean Harrold:
  Equivalence analysis and its application in improving the efficiency of program slicing. 347-383
  Electronic Edition (ACM DL) BibTeX

Volume 11, Number 4, October 2002

• Obituary. 385
  Electronic Edition (ACM DL) BibTeX
• Marco Bernardo, Paolo Ciancarini, Lorenzo Donatiello:
  Architecting families of software systems with process algebras. 386-426
  Electronic Edition (ACM DL) BibTeX
• Robert M. Hierons:
  Comparing test sets and criteria in the presence of test hypotheses and fault domains. 427-448
  Electronic Edition (ACM DL) BibTeX
• Alexander Egyed:
  Automated abstraction of class diagrams. 449-491
  Electronic Edition (ACM DL) BibTeX