SPECS : specification and programming environment for communication software

著者

書誌事項

SPECS : specification and programming environment for communication software

edited by Rick Reed ... [et al.]

North-Holland, 1993

大学図書館所蔵 件 / 全4件

この図書・雑誌をさがす

注記

"Overview of results of the SPECS project (1988-1992), part of the RACE 2 programme of the European Communities"--Pref

Includes bibliographical references (p. 334-341) and index

内容説明・目次

内容説明

The SPECS (Specification and Programming Environment for Communication Software) project is a completed part of the RACE (Research and Development in Advanced Communications in Europe) programme of the European Communities to prepare for and promote pan-European Integrated Broadband Communications (IBC). This publication provides an introduction to the project results, which represent a significant contribution to software engineering for telecommunications and offer a sound basis for telecommunications service engineering methods and techniques. The first chapter presents background material on the project and an abstract of the SPECS approach presented in subsequent chapters. The remainder of the book is divided into two parts: a presentation of the methodology, followed by the supporting technology. Also included is a chapter on the support engineering aspects of SPECS, which is what makes the SPECS approach open. This book should be of use to engineers and information technologists in the telecommunications and large-system computer manufacturing industries, and also for researchers and students in the communications and computer science education institutes.

目次

  • Part 1 SPECS - the project and the book: the RACE definition phase
  • the RACE main phase 1988-92
  • the context and challenge. Part 2 SPECS methodology - specification: goal of specification activities
  • specification activities
  • tools to support specification
  • the application of specification methods. Part 3 Design and implementation: goals of design and implementation
  • design and implementation activities
  • tools to support design and implementation
  • the application of design and implementation methods. Part 4 Testing: goals of testing
  • testing activities
  • tools to support testing
  • the application of test execution mehtods. Part 5 Methodology aspects: the SPECS architecture, architecture and the common semantic layer: the common semantic layer
  • property languages in the SPECS architecture
  • the SPECS prototype architecture
  • construction of the prototype SPECS. Part 6 Specification architecture: editors
  • other specification tools
  • meta-tools. Part 7 Analysis architecture: translators
  • simulation tool (simulator). Part 8 Design and implementation architecture: tools for creating programs
  • translation from LOTUS to I-CRL. (Part contents).

「Nielsen BookData」 より

詳細情報

ページトップへ