2493 search results - page 20 / 499 » Tool Support for Design by Contract |
GRAPHICSINTERFACE
2007
13 years 8 months ago
2007
We present a design space explorer for the space of experimental designs. For many design problems, design decisions are determined by the consequences of the design rather than i...
IWPSE
2003
IEEE
14 years 21 days ago
2003
IEEE
This paper reports on the use of coordination contracts, presented at the previous two IWPSE workshops, in a project for a credit recovery company. We have designed and implemente...
MAGS
2008
13 years 7 months ago
2008
This paper is about business modelling and negotiation protocol design in distributed scheduling, where individual agents have individual (potentially conflicting) interests. It i...
HCI
2009
13 years 5 months ago
2009
This paper proposes a support tool for designers who have realized the potential benefits of using a scenario-based approach, yet need a more concrete guidance for its implementati...
CONCURRENCY
1998
13 years 7 months ago
1998
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allow...