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)

Giovanni Vigna , Politecnico di Milano
Franca Garzotto , Politecnico di Milano
Carlo Ghezzi , Politecnico di Milano
Francesco Coda , 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
Eric Yu , University of Toronto
Michael Petit , University of Namur
pp. 34

V & V through Inconsistency Tracking and Analysis (Abstract)

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

Reconciling System Requirements and Runtime Behavior (Abstract)

C. Ponsard , Universite Catholique de Louvain
A. Van Lamsweerde , Universite Catholique de Louvain
M.S. Feather , Computing Services Support Solutions
S. Fickas , University of Oregon
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)

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

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

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

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

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

Incremental Software Development Method Based on Abstract Interpretation (Abstract)

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

Software Architecture Directed Behaviour Analysis (Abstract)

Dimitra Giannakopoulou , Imperial College of Science, Technology and Medicine
Jeff Kramer , Imperial College of Science, Technology and Medicine
Jeff Magee , 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)

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

Enhancing Design Methods to Support Real Design Processes (Abstract)

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

Feature Engineering (Abstract)

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

Author Index (PDF)

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