Volume 24, Number 1, January 1998
Special Section on Formal Methods in Software Practice
: Formal Verification of Concurrent Programs Using the Larch Prover.
Volume 24, Number 2, February 1998
Volume 24, Number 3, March 1998
: Design of Flexible Static Program Analyzers with PQL.
Volume 24, Number 4, April 1998
Volume 24, Number 5, May 1998
Mobility and Network-Aware Computing
Volume 24, Number 6, June 1998
Volume 24, Number 7, July 1998
Symposium on Foundations in Software Engineering (FSE-4)
Daniel Le Métayer
: Describing Software Architecture Styles Using Graph Grammars.
Volume 24, Number 8, August 1998
International Conference on Software Engineering (ICSE '97)
Volume 24, Number 9, September 1998
Sixth European Software Engineering Conference and Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '97)
Volume 24, Number 10, October 1998
Special Section Managing Feature Interactions in Telecommunications Software Systems
Dirk O. Keck
, Paul J. Kühn
: The Feature and Service Interaction Problem in Telecommunications Systems. A Survey.
Volume 24, Number 11, November 1998
Special Section Managing Inconsistency in Software Development
: Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach.
Volume 24, Number 12, December 1998
Raymond J. A. Buhr
: Use Case Maps as Architectural Entities for Complex Systems.