Requirements for a dynamic interface model of IEC 61499 Function Blocks
B Wiesmayr, A Zoitl - 2020 25th IEEE International Conference …, 2020 - ieeexplore.ieee.org
… for a possible extension of the standard IEC 61499. … architectures: The design process starts
with capturing requirements and describing the dynamic behavior, for which models such as …
with capturing requirements and describing the dynamic behavior, for which models such as …
Easymodel: A refinement-based modeling and verification approach for self-adaptive software
DS Han, QL Yang, JC Xing, GL Ma - Journal of Computer Science and …, 2020 - Springer
… introduction to UML extending mechanism and the Event-B model, … using carrier sets,
constants, axioms and theorems, and a machine describes the dynamic structure of a system using …
constants, axioms and theorems, and a machine describes the dynamic structure of a system using …
A software architecture perspective about Moodle flexibility for supporting empirical research of teaching theories
… the implementation of the dynamic computational behavior … point of view, focusing on the
lessons learnt extending Moodle … A Software Architectural Style is an abstract description of …
lessons learnt extending Moodle … A Software Architectural Style is an abstract description of …
[PDF][PDF] Deriving UML Logic Architectures of Software Product based on a Cloud Reference Architecture: An Experience Report.
… (NIST) has developed a logical extension of its cloud definition … to deriving a software
architecture from the requirements … cloud architecture from the modeled requirements, we describe …
architecture from the requirements … cloud architecture from the modeled requirements, we describe …
Unified verification and monitoring of executable UML specifications: a transformation-free approach
… This work extends our embedded model interpreter (EMI) … In “Appendix A”, we describe the
considerations that have helped us … The software architecture used for model verification with …
considerations that have helped us … The software architecture used for model verification with …
Challenges in developing sequence diagrams (UML)
TA Kurniawan, LÃ Lam-Son… - Journal of Information …, 2020 - jitecs.ub.ac.id
… our long experiences in teaching software modeling classes … Sequence diagrams are widely
used to describe such a dynamic … have to draw all flows described in the use case scenario. …
used to describe such a dynamic … have to draw all flows described in the use case scenario. …
Approaching pattern catalogues for variability realization in model-based systems and software engineering
… to extend SysML with a custom modeling language … described in the feature model can
have a direct influence on a system or software architecture, eg Sparx Enterprise Architect, model …
have a direct influence on a system or software architecture, eg Sparx Enterprise Architect, model …
Research on design pattern detection method based on UML model with extended image information and deep learning
L Wang, T Song, HN Song, S Zhang - Applied Sciences, 2022 - mdpi.com
… for UML model correctness and consistency checking, data flow diagram description and
checking, software architecture … Besides, it is necessary to describe the dynamic interaction …
checking, software architecture … Besides, it is necessary to describe the dynamic interaction …
Using UML for learning how to design and model cyber-physical systems
L Ordinez, G Eggly, M Micheletto… - … de Tecnologias del …, 2020 - ieeexplore.ieee.org
… that extends UML and can be used to adapt the model to the … use cases: UML use cases are
an agile method to describe the … from UML are used for describing the software architecture. …
an agile method to describe the … from UML are used for describing the software architecture. …
Lightweight software architecture evaluation for industry: A comprehensive review
… It extends and sustains the system by integrating it with other … dynamic behavior of SA. Later
on, the approaches combine … An informal description of requirements, UML diagrams, and …
on, the approaches combine … An informal description of requirements, UML diagrams, and …