276 search results - page 10 / 56 » Evaluating formal properties of feature diagram languages |
UML
2005
Springer
15 years 2 months ago
2005
Springer
In this paper we present a framework for the evaluation and (re)design of modeling languages. We focus here on the evaluation of the suitability of a language to model a set or rea...
114
click to vote
ECEASST
2008
14 years 9 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
SP
2005
IEEE
15 years 3 months ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...
COMPSAC
2008
IEEE
14 years 11 months ago
2008
IEEE
The formal specification of design patterns is widely recognised as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
DBPL
2007
Springer
15 years 3 months ago
2007
Springer
BPQL is a novel query language for querying business process specifications, introduced recently in [5, 6]. It is based on an intuitive business processes as rewriting systems, an...