Formale Beschreibungstechniken für verteilte Systeme

Formale Beschreibungstechniken für verteilte Systeme PDF Author:
Publisher: Herbert Utz Verlag
ISBN: 9783896759184
Category :
Languages : en
Pages : 276

Get Book Here

Book Description

Formale Beschreibungstechniken für verteilte Systeme

Formale Beschreibungstechniken für verteilte Systeme PDF Author:
Publisher: Herbert Utz Verlag
ISBN: 9783896759184
Category :
Languages : en
Pages : 276

Get Book Here

Book Description


FME '96: Industrial Benefit and Advances in Formal Methods

FME '96: Industrial Benefit and Advances in Formal Methods PDF Author: Marie-Claude Gaudel
Publisher: Springer Science & Business Media
ISBN: 9783540609735
Category : Business & Economics
Languages : en
Pages : 724

Get Book Here

Book Description
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations". The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.

Feature Interactions in Telecommunications and Software Systems VI

Feature Interactions in Telecommunications and Software Systems VI PDF Author: Muffy Calder
Publisher: IOS Press
ISBN: 9781586030650
Category : Computers
Languages : en
Pages : 344

Get Book Here

Book Description
Typically, telecommunications services are implemented in software. Feature interaction is the term used to describe interference between services or features; most attention is given to cases where the interference is undesirable, ie. there is an incompatibility. In telecommunications, control and data is distributed and on such a large scale that software development is by numerous disjoint teams; by its nature, therefore, this software experienced the feature interaction problem first. But, while the workshop focuses on communications services, the subject has relevance to any domain where separate software entities control a shared resource.

Integrated Formal Methods

Integrated Formal Methods PDF Author: Wolfgang Grieskamp
Publisher: Springer Science & Business Media
ISBN: 3540409114
Category : Computers
Languages : en
Pages : 449

Get Book Here

Book Description


Testing Software and Systems

Testing Software and Systems PDF Author: Valentina Casola
Publisher: Springer Nature
ISBN: 3030648818
Category : Computers
Languages : en
Pages : 321

Get Book Here

Book Description
This book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2020, which was supposed to be held in Naples, Italy, in December 2020, but was held virtually due to the COVID-19 pandemic. The 17 regular papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures. The papers are organized in the topical sections named: model-based testing; security testing; testing methods and applications; testing methods and automation; and short contributions.

Testing of Communicating Systems XIV

Testing of Communicating Systems XIV PDF Author: Ina Schieferdecker
Publisher: Springer
ISBN: 0387354972
Category : Technology & Engineering
Languages : en
Pages : 438

Get Book Here

Book Description
Testing of Communicating Systems XIV presents the latest international results in both the theory and industrial practice of the testing of communicating systems, ranging from tools and techniques for testing to test standards, frameworks, notations, algorithms, fundamentals of testing, and industrial experiences and issues. The tools and techniques discussed apply to conformance testing, interoperability testing, performance testing, Internet protocols and applications, and multimedia and distributed systems in general.

Applying Formal Methods: Testing, Performance, and M/E-Commerce

Applying Formal Methods: Testing, Performance, and M/E-Commerce PDF Author: Manuel Núnez
Publisher: Springer
ISBN: 3540302336
Category : Computers
Languages : en
Pages : 392

Get Book Here

Book Description
This book constitutes the joint refereed proceedings of the First International Workshop on Theory Building and Formal Methods in Electronic/Mobile Commerce, TheFormEMC, the first European Performance Engineering Workshop, EPEW, and the First International Workshop on Integration of Testing Methodologies, ITM, held jointly in association with FORTE 2004 in Toledo, Spain, in October 2004. The 27 revised full papers presented were carefully reviewed and selected from a total of 62 submissions. The papers are grouped in three topical sections corresponding to the workshop topics.

Performance Engineering

Performance Engineering PDF Author: Reiner Dumke
Publisher: Springer
ISBN: 3540451560
Category : Computers
Languages : en
Pages : 364

Get Book Here

Book Description
Initially, computer systems performance analyses were carried out primarily because of limited resources. Due to ever increasing functional complexity of computational systems and user requirements, performance engineering continues to play a major role in software development. This book assesses the state of the art in performance engineering. Besides revised chapters drawn from two workshops on performance engineering held in 2000, additional chapters were solicited in order to provide complete coverage of all relevant aspects. The first part is devoted to the relation between software engineering and performance engineering; the second part focuses on the use of models, measures, and tools; finally, case studies with regard to concrete technologies are presented. Researchers, professional software engineers, and advanced students interested in performance analysis will find this book an indispensable source of information and reference.

Model-Based Engineering of Embedded Real-Time Systems

Model-Based Engineering of Embedded Real-Time Systems PDF Author: Holger Giese
Publisher: Springer Science & Business Media
ISBN: 3642162762
Category : Computers
Languages : en
Pages : 386

Get Book Here

Book Description
Thetopicof“Model-BasedEngineeringofReal-TimeEmbeddedSystems”brings together a challenging problem domain (real-time embedded systems) and a - lution domain (model-based engineering). It is also at the forefrontof integrated software and systems engineering, as software in this problem domain is an essential tool for system implementation and integration. Today, real-time - bedded software plays a crucial role in most advanced technical systems such as airplanes, mobile phones, and cars, and has become the main driver and - cilitator for innovation. Development, evolution, veri?cation, con?guration, and maintenance of embedded and distributed software nowadays are often serious challenges as drastic increases in complexity can be observed in practice. Model-based engineering in general, and model-based software development in particular, advocates the notion of using models throughout the development and life-cycle of an engineered system. Model-based software engineering re- forces this notion by promoting models not only as the tool of abstraction, but also as the tool for veri?cation, implementation, testing, and maintenance. The application of such model-based engineering techniques to embedded real-time systems appears to be a good candidate to tackle some of the problems arising in the problem domain.

Testing of Communicating Systems

Testing of Communicating Systems PDF Author: Nina Yevtushenko
Publisher: Springer
ISBN: 038735381X
Category : Computers
Languages : en
Pages : 360

Get Book Here

Book Description
Testing of Communicating Systems presents the latest world-wide results in both theory and practice. This volume provides a forum in which the substantial volume of research on the testing of communicating systems, spanning from conformance testing through interoperability testing, to performance and QoS testing, is brought together. The following topics are discussed in detail: Types of testing; Phases of the testing process; Classes of systems to be tested; and Theory and practice of testing. This book contains the selected proceedings of the 11th International Workshop on the Testing of Communicating Systems, formerly the International Workshop on Protocol Test Systems, sponsored by the International Federation for Information Processing (IFIP), and held in Tomsk, Russia, in August/September 1998. Testing of Communicating Systems will be essential reading for engineers, IT managers and research personnel working in computer sciences and telecommunications.