Chic
![]() CHIC is a modular verifier for behavioral compatibility checking of hardware and software systems. The goal of CHIC is to be able to check that the interfaces for software or hardware components provide guarantees that satisfy the assumptions they make about each other. CHIC supports a variety of interface property specification formalisms for a variety of application domains, such as resource-usage analysis for embedded systems, behavioral compatibility of web service applications, etc. ~ ~ ~ ~ ~ ~ ~ ~ ~ ~
\n\");}
//-->
~ ~ ~ ~ ~ ~ ~ ~ ~ ~
Embedded system: An embedded system is a special-purpose computer system, which is completely encapsulated by the device it controls.... Web service: According to the W3C a Web service is a software system designed to support interoperable machine-to-machine interaction over a network. It has an interface that is described in a machine-processable format such as WSDL. Other systems interact with the Web service in a manner prescribed by its inter... Chic related Images and Photos (experimental) | ~ Table of Content ~
\n\");}
//-->
~ Related Subjects ~W3C (2) - Java (1) - Python (1) - Inter-process communication (1) - Internet (1) - OASIS (1) - WS-I (1) - Linux (1) - Open standard (1) - Computer network (1) - WSDL (1) - SOAP (1) - Embedded system (1) - Web service (1) - XML (1) -~ Community ~
| ||||||||||||||
Lexicon - Contact us/Report abuse - Privacy Policy - Spiritus-Temporis.com ©2005. - stvers1 - 2012-02-10 - evol2 - 0.36








