![]() ![]() |
||||
|
||||
|
||||
The following normative documents contain provisions
that, through reference in this text, constitute
provisions of this standard.
IEEE/ANSI 610.12-1990 [IEEE/ANSI 610.12-1990], IEEE Standard
Glossary of Software
Engineering Terminology.
ISO/IEC 9945-1:1996 [IEEE/ANSI Std 1003.1, 1996 Edition], Information
Technology Portable
Operating System Interface (POSIX) Part 1: System Application Program Interface (API) [C
Language].
ISO/IEC 14519:1999 [IEEE/ANSI Std 1003.5b-1999], Information
Technology POSIX Ada
Language Interfaces Binding for System Application Program Interface (API) Real-time
Extensions.
ISO/IEC 8652:1995, Information Technology Programming
Languages Ada.
ISO/IEC 9899:1999, Information Technology Programming
Languages C.
Unified Modeling Language Specification [UML 2004, version
1.4.2], July 2004, version 1.4.2. |
||||
The following informative references contain background
information about the items with the
citation.
[BNF 1960] NAUR, Peter (ed.), "Revised Report on
the Algorithmic Language ALGOL 60,"
Communications of the ACM, Vol. 3 No. 5, pp. 299-314, May 1960.
[IFIP WG10.4-1992] IFIP WG10.4 on Dependable Computing
and Fault Tolerance, 1992, J.-C.
Laprie, editor, Dependability: Basic Concepts and Terminology, Dependable Computing and
Fault
Tolerance, volume 5, Springer-Verlag, Wien, New York, 1992.
[Henz 96] Theory of Hybrid Automata, Thomas
A. Henzinger, Electrical Engineering and
Computer Science, University of California at Berkley, Proceedings of the 11th Annual Symposium
on Logic in Computer Science (LICS), IEEE Computer Society Press, 1996, pp. 278-292 |
||||
Terms are introduced throughout this standard, indicated
by italic type. Informational definitions of
terms are given in Appendix C , Glossary. Definitions of terms used from other standards, such
as
the IEEE Standard Glossary of Software Engineering Terminology [IEEE Std. 610.12-1990],
ISO/IEC 9945-1:1996 [IEEE/ANSI Std 1003.1, 1996 Edition], Information Technology Portable
Operating System Interface (POSIX), or IFIP
WG10.4 Dependability: Basic Concepts and
Terminology [IFIP WG10.4-1992], are so marked. Terms not defined in this standard are to be
interpreted according to the Webster's Third New International Dictionary of the English Language.
Terms explicitly defined in this standard are not to be presumed to refer implicitly to similar terms
defined elsewhere. A full description of the syntax and semantics of the concept represented by
the terms is found in the respective document sections, clauses, and subclauses. |
||||