Andere Kunden interessierten sich auch für
![Calculating cloud process maturity cost using conformance checking]( "Calculating cloud process maturity cost using conformance checking")
Calculating cloud process maturity cost using conformance checking26,99 €![Fact checking by data partitioning]( "Fact checking by data partitioning")
Fact checking by data partitioning26,99 €![Automated Proof Checking]( "Automated Proof Checking")
Automated Proof Checking25,99 €![Using Model Checking to Generate Test Cases for Critical Systems]( "Using Model Checking to Generate Test Cases for Critical Systems")
Using Model Checking to Generate Test Cases for Critical Systems32,99 €![Foundations of Biomedical Knowledge Representation]( "Foundations of Biomedical Knowledge Representation")
Foundations of Biomedical Knowledge Representation37,99 €![Practical JSF in Java EE 8]( "Practical JSF in Java EE 8")
Practical JSF in Java EE 846,99 €![Handbook of Model Checking]( "Handbook of Model Checking")
Handbook of Model Checking120,99 €
The enormous expansion in the use of software in every field of life makes demands on installing and developing reusable, robust, reliable, flexible, adaptive software system much accelerating. As these demands are growing stronger, the complexity of processes that software manages is increasing along with the demand for the integration of processes from different areas. As a result, software programs are be coming increasingly large and complex. One of challenges for software developers is how to check the conformance between the implementation and specification, especially in component-based software engineering. In this book, we will propose a method for checking this conformance.