613 search results - page 2 / 123 » Executable Visual Contracts |
RULEML
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...
HICSS
2010
IEEE
13 years 11 months ago
2010
IEEE
in Progress – Extended Abstract Word count: 3124 Effectively managing IT service centers such as call centers, computerized diagnostic imaging facilities, data centers, e-commerc...
EMSOFT
2009
Springer
13 years 11 months ago
2009
Springer
ISSTA
2009
ACM
13 years 11 months ago
2009
ACM
Where do contracts — specification elements embedded in executable code — come from? To produce them, should we rely on the programmers, on automatic tools, or some combinati...
DLS
2007
13 years 8 months ago
2007
The analogy between types and contracts raises the question of how many features of static type systems can be expressed as dynamic contracts. An important feature missing in prio...