ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 12

Volume 12, Number 1, January 2003

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/GhezziMRS03
- ask others
Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa: Editorial. 1-2
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/FeltyN03
- ask others
Amy P. Felty, Kedar S. Namjoshi: Feature specification and automated conflict detection. 3-27
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/NentwichEFE03
- ask others
Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein, Ernst Ellmer: Flexible consistency checking. 28-63
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/LopesWF03
- ask others
Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro: High-order architectural connectors. 64-104
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/X03
- ask others
Reviewers 2002. 105

Volume 12, Number 2, April 2003

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/Coen-PorisiniPRM03
- ask others
Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli: A formal approach for designing CORBA-based applications. 107-151
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/BrandKV03
- ask others
Mark van den Brand, Paul Klint, Jurgen J. Vinju: Term rewriting with traversal functions. 152-190
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/RobillardM03
- ask others
Martin P. Robillard, Gail C. Murphy: Static analysis to support the evolution of exception structure in object-oriented systems. 191-221
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/DuranteSV03
- ask others
Luca Durante, Riccardo Sisto, Adriano Valenzano: Automatic testing equivalence verification of spi calculus specifications. 222-284

Volume 12, Number 3, July 2003

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/CohenF03
- ask others
Yossi Cohen, Yishai A. Feldman: Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation. 285-316
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/ZambonelliJW03
- ask others
Franco Zambonelli, Nicholas R. Jennings, Michael Wooldridge: Developing multiagent systems: The Gaia methodology. 317-370

Volume 12, Number 4, October 2003

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/ChechikDEG03
- ask others
Marsha Chechik, Benet Devereux, Steve M. Easterbrook, Arie Gurfinkel: Multi-valued symbolic model-checking. 371-408
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/MillerS03
- ask others
Tim Miller, Paul A. Strooper: A framework and tool support for the systematic testing of model-based specifications. 409-439
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/FerrariGMP03
- ask others
Gian Luigi Ferrari, Stefania Gnesi, Ugo Montanari, Marco Pistore: A model-checking verification environment for mobile processes. 440-473