1312 search results - page 38 / 263 » Embedded contract languages |
UML
2005
Springer
15 years 5 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
HICSS
2003
IEEE
15 years 5 months ago
2003
IEEE
In an e-service environment, contracts are important for attaining business process interoperability and enforcing their proper enactment. An e-contract is the computerized facili...
115
click to vote
INTERNET
2007
14 years 11 months ago
2007
it’s hardly Earth-shattering: abstracting your business services and separating them from your applications can yield an overall system that’s easier to build, maintain, and ex...
ECBS
2005
IEEE
15 years 5 months ago
2005
IEEE
Embedded systems present a wide variety of challenges for developers of language tools. Verification of correctness, flexibility for adding new language features, and retargetin...
GPCE
2004
Springer
15 years 5 months ago
2004
Springer