ISO IEC 13568 CORR 1-2007 Information technology - Z formal specification notation - Syntax type system and semantics Technical Corridendum 1《信息技术 Z格式规范标志法 句法、形.pdf

1、ICS 35.060 Ref. No. ISO/IEC 13568:2002/Cor.1:2007(E) ISO/IEC 2007 All rights reserved Published in Switzerland INTERNATIONAL STANDARD ISO/IEC 13568:2002 TECHNICAL CORRIGENDUM 1 Published 2007-07-15 INTERNATIONAL ORGANIZATION FOR STANDARDIZATION ORGANISATION INTERNATIONALE DE NORMALISATION INTERNATIO

2、NAL ELECTROTECHNICAL COMMISSION COMMISSION LECTROTECHNIQUE INTERNATIONALEInformation technology Z formal specification notation Syntax, type system and semantics TECHNICAL CORRIGENDUM 1 Technologies de linformation Notation Z pour la spcification formelle Syntaxe, systme de caractres et smantique RE

3、CTIFICATIF TECHNIQUE 1 Technical Corrigendum 1 to ISO/IEC 13568:2002 was prepared by Joint Technical Committee ISO/IEC JTC 1, Information technology, Subcommittee SC 22, Programming languages, their environments and system software interfaces. ISO/IEC 13568:2002/Cor.1:2007 Defect 13568/001: Use of U

4、CS Page 18, in 6.1 At the end of the rst paragraph, add the following sentences. Reference is also made to characters General Category and to decimal digits Decimal Digit Value, as de ned for the characters by Unicode18. The characters are assumed to be in Normalization Form C19.“ Page 19, in 6.2 In

5、 line 8, replace other UCS chars with Number property, but Number, Decimal Digit“ by any other UCS characters with General Category N* except Nd“. In line 11, replace Number, Decimal Digit property“ by General Category Nd“. In line 14, replace any characters of the mathematical toolkit with letter p

6、roperty“ by char- acters of the mathematical toolkit with General Category L*“. In line 15, replace letter property“ by General Category L*“. In lines 34-35, replace any characters of the mathematical toolkit with neither letter or number property“ by characters of the mathematical toolkit with Gene

7、ral Category neither L* nor N*“. In lines 36-37, replace neither letter or number property“ by General Category S*, P* or M*“. Page 20, in 6.3 In line 4, replace property“ by General Category“. Page 20, in 6.4.2 In line 5, replace UCS de nes a corresponding decimal digit value“ by Unicode de nes a c

8、orresponding Decimal Digit Value“. Page 21, in 6.4.3.3 In line 1, replace UCS letter property“ by General Category L*“. Page 21, in 6.4.4.1 In line 2, replace 0000 02B9 MODIFIER LETTER PRIME“ by 0000 2032 PRIME“. Page 21, in 6.4.4.3 In line 10, replace 0000 300A LEFT DOUBLE ANGLE BRACKET“ by 0000 27EA MATH- EMATICAL LEFT DOUBLE ANGLE BRACKET“. Inline11,replace0000 300BRIGHTDOUBLEANGLEBRACKET“by0000 27EBMATH- EMATICAL RIGHT DOUBLE ANGLE BRACKET“. 1 ISO/IEC 13568:2002/Cor.1:2007(E)