Volume 8, Number 1, March 1998
Best Papers from SEKE96
Volume 8, Number 2, June 1998
: Task Analysis and Design Plans in Formal Specification Design.
: A Formal Definition of FRSM and Applications.
, W. Amos Tiao
: A Formal Methodology for Analyzing Tradeoffs of Imprecise Requirements.
Volume 8, Number 3, September 1998
Workshop on Object-Oriented Real-Time Dependable Systems (WORDS '97)
: A Quality of Service Framework for Object-Oriented Architectures.
: The Role of Nonmonotonic Representations in Requirements Engineering.
Rui Gustavo Crespo
: Matching Single-Sort Algebraic Specifications for Software Reuse.
Volume 8, Number 4, December 1998
Best Papers from SEKE97
Ana María Moreno
: Results of the Application of a Linguistic Approach to Object-Oriented Analysis.
: ISF: A Visual Formalism for Specifying Interconnection Styles for Software Design.