5961 search results - page 280 / 1193 » Design Science and Software Engineering |
165
click to vote
SEFM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Contracts and their composition may be used with different goals in a component-based design flow: on the one hand, a component contract describes the guarantees a component is...
187
click to vote
QSIC
2009
IEEE
16 years 1 months ago
2009
IEEE
The presence of code and design smells can have a severe impact on the quality of a program. Consequently, their detection and correction have drawn the attention of both research...
160
click to vote
IUI
2003
ACM
15 years 12 months ago
2003
ACM
Model-based approaches can be useful when designing nomadic applications, which can be accessed through multiple interaction s. Various models and levels of abstraction can be con...
159
click to vote
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
183
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
A well-known challenge during processor design is to obtain the best possible results for a typical target application domain that is generally described as a set of benchmarks. O...