288 search results - page 18 / 58 » On challenges of model transformation from UML to Alloy |
207
click to vote
APWEB
2004
Springer
15 years 11 months ago
2004
Springer
XML is becoming the de-facto standard for exchanging information in distributed applications and services. This has resulted in the development of a large number of XML documents w...
159
click to vote
ICSOFT
2007
15 years 7 months ago
2007
: Architecture Description Languages (ADLs) provide an abstract representation of software systems. Achieving a concrete mapping of such representation into the implementation is o...
139
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper proposes an extension of the UML 2.0 profiling mechanism. This extension facilitates a language designer to introduce composite concepts as separate conceptual...
160
click to vote
HASE
1999
IEEE
15 years 10 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
179
click to vote
VOTEID
2007
Springer
16 years 5 days ago
2007
Springer
Performing a good security analysis on the design of a system is an essential step in order to guarantee a reasonable level of protection. However, different attacks and threats m...