Results 231 to 240 of about 2,433 (273)

vUML: a tool for verifying UML models

14th IEEE International Conference on Automated Software Engineering, 2003
The Unified Modelling Language (UML) is a standardised notation for describing object oriented software designs. We present vUML, a tool that automatically verifies UML models where the behaviour of the objects is described using UML Statecharts diagrams.
J. Lilius, I.P. Paltor
openaire   +1 more source

Tool support for verifying UML activity diagrams

IEEE Transactions on Software Engineering, 2004
We describe a tool that supports verification of workflow models specified in UML activity diagrams. The tool translates an activity diagram into an input format for a model checker according to a mathematical semantics. With the model checker, arbitrary propositional requirements can be checked against the input model.
Eshuis, H., Wieringa, Roelf J.
openaire   +3 more sources

Tools for secure systems development with UML

International Journal on Software Tools for Technology Transfer, 2007
For model-based development to be a success in practice, it needs to have a convincing added-value associated with its use. Our goal is to provide such added-value by developing tool-support for the analysis of UML models against difficult system requirements.
Jan Jürjens, Pasha Shabalin
openaire   +1 more source

Smart UML - Assignment Management Tool for UML Diagrams

2022 4th International Conference on Advancements in Computing (ICAC), 2022
D.N.H Weerasinghe, K.A.T Thiwanka, H.B.C Jayasith, P.A.D Onella Natalie, U.U. Samantha Rajapaksha, Anuradha Karunasena   +5 more
openaire   +1 more source

UMLS language and vocabulary tools.

AMIA ... Annual Symposium proceedings. AMIA Symposium, 2004
A variety of resources developed for use with the Unified Medical Language System are presented. These resources include the UMLS Knowledge Source Server, the SPECIALIST lexicon, a set of lexical tools that work with the SPECIALIST lexicon, and a variety of other NLP document processing tools.
Allen C, Browne, Guy, Divita, Alan R, Aronson, Alexa T, McCray   +3 more
openaire   +1 more source

MetaCoDe: A Lightweight UMLS Mapping Tool

2007
In the course of our current research on automatic information extraction from medical electronic literature, we have been facing the need to map big corpora onto the concepts of the UMLS Metathesaurus, both in French and in English. In order to meet our specific needs in terms of processing speed, we have developed a lightweight UMLS tagger, MetaCoDe,
Thierry Delbecque, Pierre Zweigenbaum
openaire   +1 more source

UML Miner: A Tool for Mining UML Diagrams

2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2023
Pasquale Ardimento, Lerina Aversano, Mario Luca Bernardi, Vito Alessandro Carella, Marta Cimitile, Michele Scalera   +5 more
openaire   +1 more source

Tools for Critical Systems Development with UML (Tool Demo)

2005
The high quality development of critical systems (be it dependable, security-critical, real-time, or performance-critical systems) is difficult. Many critical systems are developed, deployed, and used that do not satisfy their criticality requirements, sometimes with spectacular failures.
Jan Jürjens, Pasha Shabalin
openaire   +1 more source

UML CASE Tool Supporting OLE Compound Document

11th Asia-Pacific Software Engineering Conference, 2005
Research and development projects, in the past decade, have shown that object-oriented (OO) technology could importantly contribute in productivity and reusability improvement. There are various research areas related to OO technology. Two of major research fields in this area are concerned in issues for CASE tools and component- based technologies ...
null Gilrim Choi, null Taegyun Kim
openaire   +1 more source

UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models

29th International Conference on Software Engineering (ICSE'07), 2007
Large design models contain thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard to detect new inconsistencies while the model changes but it also hard to keep track of known inconsistencies.
openaire   +1 more source