default search action

combined dblp search
author search
venue search
publication search

ask others

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

> 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 8, Number 1, January 1999

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Ostroff99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Ostroff99
Jonathan S. Ostroff:
Composition and Refinement of Discrte Real-Time Systems. 1-48
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/CheungK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/CheungK99
Shing-Chi Cheung, Jeff Kramer:
Checking Safety Properties Using Compositional Reachability Analysis. 49-78
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/CiapessoniMCMM99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/CiapessoniMCMM99
Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti:
From Formal Models to Formally Based Methods: An Industrial Experience. 79-113

Volume 8, Number 2, April 1999

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/McCannR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/McCannR99
Peter J. McCann, Gruia-Catalin Roman:
Modeling Mobile IP in Mobile UNITY. 115-146
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/CookW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/CookW99
Jonathan E. Cook, Alexander L. Wolf:
Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model. 147-176
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Devanbu99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Devanbu99
Premkumar T. Devanbu:
GENOA - A Customizable, Front-end-Retargetable Source Code Analysis Framework. 177-212

Volume 8, Number 3, July 1999

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/DamianiFB99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/DamianiFB99
Ernesto Damiani, Maria Grazia Fugini, Carlo Bellettini:
A Hierarchy-aware Approach to Faceted Classification of Objected-Oriented Components. 215-262
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/PodgurskiMMWY99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/PodgurskiMMWY99
Andy Podgurski, Wassim Masri, Yolanda McCleese, Francis G. Wolff, Charles Yang:
Estimation of Software Reliability by Stratified Sampling. 263-283
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Jezequel99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Jezequel99
Jean-Marc Jézéquel:
Reifying Variants in Configuration Management. 284-295

Volume 8, Number 4, October 1999

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Reiss99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Reiss99
Steven P. Reiss:
The Desert environment. 297-342
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/PohlWDHJK99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/PohlWDHJK99
Klaus Pohl, Klaus Weidenhaupt, Ralf Dömges, Peter Haumer, Matthias Jarke, Ralf Klamma:
PRIME - Toward process-integrated modeling environments: 1. 343-410
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Kuhn99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Kuhn99
D. Richard Kuhn:
Fault classes and error detection capability of specification-based testing. 411-424
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/DamianiFB99a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/DamianiFB99a
Ernesto Damiani, Maria Grazia Fugini, Carlo Bellettini:
Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components. 425-472

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.