Referenced Items are not available for this document.
In the design process of communication software, its specification needs to be rigorously defined without leaving any ambiguity. For this purpose, several FDTs (formal description techniques) have been proposed for the description of a rigorous specification. We developed a support environment for highly reliable computer aided software design based on FDTs. The paper proposes an integrated support environment, named ITECS, which has been developed based on LOTOS as the FDTs, to support a formal description of communication software specification and verification. ITECS comprises of two subsystems: one to support specification of the message sequence charts and graphical LOTOS specifications, and the other to support the verification of LOTOS specifications. This paper discusses the specification support of the ITECS environment
Date of Conference: 3-7 Jul 1995
- Page(s):
- 185 - 189
- Meeting Date :
- 03 Jul 1995-07 Jul 1995
- Print ISBN:
- 0-7803-2579-6
- INSPEC Accession Number:
- 5231485
- Digital Object Identifier :
- 10.1109/SICON.1995.526043
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
