2493 search results - page 203 / 499 » Tool Support for Design by Contract |
172
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Changes in the real world may require both the database population and the database schema to evolve. Particularly, this is the case in CAD/CAM and CASE database systems, in which...
177
click to vote
WSC
1996
15 years 7 months ago
1996
of abstraction, or modeling, is a major element in Enterprise Engineering. Enterprise engineering deals with the analysis, design, implementation and operation of an enterprise. T...
184
click to vote
IJWET
2008
15 years 5 months ago
2008
: In this paper, we present an environment for authoring pervasive multimodal user interfaces. It is composed of a set of XML-based languages, transformations among such languages,...
161
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes the basis for a suite of tools that let the programmer work in terms of design patterns and source code simultaneously. It first introduces a language for de...
168
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Internet users face challenges in evaluating the validity of online information. Such evaluation is not adequately supported by current tools; we outline some of the shortcomings ...