Results 211 to 220 of about 5,155,579 (288)

A Collaborative Multi-Touch UML Design Tool

, 2013
Magin, Michael, Kopf, Stephan
openaire   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Tools for Critical Systems Development with UML (Tool Demo)

UML Satellite Activities, 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   +2 more sources

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   +2 more sources

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   +4 more sources

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.
Alexander Egyed
openaire   +2 more sources

Using UML and OCL Models to Realize High-Level Digital Twins

2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2021
Digital twins constitute virtual representations of physically existing systems. However, their inherent complexity makes them difficult to develop and prove correct.
Paula Muñoz, J. Troya, Antonio Vallecillo   +2 more
semanticscholar   +1 more source

Interoperability among UML tools

Proceedings of the 2012 ACM SIGSOFT symposium on Industry Day, 2012
Software architecture has emerged as an important field of software engineering for managing the realm of large-system development and maintenance [1-4]. The main intent of software architecture is to provide intellectual control over a sophisticated system of enormous complexity [5]. There are many definitions of software architecture [6].
Barbi, E, Sabbatino, V, CANTONE, GIOVANNI, D'Angiò, A, FALESSI, DAVIDE   +4 more
openaire   +2 more sources

Adoption of Case Tools & UML

Proceedings of the 2020 9th International Conference on Software and Information Engineering (ICSIE), 2020
This research investigates the role of CASE tools in the software development process by considering importance of CASE in adopting a number of standards. A survey was conducted in six selected companies in Ankara in which semi-structured interviews are conducted with information system managers and developers as key informants.
Osama Ibraheem Ashour Ashour, Tolga Pusatli   +1 more
openaire   +1 more source

UML-based Service Discovery Tool

21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), 2006
The development of service centric systems has been recognised as an important approach for software system development. In this paper, we present a UML-based tool to identify services that can provide the functionality and satisfy properties and constraints of service centric systems specified during the design phase of the development of these ...
G. Spanoudakis, A. Zisman
openaire   +1 more source