1148 search results - page 17 / 230 » WebML modelling in UML |
150
click to vote
ESWS
2006
Springer
15 years 9 months ago
2006
Springer
In this paper we present a MOF compliant metamodel and UML profile for the Semantic Web Rule Language (SWRL) that integrates with our previous work on a metamodel and UML profile f...
159
Voted
UML
1997
Springer
15 years 9 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
160
click to vote
ENTCS
2006
15 years 5 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
152
click to vote
TAMODIA
2007
15 years 6 months ago
2007
Many model-based approaches for user interface design start from a task model, for which the ConcurTaskTrees notation is frequently used. Despite this popularity and the importance...
140
click to vote
QSIC
2009
IEEE
16 years 4 days ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...