900 search results - page 94 / 180 » A Tool-Supported Approach to Testing UML Design Models |
115
Voted
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
122
click to vote
IFM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
127
Voted
ACSC
2004
IEEE
15 years 7 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
140
Voted
NIPS
2003
15 years 5 months ago
2003
We present a geometric approach to statistical shape analysis of closed curves in images. The basic idea is to specify a space of closed curves satisfying given constraints, and e...
140
click to vote
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...