Formal Description Techniques: Proceedings of the First International Conference on Formal Description Techniques Stirling, Scotland, 6-9 September, - Couverture rigide

 
9780444871268: Formal Description Techniques: Proceedings of the First International Conference on Formal Description Techniques Stirling, Scotland, 6-9 September,
Couverture rigide
ISBN 10 : 0444871268 ISBN 13 : 9780444871268
Editeur : Elsevier Science Ltd, 1988

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Elsevier Science Ltd
Date d'édition
1988
Langue
anglais
ISBN 10 
0444871268
ISBN 13 
9780444871268
Reliure
Relié
Nombre de pages
370
Éditeur
Turner Kenneth J.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible