3948 search results - page 420 / 790 » Integration Workbench: Integrating Schema Integration Tools |
194
click to vote
FM
2003
Springer
16 years 22 hour ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
196
click to vote
ICWL
2003
Springer
16 years 12 hour ago
2003
Springer
This paper proposes a new architecture for web-based virtual laboratory with CORBA technology. In the architecture, Java Applet acts as the client tool, CORBA acts as the communica...
164
Voted
SEKE
2001
Springer
15 years 11 months ago
2001
Springer
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
184
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
173
Voted
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...