Formal Description Techniques VIII

Formal Description Techniques VIII

Author: Gregor von Bochmann

Publisher: Springer

Published: 2016-01-09

Total Pages: 450

ISBN-13: 0387349456

DOWNLOAD EBOOK

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.


Encyclopedia of Software Engineering Three-Volume Set (Print)

Encyclopedia of Software Engineering Three-Volume Set (Print)

Author: Phillip A. Laplante

Publisher: CRC Press

Published: 2010-11-22

Total Pages: 1441

ISBN-13: 1351249266

DOWNLOAD EBOOK

Software engineering requires specialized knowledge of a broad spectrum of topics, including the construction of software and the platforms, applications, and environments in which the software operates as well as an understanding of the people who build and use the software. Offering an authoritative perspective, the two volumes of the Encyclopedia of Software Engineering cover the entire multidisciplinary scope of this important field. More than 200 expert contributors and reviewers from industry and academia across 21 countries provide easy-to-read entries that cover software requirements, design, construction, testing, maintenance, configuration management, quality control, and software engineering management tools and methods. Editor Phillip A. Laplante uses the most universally recognized definition of the areas of relevance to software engineering, the Software Engineering Body of Knowledge (SWEBOK®), as a template for organizing the material. Also available in an electronic format, this encyclopedia supplies software engineering students, IT professionals, researchers, managers, and scholars with unrivaled coverage of the topics that encompass this ever-changing field. Also Available Online This Taylor & Francis encyclopedia is also available through online subscription, offering a variety of extra benefits for researchers, students, and librarians, including: Citation tracking and alerts Active reference linking Saved searches and marked lists HTML and PDF format options Contact Taylor and Francis for more information or to inquire about subscription options and print/online combination packages. US: (Tel) 1.888.318.2367; (E-mail) [email protected] International: (Tel) +44 (0) 20 7017 6062; (E-mail) [email protected]


Feature Interactions in Telecommunications Systems, III

Feature Interactions in Telecommunications Systems, III

Author: Kong E. Cheng

Publisher: IOS Press

Published: 1995

Total Pages: 244

ISBN-13: 9789051992380

DOWNLOAD EBOOK

In an information society, heavily dependent on communications and distributed systems, feature interactions are likely to become an even more important problem than they are today. A particularly interesting issue, given the current work on agents, is whether feature interactions will be more likely in systems with many autonomous agents performing tasks. The current demand for better and more convenient communications requires development of a variety of new services as quickly as possible. As the number of services becomes larger, however, feature interactions create incompatibilities between the various functions needed to implement them. In developing telecommunication systems, we now spend huge numbers of person-hours on software modifications and testing whenever a new function is added. Much of this time is spent on detecting and eliminating problems arising from feature interaction. In the future, as ever more services are offered, feature interactions will become a major bottleneck in the development of software for telecommunications systems. This book presents opinions on the technical problems involved in feature interactions and definitions of features and feature interactions.


Feature Interactions in Telecommunications Systems

Feature Interactions in Telecommunications Systems

Author: L. G. Bouma

Publisher: IOS Press

Published: 1994

Total Pages: 292

ISBN-13: 9789051991659

DOWNLOAD EBOOK

Features are modifications to the control of telecommunications services. A feature interaction occurs when the behaviour of another, which can lead to unexpected or undesired behaviour, which affects the quality of service. The goal of this volume is to generate a combination of techniques through protocol engineering, software testing, formal techniques and AI and applications to telecommunications services.


Worldwide Intelligent Systems

Worldwide Intelligent Systems

Author: Jay Liebowitz

Publisher: IOS Press

Published: 1995

Total Pages: 300

ISBN-13: 9789051991833

DOWNLOAD EBOOK

Telecommunications firms worldwide are actively involved in AI applications for resolving network management and telecommunications problems. This book adresses the folllowing major functional areas: planning, scheduling, monitoring, control, fault classification and diagnosis, training and help desks. Recent and emerging AI techniques are applied, including neural networks, expert systems, integrating rule-based systems with case-based reasoning systems, genetic algorithms, distribited AI and intelligent tutoring systems. Readers: researchers and professionals in telecommunication, AI experts and graduate students.