1148 search results - page 108 / 230 » WebML modelling in UML |
106
click to vote
ICALT
2007
IEEE
15 years 2 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...
139
click to vote
JBI
2008
15 years 5 days 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...
WWW
2001
ACM
16 years 1 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 (...
105
click to vote
SAFECOMP
2007
Springer
15 years 6 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...
125
Voted
QSIC
2005
IEEE
15 years 6 months ago
2005
IEEE
Design notations play an important role in designing software. Agent UML (AUML), which extends the widelyused UML notation, has proposed a number of notations for modelling agent ...