책 이미지
eBook 미리보기
책 정보
· 제목 : Automated Validation & Verification of UML/Ocl Models Using Satisfiability Solvers (Hardcover, 2018)
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전자공학 > 회로
· ISBN : 9783319728131
· 쪽수 : 255쪽
· 출판일 : 2018-01-31
· 분류 : 외국도서 > 기술공학 > 기술공학 > 전자공학 > 회로
· ISBN : 9783319728131
· 쪽수 : 255쪽
· 출판일 : 2018-01-31
목차
1. Introduction 2. A Formal Interpretation of UML/OCL 3 A Symbolic Formulation for Models 4 Structural Aspects 5 Behavioral Aspects 6 Timing Aspects 7 Reducing Instance Sizes with Ground Setting Properties 8 Re-utilizing Verification Results of UML/OCL Models 9 Conclusion Nomenclature A Class Inheritance B An SMT Instance with an unknown Result C Contradictory XOR definitions Index
