1746 search results - page 53 / 350 » Residual for Component Specifications |
ICPPW
2006
IEEE
14 years 4 months ago
2006
IEEE
—Web services-based event notification is an emerging technology that combines the asynchronous communication feature of event notification mechanisms and the interoperability fe...
HICSS
2002
IEEE
14 years 3 months ago
2002
IEEE
An application generator has resulted from the authors' efforts to improve the development of interactive database applications. The developed tool is based on a meta-base. T...
ICSE
1993
IEEE-ACM
14 years 2 months ago
1993
IEEE-ACM
Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably ...
COMPSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...