4469 search results - page 367 / 894 » A Language for Role Specifications |
189
click to vote
TYPES
1998
Springer
15 years 11 months ago
1998
Springer
Investigating soundness and completeness of verification calculi for imperative programming languages is a challenging task. Incorrect results have been published in the past. We t...
147
click to vote
ICALP
1997
Springer
15 years 11 months ago
1997
Springer
We propose a general approach for defining behavioural preorders over process terms as the maximal pre–congruences induced by basic observables. We will consider three of these...
196
click to vote
IFIP
1993
Springer
15 years 11 months ago
1993
Springer
Repositories play a pivotal role in an integrated reuse- based application development environment. Reusing software components implies their persistent storage and maintenance, a...
159
click to vote
KI
1993
Springer
15 years 11 months ago
1993
Springer
Verbmobil is a long-term project on the translation of spontaneous language in negotiation dialogs. We describe the goals of the project, the chosen discourse domains and the init...
164
click to vote
TOOLS
1992
IEEE
15 years 11 months ago
1992
IEEE
Using an object-oriented approach, the text editor Write has been designed to be extensible while its basic structure has been kept small and simple. As its main extension concept...