2493 search results - page 62 / 499 » Tool Support for Design by Contract |
ICRE
1996
IEEE
15 years 1 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
XPU
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents “ActiveStory Enhanced” as a tool that enables prototyping user interfaces and conducting usability tests in a way that is aligned with agile principles. The...
VLDB
2004
ACM
15 years 3 months ago
2004
ACM
The DB2 Design Advisor in IBM® DB2® Universal Database™ (DB2 UDB) Version 8.2 for Linux®, UNIX® and Windows® is a tool that, for a given workload, automatically recommends ...
107
click to vote
AOSD
2011
ACM
14 years 4 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...
CSCW
2000
ACM
15 years 2 months ago
2000
ACM
In this paper, we describe our experience with the longterm, widespread use of CoWeb, an asynchronous collaborative tool that is mostly used to complement existing faceto-face gro...