1573 search results - page 160 / 315 » Signs and Formal Concepts |
188
click to vote
VL
2003
IEEE
15 years 11 months ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...
170
click to vote
CP
1998
Springer
15 years 10 months ago
1998
Springer
The constraint paradigm provides powerful concepts to represent and solve different kinds of planning problems, e. g. factory scheduling. Factory scheduling is a demanding optimiz...
156
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we introduce a logical viewpoint on architectures. The logical viewpoint is based on the distinction between symbolic and semantic models of architectures. The core ...
145
click to vote
ZUM
2000
Springer
15 years 9 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
127
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
Abstract. Discussions about model-driven approaches tend to be hampered by terminological confusion. This is at least partially caused by a lack of formal precision in defining the...