Research Catalog

Formal description techniques, VIII : proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995

Title
Formal description techniques, VIII : proceedings of IFIP TC 6 Eighth International Conference on Formal Description Techniques, Montreal, Canada, October 1995 / edited by Gregor V. Bochmann, Rachida Dssouli, and Omar Rafiq.
Author
FORTE Conference (8th : 1995 : Montréal, Québec)
Publication
London ; New York : Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), [1996], ©1996.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextRequest in advance QA76.6 .I185 1995Off-site

Holdings

Details

Additional Authors
  • Bochmann, Gregor von, 1941-
  • Dssouli, R. (Rachida)
  • Rafiq, Omar, 1947-
  • International Federation for Information Processing.
  • International Federation for Information Processing. Technical Committee 6.
  • IFIP Working Group 6.1.
Description
xiv, 452 pages : illustrations; 24 cm
Alternative Title
  • Formal description techniques, 8
  • Formal description techniques, eight
Subject
  • Computer programming > Congresses
  • Formal languages > Congresses
  • Langages formels > Congrès
  • Protocoles de réseaux d'ordinateurs > Congrès
Note
  • "The FORTE conferences ... are sponsored by IFIP WG 6.1"--Pref.
Bibliography (note)
  • Includes bibliographical references and index.
Contents
  • Conference Organizers, Program Committee and Organization Committee -- Specification and verification of timed systems / J. Sifakis -- Stabilizing client/server protocols without the tears / M. G. Gouda -- Distributed system specification in VDM[superscript ++] / K. Lano -- OMT*, bridging the gap between analysis and design / V. Jonckers, K. Verschaeve, B. Wydaeghe, L. Cuypers and J. Heirbaut -- Formal support for design techniques: a timethreads-LOTOS approach / D. Amyot, E. Bordeleau, R. J. A. Buhr and L. Logrippo -- Using PO methods for verifying behavioural equivalences / M. Lara de Souza and R. de Simone -- Formal verification of a protocol for communications over faulty channels / B. Chetali and P. Lescanne -- Specifying properties of basic LOTOS processes using temporal logic / C. Kirkwood -- A reachability analysis of RT-LOTOS specifications / J.-P. Courtiat and R. C. de Oliveira -- Towards a mobile LOTOS / E. Najm, J.-B. Stefani and A. Fevrier --
  • Type specifications with processes / F. Puntigam -- A unified model for CSP-like languages with specifications / L. Lai -- Secrets of call forwarding: a specification case study / P. Zave -- Formal method for event-triggered sequential systems / C. Petersohn -- An extension of GDMO for formalizing managed objects behaviour / J. Keller -- Experiences of using SDL collected in IskraTEL SDL methodology / A. Robnik -- Development of broadband ISDN telecommunication services using SDL '92, ASN.1 and automatic code generation / U. Behnke, M. Geipl, G. Kurzbach, R. Schroder, N. Fischbeck and R. Mundstock -- Supporting evolution of SDL-based systems: industrial experience / B. Gulla and J. Gorman -- A LOTOS compiler generating multi-threaded object codes / K. Yasumoto, T. Higashino, K. Abe, T. Matsuura and K. Taniguchi -- Combining formal methods: an exercise in integration / J.-Ch. Gregoire, M. Ferguson and L. Pino --
  • Formal specification of a framework for groupware development / A. Kerbrat and S. Ben Atallah -- SELEXPERT - a knowledge-based tool for test case selection / A. Guerrouat, H. Konig and A. Ulrich -- Mutation testing applied to validate specifications based on Petri Nets / S. C. P. F. Fabbri, J. C. Maldonado, P. C. Masiero, M. E. Delamaro and E. Wong -- A new approach for distributing Estelle specifications / E. Lallet, S. Fischer and J.-F. Verdier -- Critical time distributed systems: qualitative and quantitative analysis based on stochastic timed Petri Nets / G. Juanole and L. Gallon -- Testing semantics for probabilistic LOTOS / M. Nunez and D. de Frutos -- Real-time LOTOS and timed observations / J. Davies, J. W. Bryans and S. A. Schneider -- Assertional verification of a connection management protocol / A. L. Olah and S. M. Heemstra de Groot -- Sharing trees for "on-the-fly" verification / F. Gagnon, J.-Ch. Gregoire and D. Zampunieris --
  • Verification of liveness property for communicating FSM's with conditional transitions depending on state visiting numbers / T. Higashino, A. Nakata, T. Itoh and K. Taniguchi -- A new approach for protocols performance evaluation using Estelle specifications / M. Hendaz and S. Budkowski.
ISBN
041273270X
OCLC
ocm34782335
Owning Institutions
Columbia University Libraries