2777 search results - page 430 / 556 » Example centric programming |
119
click to vote
RP
2009
Springer
15 years 6 months ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
129
click to vote
SLE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
106
click to vote
ADAEUROPE
2001
Springer
15 years 6 months ago
2001
Springer
This paper describes the transaction support framework OPTIMA and its implementation for Ada 95. First, a transaction model that fits concurrent programming languages is presented...
126
click to vote
AGENTS
2001
Springer
15 years 6 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
128
click to vote
AOSE
2001
Springer
15 years 6 months ago
2001
Springer
Agent orientation is currently pursued primarily as a software paradigm. Software with characteristics such as autonomy, sociality, reactivity and proactivity, and communicative an...