288 search results - page 14 / 58 » On challenges of model transformation from UML to Alloy |
217
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
188
Voted
MOMPES
2006
IEEE
16 years 22 days ago
2006
IEEE
In this era of intense liking to automation in almost all time-critical fields, real-time systems have got widespread utilization in industrial, commercial, medical, space and mil...
200
click to vote
AGTIVE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Aspect-orientation has gained increasing popularity, especially within the programming domain, with textual-based approaches such as AspectJ. Aspect-orientation provides ...
181
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Identifying suitable image features is a central challenge in computer vision, ranging from representations for lowlevel to high-level vision. Due to the difficulty of this task,...
196
click to vote
ASWEC
2005
IEEE
16 years 10 days ago
2005
IEEE
Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this speci...