Results 11 to 20 of about 5,050,821 (258)
Jordanian Journal of Computers and Information Technology, 2020 This paper deals with modeling and verification of software systems by combining UML diagrams and Pi-calculus. UML 2.0 Activity diagrams are used for modeling the behavior of software systems, while Pi-calculus is used for semantic and verification ...
Raida Elmansouri +4 more
doaj +1 more source
IEEE Access, 2021 Behavior modeling grounded in the Discrete-Event System Specification (DEVS) and Unified Modeling Language (UML) activity specifications is crucial for simulating dynamical systems.
Abdurrahman Alshareef +1 more
doaj +1 more source
Informatics in Education, 2023 This research discusses the use of a gamified web platform for studying software modeling with Unified Modeling Language (UML). Although UML is constantly being improved and studied, many works show that there is difficulty in teaching and learning the ...
Felipe A. Feichas, Rodrigo D. Seabra
doaj +1 more source
UML2SC: A tool for developing complex electronic systems using UML and SystemC
Revista Facultad de Ingeniería Universidad de Antioquia, 2013 In this paper, we propose a transformation process in which SystemC skeleton code is extracted from UML models that describe hardware/software based systems. The tool UML2SC, which is based on Java libraries, is also introduced.
Blanca Alicia Correa +5 more
doaj +1 more source
Information systems validation using formal models [PDF]
Management Science Letters, 2014 During the past few years, there has been growing interest to use unified modeling language (UML) to consider the functional requirements. However, lacking a tool to detect the accuracy and the logic of diagrams in this language makes a formal model ...
Azadeh Sarram , Ali Harounabadi
doaj +1 more source
Applying Model Driven Engineering Techniques and Tools to the Planets Game Learning Scenario
Journal of Interactive Media in Education, 2007 CPM (Cooperative Problem-Based learning Metamodel) is a visual language for the instructional design of Problem-Based Learning (PBL) situations. This language is a UML profile implemented on top of the Objecteering UML Case tool.
Thierry Nodenot +3 more
doaj +1 more source
AUTOMATIC GENERATION OF UML DIAGRAMS FROM SCENARIO-BASED USER REQUIREMENTS
Jordanian Journal of Computers and Information Technology, 2021 Effective software modeling tools are necessary for successful achievement of software engineering activities especially when working in the analysis and design phase.
Abdelkareem M. Alashqar
doaj +1 more source
UML class diagram object-oriented metrics: algorithms of calculation
ITM Web of Conferences, 2018 The paper proposes algorithms of the object oriented UML class diagram metrics calculation. Metrics include Average CBO, Average DIT, Average NOC, Average DAC, Average NLM, Average NOM, DAC2, SIZE2, and DSC.
Deryugina Olga
doaj +1 more source
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 UML state machines are widely used to specify dynamic systems behaviours. However its semantics is described informally, thus preventing the application of model checking techniques that could guarantee the system safety.
Étienne André +2 more
doaj +1 more source
Technologies, 2022 Visualizations often use the paradigm of a Cartesian space for the presentation of objects and information. Unified Modeling Language (UML) is a visual language used to describe relationships in processes and systems and is heavily used in computer ...
Ira Woodring, Charles Owen
doaj +1 more source