611 search results - page 100 / 123 » A Formal Contract Language for Plugin-based Software Enginee... |
224
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...
143
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
233
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
158
click to vote
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
124
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...