Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
-15%
portes grátis
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Drechsler, Rolf; Przigoda, Nils; Wille, Robert; Przigoda, Judith
Springer International Publishing AG
06/2019
255
Mole
Inglês
9783319892146
15 a 20 dias
454
Descrição não disponível.
Introduction.- A Formal Interpretation of UML/OCL.- A Symbolic Formulation for Models.- Structural Aspects.- Behavioral Aspects.- Timing Aspects.- Reducing Instance Sizes with Ground Setting Properties.- Re-utilizing Verification Results of UML/OCL Models.- Conclusion.- Nomenclature.- Appendix A Class Inheritance.- Appendix B An SMT Instance with an unknown Result.- Appendix C Contradictory XOR definitions.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Unified Modeling Language;UML;Object Constraint Language;Automatic Verification in Electronic Systems;Formal Specification
Introduction.- A Formal Interpretation of UML/OCL.- A Symbolic Formulation for Models.- Structural Aspects.- Behavioral Aspects.- Timing Aspects.- Reducing Instance Sizes with Ground Setting Properties.- Re-utilizing Verification Results of UML/OCL Models.- Conclusion.- Nomenclature.- Appendix A Class Inheritance.- Appendix B An SMT Instance with an unknown Result.- Appendix C Contradictory XOR definitions.- Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
