2493 search results - page 318 / 499 » Tool Support for Design by Contract |
95
Voted
CHI
2004
ACM
15 years 10 months ago
2004
ACM
Most current designs of information technology are based on the notion of supporting distinct tasks such as document production, email usage, and voice communication. In this pape...
AOSD
2010
ACM
15 years 5 months ago
2010
ACM
Aspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modula...
SOFSEM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Large information spaces and complex functionality of contemporary systems together with the advent of the Semantic Web are big challenges for the design of simple yet po...
GROUP
2005
ACM
15 years 4 months ago
2005
ACM
VERN is an online collaborative tool that coordinates and distributes the process of finding optimal meeting times across the members of a group. The system combines the underlyin...
118
click to vote
BICA
2010
14 years 5 months ago
2010
In this position paper we argue that BICA must simultaneously be compatible with the explanation of human cognition and support the human design of artificial cognitive systems. Mo...