Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September, 1988
Author(s)
Bibliographic Information
Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September, 1988
North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub., 1989
Available at 12 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
C-P||Stirling||1988.988071610
Note
"Organised by University of Stirling, Scotland"--Half t.p.
Includes bibliographies
Description and Table of Contents
Description
This book is the result of the first international conference devoted exclusively to the Formal Description Techniques Estelle , LOTOS , and SDL . Its publication coincides with the standardisation by ISO and CCITT of these formal specification languages. Although conceived for formally specifying and designing data communications systems, the Formal Description Techniques (FDTs) are general-purpose languages for describing distributed, concurrent, or sequential systems. The FORTE 88 Conference focussed on creating awareness and understanding of FDTs. The sessions addressed FDT topics related to software tools, object-oriented design, language issues arising from practical use, theoretical aspects of analysis, experience in writing formal descriptions, and practical aspects of analysis.
Table of Contents
Software Tools - Papers. An Approach to Providing Support Tools for Formal Specification (J.J. Masterson, K.P. Ishaq, A.T. Hockley). ESTIM - The Estelle Simulator Prototype of the Esprit SEDOS Project (P. de Saqui-Sannes, J.-P. Courtiat). A LOTOS to PARLOG Translator (D.R. Gilbert). Transforming LOTOS Specifications with LOLA - The Parameterized Expansion (J. Quemada, S. Pavon, A. Fernandez). Software Tools - Demonstrations. SDT - The SDL Design Tool (M. Atlevi). LOTTE - A LOTOS Tool Environment (W.H.P. van Hulzen). SPIDER - Service and Protocol Interactive Development Environment (S.G. Johnston). A LISP-Based LOTOS Environment (G. Karjoth). From LOTOS to C (J.A. Ma#as, T. de Miguel-More). EWS - An Integrated Workstation for the Design and the Automatic Generation of Distributed Software (J.-M. Ayache et al.). Object-Oriented Design with FDTs. An Object-Oriented Model for Estelle (R. Sijelmassi, P. Gaudette). Specification of Object-Oriented Systems in LOTOS (T. Mayr). An Object-Oriented Model for ASN.1 (P. Gaudette, S. Trus, S. Collins). Language Issues Arising From Practical Use. Modelling OSI in SDL (F. Belina, D. Hogrefe, S. Trigila). Graphical Views of Process-Orientated Specifications (D.W. Bustard et al.). Non-Determinism and SDL (D. Hogrefe, A. Sarma). Theoretical Aspects of Analysis. The Boyer-Moore Theorem-Prover and LOTOS (S.S. Aujla, M. Fletcher). Using Estelle for Verification - An Experience with the T.70 Teletex Transport Protocol (M. Phalippou, R. Groz). Squiggles - A Tool for the Analysis of LOTOS Specifications (T. Bolognesi, M. Caneve). Transformation from LOTOS Specifications to Galileo Nets (S.M. Rodriguez, G.L. Serrano). Experience in Writing Formal Descriptions. Specifying ROSE in LOTOS (D. Freestone, S.S. Aujla). On the Use of LOTOS for the Formal Description of a Transport Protocol (J. van de Lagemaat, G. Scollo). The Application of LOTOS for the Formal Description of the ISO Session Layer (M. van Sinderen, I. Ajubi, F. Caneschi). LOTOS-Supported System Development (K. Bogaards). Practical Aspects of Analysis. Application of Formal Description Techniques to Conformance Evaluation (J.-P. Favreau, R.J. Linn, P. Gaudette). Derivation of Useful Execution Trees from LOTOS by Using an Interpreter (R. Guillemot, L. Logrippo). SDS - A LOTOS-Based Tool for Symbolic Debugging (F. Costa, D. Nardi, R. Rinaldi). Validation of the Ferry-Clip Local Testing System Using an Estelle-C Compiler (S.T. Vuong, W.Y.L. Chan).
by "Nielsen BookData"