default search action

combined dblp search
author search
venue search
publication search

ask others

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

> Home > Journals > ACM Transactions on Software Engineering and Methodology (TOSEM)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 12, Number 1, January 2003

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

Volume 12, Number 2, April 2003

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

Volume 12, Number 3, July 2003

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/CohenF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/CohenF03
Yossi Cohen, Yishai A. Feldman:
Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation. 285-316
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ZambonelliJW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ZambonelliJW03
Franco Zambonelli, Nicholas R. Jennings, Michael J. Wooldridge:
Developing multiagent systems: The Gaia methodology. 317-370

Volume 12, Number 4, October 2003

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

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.