1178 search results - page 118 / 236 » A Methodological Approach to Developing Model Transformation... |
136
click to vote
JUCS
2010
14 years 8 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
130
click to vote
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
An increasing level of cooperation between public administrations nowadays on national, regional and local level requires methods to develop interoperable EGovernment systems and ...
110
click to vote
ECAI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
111
click to vote
POLICY
2004
Springer
15 years 7 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
114
click to vote
HT
1998
ACM
15 years 6 months ago
1998
ACM
In this paper, we introduce an integrated approach to the development of spatial hypertext. This approach brings together several theories and techniques concerning semantic struc...