Author: Gregor von Bochmann
Publisher: Springer
ISBN: 0387349456
Category : Technology & Engineering
Languages : en
Pages : 450

View

Book Description
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.

Author: Stan Budkowski
Publisher: Springer
ISBN: 0387353941
Category : Technology & Engineering
Languages : en
Pages : 462

View

Book Description
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools and industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT-application to distributed systems; Protocol engineering; Practical experience and case studies. Formal Description Techniques and Protocol Specification, Testing and Verification comprises the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification, sponsored by the International Federation for Information Processing, held in November 1998, Paris, France. Formal Description Techniques and Protocol Specification, Testing and Verification is suitable as a secondary text for a graduate-level course on Distributed Systems or Communications, and as a reference for researchers and practitioners in industry.

Author: Atsushi Togashi
Publisher: Springer
ISBN: 0387352716
Category : Computers
Languages : en
Pages : 544

View

Book Description
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

Author: Diego Cazorla López
Publisher: Univ de Castilla La Mancha
ISBN: 9788484270744
Category : Mathematics
Languages : en
Pages : 354

View

Book Description
La proliferación actual de sistemas concurrentes, en general debido al abaratamiento sustancial de poderosos sistemas de cómputo, y el auge, cada vez mayor, que toman las aplicaciones distribuidas, hace que cada vez sea más interesante el estudio de los sistemas concurrentes en todos los aspectos de la Informática. La mayor complejidad y tamaño de los secuenciales convencionales exige el uso de técnicas adecuadas tanto para su diseño y análisis, como para su posterior implementación práctica. Este libro contiene las comunicaciones que han sido presentadas en la Octava edición de las Jornadas de Concurrencia, celebradas en Cuenca en junio de 2000. Este es un foro para el intercambio de experiencias entre los investigadores nacionales tanto de la Universidad como de la Industria en el campo de los sistemas concurrentes, y por tanto en él se muestran tanto los resultados teóricos como las aplicaciones industriales más recientes en esta materia.

Author: Elie Najm
Publisher: Springer
ISBN: 3540462201
Category : Computers
Languages : en
Pages : 497

View

Book Description
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006. The 26 revised full papers and 4 short papers presented together with 3 invited lectures were carefully reviewed and selected from 177 submissions. The papers focus on the construction of middleware and services using formalised and verified approaches.

Author: Jose N. Oliveira
Publisher: Springer Science & Business Media
ISBN: 9783540417910
Category : Business & Economics
Languages : en
Pages : 1052

View

Book Description
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001. The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions. Focusing on increasing software productivity, all current aspects in formal methods are covered. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications, etc.

Author: Jianping Wu
Publisher: Springer
ISBN: 0387355782
Category : Computers
Languages : en
Pages : 488

View

Book Description
Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communication protocols. It aims to present the state of the art in theory, application, tools an industrialization of FDTs. Among the important features presented are: FDT-based system and protocol engineering; FDT application to distributed systems; Protocol engineeering; Practical experience and case studies. Formal Methods for Protocol Engineering and Distributed Systems contains the proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification, which was sponsored by the International Federation for Information Processing (IFIP) and was held in Beijing, China, in October 1999. This volume is suitable as a secondary text for a graduate level course on Distributed Systems or Communications, and as a reference for researchers and industry practitioners.

Author: Ed Brinksma
Publisher: Springer
ISBN: 3540446672
Category : Computers
Languages : en
Pages : 438

View

Book Description
Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied by di?erent research communities. This has resulted in the development of successful, but distinct and largely unrelated modeling and analysis techniques for both domains. In many modern systems, however, the di?erence between their functional features and their performance properties has become blurred, as relevant functionalities become inextricably linked to performance aspects, e.g. isochronous data transfer for live video tra- mission. During the last decade, this trend has motivated an increased interest in c- bining insights and results from the ?eld of formal methods – traditionally - cused on functionality – with techniques for performance modeling and analysis. Prominent examples of this cross-fertilization are extensions of process algebra and Petri nets that allow for the automatic generation of performance models, the use of formal proof techniques to assess the correctness of randomized - gorithms, and extensions of model checking techniques to analyze performance requirements automatically. We believe that these developments markthe - ginning of a new paradigm for the modeling and analysis of systems in which qualitative and quantitative aspects are studied from an integrated perspective. We are convinced that the further worktowards the realization of this goal will be a growing source of inspiration and progress for both communities.

Author:
Publisher:
ISBN:
Category : Computer network protocols
Languages : en
Pages : 480

View

Book Description

Author: Jost-Pieter Katoen
Publisher: Springer
ISBN: 3540487786
Category : Computers
Languages : en
Pages : 364

View

Book Description
This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS '99, held in Bamberg, Germany in May 1999. The 17 revised full papers presented together with three invited contributions were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on verification of probabilistic systems, model checking for probabilistic systems, semantics of probabilistic process calculi, semantics of real-time processes, real-time compilation, stochastic process algebra, and modeling and verification of real-time systems.