611 search results - page 55 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
118
click to vote
GPCE
2007
Springer
15 years 10 months ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...
130
click to vote
SEFM
2005
IEEE
15 years 9 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
115
click to vote
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
116
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
135
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...