376 search results - page 22 / 76 » A Controlled Language for the Specification of Contracts |
129
click to vote
CCR
2004
15 years 1 months ago
2004
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
148
click to vote
HASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
109
click to vote
STTT
2008
15 years 1 months ago
2008
Abstract Experience with the development and maintenance of large test suites specified using the Testing and Test Control Notation (TTCN-3) has shown that it is difficult to const...
100
click to vote
DAC
1992
ACM
15 years 6 months ago
1992
ACM
This paper describes a model for, and an implementation of, production-based synthesis of hardware description language (HDL) code in which the overall structure of the resultant ...
COLING
1996
15 years 3 months ago
1996
The German joint research project Verbmobil (VM) aims at the deveh)pment of a speech to speech translation system. This paper reports on research done in our group which belongs t...