LEADER 04534nam 2200421z 450 001 9910148969103321 005 20221215210809.0 010 $a4-274-83011-X 035 $a()3000004979 035 $a(CKB)2560000000240706 035 $a(JP-MeL)3000004979 035 $a(MiAaPQ)EBC5392082 035 $a(Au-PeEL)EBL5392082 035 $a(OCoLC)1037816286 035 $a(EXLCZ)992560000000240706 100 $a20211007d2012 ||| | 101 0 $ajpn 135 $aur|n||||un||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$a?????? $e ??????????????? /$f ???? 210 $a??$c????$d2012.4 215 $a???????1? 311 $a4-274-21188-6 327 $a?? -- ????? -- ?? -- 1????????? -- 1.1???????? -- 1.1.1?????????? -- 1.1.2???????? -- 1.1.3??????? -- 1.2?????? -- 1.2.1???????? -- 1.2.2????????? -- 1.2.3?????????? -- 2????????? -- 2.1?Alloy?? -- 2.1.1?Alloy???? -- 2.1.2?Composite????? -- 2.1.3????????????? -- 2.1.4??????????? -- 2.2?Alloy??? -- 2.2.1????????? -- 2.2.2?????? -- 2.2.3???????????? -- 2.3?Alloy????? -- 2.3.1?Alloy??? -- 2.3.2?SAT?SMT -- 3?????????????? -- 3.1??????????? -- 3.1.1?????????? -- 3.1.2????????????? -- 3.1.3???????? -- 3.1.4?2???? -- 3.2??????? -- 3.2.1????????? -- 3.2.2?????? -- 3.2.3?????????????? -- 4??????????????? -- 4.1??????????? -- 4.1.1?????????????? -- 4.1.2???????? -- 4.1.3????????? -- 4.2???????????? -- 4.2.1?2???????? -- 4.2.2????? -- 4.3??????????? -- 4.3.1?????????????? -- 4.3.2?Alloy????????? -- 5??????????????????????? -- 5.1??????OCL -- 5.1.1????????????????????UML -- 5.1.2???????? -- 5.1.3????????????? -- 5.2??????????OCL -- 5.2.1?OCL??? -- 5.2.2?OCL??? -- 5.2.3?3??? -- 5.3?????????????????? -- 5.3.1????????????????? -- 5.3.2????????????????????? -- 6????????????? -- 6.1????????? -- 6.1.1???????? -- 6.1.2?????????? -- 6.1.3?UML????? -- 6.2?????????????? -- 6.2.1????? -- 6.2.2????????? -- 6.2.3?LTL????????? -- 6.2.4????????????? -- 6.2.5???????????? -- 7??????????????????? -- 7.1??????????? -- 7.1.1?Floyd/Hoare??? -- 7.1.2????????????????? -- 7.1.3?VDM???? -- 7.2??????????? -- 7.2.1?????????????? -- 7.2.2??????? -- 7.3???????????? -- 7.3.1????????????? -- 7.3.2?????????????????? -- 7.3.3?????????? -- ???????????????? -- A.1??? -- A.2?VDM -- A.3?Z???B????? -- A.4?????????? -- ?? -- ??. 517 3 $a?????? : ??????????????? 606 $6880-04/$1$a????????$2jlabsh 606 $6880-05/$1$a??????$2ndlsh 615 7$a???????? 615 7$a?????? 686 $a007.63$2njb/09 686 $a007.61$2njb/09 801 1$bJP-MeL 906 $aBOOK 912 $a9910148969103321 996 $a??????$93414519 997 $aUNINA