Volume 24,
Number 1,
January 1998
Special Section on Formal Methods in Software Practice
- Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton:
Experiences Using Lightweight Formal Methods for Requirements Modeling.
4-14
Electronic Edition (link) BibTeX
- Martin Neil, Gary Ostrolenk, Mary Tobin, Mark Southworth:
Lessons from Using Z to Specify a Software Tool.
15-23
Electronic Edition (link) BibTeX
- Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba:
SOFL: A Formal Engineering Methodology for Industrial Applications.
24-45
Electronic Edition (link) BibTeX
- Boutheina Chetali:
Formal Verification of Concurrent Programs Using the Larch Prover.
46-62
Electronic Edition (link) BibTeX
- Anish Arora, Sandeep S. Kulkarni:
Component Based Design of Multitolerant Systems.
63-78
Electronic Edition (link) BibTeX
Regular Papers
Volume 24,
Number 2,
February 1998
Volume 24,
Number 3,
March 1998
Volume 24,
Number 4,
April 1998
Volume 24,
Number 5,
May 1998
Special Issue:
Mobility and Network-Aware Computing
- Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese:
KLAIM: A Kernel Language for Agents Interaction and Mobility.
315-330
Electronic Edition (link) BibTeX
- Michel Wermelinger, José Luiz Fiadeiro:
Connectors for Mobile Programs.
331-341
Electronic Edition (link) BibTeX
- Alfonso Fuggetta, Gian Pietro Picco, Giovanni Vigna:
Understanding Code Mobility.
342-361
Electronic Edition (link) BibTeX
- Paolo Ciancarini, Robert Tolksdorf, Fabio Vitali, Davide Rossi, Andreas Knoche:
Coordinating Multiagent Aplications on the WWW: A Reference Architecture.
362-375
Electronic Edition (link) BibTeX
- Jürg Bolliger, Thomas R. Gross:
A Framework-Based Approach to the Development of Network-Aware Applications.
376-390
Electronic Edition (IEEE Computer Society DL) BibTeX
- Girish Welling, B. R. Badrinath:
An Architecture for Exporting Environment Awareness to Mobile Computing Applications.
391-400
Electronic Edition (link) BibTeX
Volume 24,
Number 6,
June 1998
Volume 24,
Number 7,
July 1998
Special Section:
Symposium on Foundations in Software Engineering (FSE-4)
- William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Modugno, David Notkin, Jon Damon Reese:
Model Checking Large Software Specifications.
498-520
Electronic Edition (link) BibTeX
- Daniel Le Métayer:
Describing Software Architecture Styles Using Graph Grammars.
521-533
Electronic Edition (link) BibTeX
- William G. Griswold, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, J. David Morgenthaler:
Tool Support for Planning the Restructuring of Data Abstractions in Large Systems.
534-558
Electronic Edition (link) BibTeX
Regular Papers
Volume 24,
Number 8,
August 1998
Special Section:
International Conference on Software Engineering (ICSE '97)
Regular Papers
- Shyam R. Chidamber, David P. Darcy, Chris F. Kemerer:
Managerial Use of Metrics for Object-Oriented Software: An Exploratory Analysis.
629-639
Electronic Edition (link) BibTeX
- Tom L. Roberts Jr., Michael L. Gibson, R. Kelly Rainer Jr., Kent T. Fields:
Factors that Impact Implementing a System Development Methodology.
640-649
Electronic Edition (link) BibTeX
- Jonathan E. Cook, Lawrence G. Votta, Alexander L. Wolf:
Cost-Effective Analysis of In-Place Software Processes.
650-663
Electronic Edition (link) BibTeX
- Michel Hurfin, Masaaki Mizuno, Michel Raynal, Mukesh Singhal:
Efficient Distributed Detection of Conjunctions of Local Predicates.
664-677
Electronic Edition (link) BibTeX
Volume 24,
Number 9,
September 1998
Special Section:
Sixth European Software Engineering Conference and Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '97)
Regular Papers
Volume 24,
Number 10,
October 1998
Special Section Managing Feature Interactions in Telecommunications Software Systems
Regular Papers
Volume 24,
Number 11,
November 1998
Special Section Managing Inconsistency in Software Development
Regular Papers
Volume 24,
Number 12,
December 1998
Scenario Management
- Peter Haumer, Klaus Pohl, Klaus Weidenhaupt:
Requirements Elicitation and Validation with Real World Scenes.
1036-1054
Electronic Edition (link) BibTeX
- Colette Rolland, Carine Souveyet, Camille Ben Achour:
Guiding Goal Modeling Using Scenarios.
1055-1071
Electronic Edition (link) BibTeX
- Alistair G. Sutcliffe, Neil A. M. Maiden, Shailey Minocha, Darrel Manuel:
Supporting Scenario-Based Requirements Engineering.
1072-1088
Electronic Edition (link) BibTeX
- Axel van Lamsweerde, Laurent Willemet:
Inferring Declarative Requirements Specifications from Operational Scenarios.
1089-1114
Electronic Edition (link) BibTeX
- Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon:
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering.
1115-1130
Electronic Edition (link) BibTeX
- Raymond J. A. Buhr:
Use Case Maps as Architectural Entities for Complex Systems.
1131-1155
Electronic Edition (link) BibTeX
- John M. Carroll, Mary Beth Rosson, George Chin Jr., Jürgen Koenemann:
Requirements Development in Scenario-Based Design.
1156-1170
Electronic Edition (link) BibTeX
- Oliver Stiemerling, Armin B. Cremers:
The Use of Cooperation Scenarios in the Design and Evaluation of a CSCW System.
1171-1181
Electronic Edition (link) BibTeX
- Wolfgang Dzida, Regine Freitag:
Making Use of Scenarios for Validating Analysis and Design.
1182-1196
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:30:43 2009
by Michael Ley (ley@uni-trier.de)
