Formal description techniques : proceedings of the First International Conference on Formal Description Techniques, Stirling, Scotland, 6-9 September, 1988
著者
書誌事項
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
大学図書館所蔵 全12件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
"Organised by University of Stirling, Scotland"--Half t.p.
Includes bibliographies
内容説明・目次
内容説明
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.
目次
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).
「Nielsen BookData」 より