The Community for Technology Leaders
Software Specification and Design, International Workshop on (1998)
Ise-Shima (Isobe), Japan
Apr. 16, 1998 to Apr. 18, 1998
ISSN: 1063-6765
ISBN: 0-8186-8439-9
TABLE OF CONTENTS

Foreword (PDF)

pp. vii
Full Papers

Towards a Software Engineering Approach to Web Site Development (Abstract)

Francesco Coda , Politecnico di Milano
Carlo Ghezzi , Politecnico di Milano
Giovanni Vigna , Politecnico di Milano
Franca Garzotto , Politecnico di Milano
pp. 8

Safety through Security (Abstract)

Andrew Simpson , Oxford University
Jim Woodcock , Oxford University
Jim Davies , Oxford University
pp. 18

From Early to Late Formal Requirements: A Process-Control Case Study (Abstract)

Eric Dubois , University of Namur
Michael Petit , University of Namur
Eric Yu , University of Toronto
pp. 34

V & V through Inconsistency Tracking and Analysis (Abstract)

Steve Easterbrook , NASA/WVU Software Research Lab
John Callahan , NASA/WVU Software Research Lab
Virginie Wiels , NASA/WVU Software Research Lab
pp. 43

Reconciling System Requirements and Runtime Behavior (Abstract)

M.S. Feather , Computing Services Support Solutions
S. Fickas , University of Oregon
A. Van Lamsweerde , Universite Catholique de Louvain
C. Ponsard , Universite Catholique de Louvain
pp. 50

Putting non-functional requirements into software architecture (Abstract)

Xavier Franch , Universitat Polit?cnica de Catalunya
Pere Botella , Universitat Polit?cnica de Catalunya
pp. 60

Business Rules as Organizational Policies (Abstract)

J.C.S. do Prado Leite , Departamento de Informatica, PUC-Rio, Brasil
Maria Carmen Leonardi , ISISTAN-UNCPBA & CIC-Bs.As.
pp. 68

A Coordination Model to Specify Systems Including Mobile Agents (Abstract)

P. Ciancarini , University of Bologna
F. Franze` , University of Bologna
C. Mascolo , University of Bologna
pp. 96

DESCARTES: An Automatic Programming System for Algorithmically Simple Programs (Abstract)

Bruno Ginoux , Electricit? de France
Jean-Luc Dormoy , Electricit? de France
Claudia Jimenez-Dominguez , Electricit? de France
Jean-Yves Lucas , Electricit? de France
Laurent Pierre , Electricit? de France
pp. 106

Incremental Software Development Method Based on Abstract Interpretation (Abstract)

N. Yoshioka , Japan Advanced Institute of Science and Technology
M. Suzuki , Japan Advanced Institute of Science and Technology
T. Katayama , Japan Advanced Institute of Science and Technology
pp. 126
Position Papers

Software Architecture Directed Behaviour Analysis (Abstract)

Jeff Magee , Imperial College of Science, Technology and Medicine
Jeff Kramer , Imperial College of Science, Technology and Medicine
Dimitra Giannakopoulou , Imperial College of Science, Technology and Medicine
pp. 144

The Safety Requirements Engineering Dilemma (Abstract)

Daniel M. Berry , Technion--Israel Institute of Technology
pp. 147

Modal Logic as a Design Notation (Abstract)

Carlos Areces , Universidad de Buenos Aires
Miguel Felder , Universidad de Buenos Aires
Dan Hirsch , Universidad de Buenos Aires
Daniel Yankelevich , Universidad de Buenos Aires
pp. 150

Enhancing Design Methods to Support Real Design Processes (Abstract)

Barbara Staudt Lerner , University of Massachusetts
Stanley M. Sutton Jr , University of Massachusetts
Leon J. Osterweil , University of Massachusetts
pp. 159

Feature Engineering (Abstract)

C. Reid Turner , University of Colorado
Alexander L. Wolf , University of Colorado
Alfonso Fuggetta , Politecnico di Milano
Luigi Lavazza , Politecnico di Milano
pp. 162

Author Index (PDF)

pp. 165
92 ms
(Ver 3.3 (11022016))