376 search results - page 1 / 76 » A Controlled Language for the Specification of Contracts |
CNL
2009
13 years 6 months ago
2009
JTRES
2010
ACM
13 years 5 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
HICSS
1997
IEEE
13 years 9 months ago
1997
IEEE
As the second generation of electronic commerce, the framework of agent based commerce is proposed. Since the communication messages and solution methods of agents are significant...
IFM
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
SMC
2007
IEEE
13 years 11 months ago
2007
IEEE
