288 search results - page 20 / 58 » On challenges of model transformation from UML to Alloy |
WWW
2001
ACM
15 years 10 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
77
Voted
APN
2000
Springer
15 years 1 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
MOMPES
2008
IEEE
15 years 3 months ago
2008
IEEE
During its lifetime, embedded systems go through multiple changes to their runtime architecture. That is, threads, processes, and processor are added or removed to/from the softwa...
CSMR
2006
IEEE
15 years 3 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...