1213 search results - page 112 / 243 » Refactoring UML Models |
124
Voted
GC
2004
Springer
15 years 9 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
129
Voted
ICALT
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
165
click to vote
JBI
2008
15 years 3 months ago
2008
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
105
Voted
WWW
2001
ACM
16 years 4 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 (...
131
click to vote
SAFECOMP
2007
Springer
15 years 9 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...