Sciweavers

739 search results - page 69 / 148
» Extending the Unified Modeling Language for ontology develop...
Sort
View
CBMS
2007
IEEE
14 years 3 months ago
Embedding the Evidence Information in Guideline Representation Languages
Clinical practice guidelines are widely used to support medical staff in treatment planning and decision-making, whereas, the classification of different recommendations in the C...
Alime Öztürk, Katharina Kaiser, Patrick ...
CAV
2007
Springer
227views Hardware» more  CAV 2007»
14 years 22 days ago
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
Martin Ouimet, Kristina Lundqvist
JUCS
2002
131views more  JUCS 2002»
13 years 8 months ago
An Object-oriented Approach to Design, Specification, and Implementation of Hyperlink Structures Based on Usual Software Develop
: Different models and methodologies for the development of hypermedia systems and applications have emerged in the recent years. Software-technical methods and principles enriched...
Alexander Fronk
IASTEDSE
2004
13 years 10 months ago
Mapping UML statecharts to java code
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
Iftikhar Azim Niaz, Jiro Tanaka
MATES
2005
Springer
14 years 2 months ago
LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
Tibor Bosse, Catholijn M. Jonker, Lourens van der ...