Книга: Van Viet Pham «Checking the Conformance»
Производитель: "LAP Lambert Academic Publishing" 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. ISBN:9783844395549 Издательство: "LAP Lambert Academic Publishing" (2011)
ISBN: 9783844395549 |
См. также в других словарях:
Conformance checking — is a process mining technique that takes an existing process model and compares it with an event log of the same process.[1] Conformance checking can be used to check if reality, as recorded in the log, conforms to the model and vice versa. For… … Wikipedia
HSS — stands for:Acronym*Have Safe Sex, an internet chat acronym *Health and Social Services, UK acronym *High speed steel, a type of tool steel with high cutting speed potential *High strength steel, a type of steel with high yield and tensile… … Wikipedia
National Conference on Weights and Measures — The National Conference on Weights and Measures (NCWM) is a not for profit corporation dedicated to developing and regulating the United States technical standards for weights and measures. The organization s official mission is to advance a… … Wikipedia
Process mining — techniques allow for the analysis of business processes based on event logs. They are often used when no formal description of the process can be obtained by other means, or when the quality of an existing documentation is questionable. For… … Wikipedia
DeviceNet — is a network system used in the automation industry to interconnect control devices for data exchange. It uses Controller Area Network as the backbone technology and defines an application layer to cover a range of device profiles. Typical… … Wikipedia
Google Chrome — This article is about the web browser. For the operating system, see Google Chrome OS. Google Chrome … Wikipedia