More than two decades of research on verification of UML class models: A systematic literature review
Error checking is easy and inexpensive in the initial stages as compared to later stages due
to when the development cycle precedes the development cost and efforts also increase …
to when the development cycle precedes the development cost and efforts also increase …
Verification of fuzzy UML models with fuzzy Description Logic
F Zhang, J Cheng - Applied Soft Computing, 2018 - Elsevier
The fuzzy UML model has been introduced to enable the conceptual modeling of imprecise
data in many applications. How to prevent, detect, and correct errors as early as possible in …
data in many applications. How to prevent, detect, and correct errors as early as possible in …
Formal specification and verification of few combined fragments of UML sequence diagram
NA Zafar - Arabian journal for science and engineering, 2016 - Springer
UML has become a de-facto standard for design and development of object-oriented
systems. On the other hand, UML includes various diagrams and notations which are …
systems. On the other hand, UML includes various diagrams and notations which are …
[PDF][PDF] Formal specification of software design metrics
M Lamrani, Y El Amrani, A Ettouhami - In Proceedings of the 6th …, 2011 - academia.edu
Given the significant interest in applying formal methods to object oriented paradigms, this
paper presents a formal approach to define software design quality metrics upon a formal …
paper presents a formal approach to define software design quality metrics upon a formal …
在軟體反向工程中針對UML 結構模型圖之線上品質評核系統
CY Yang - 2017 - ir.lib.ncu.edu.tw
摘要(中) 由於現今軟體環境之高度不確定性與市場的快速變遷, 使得軟體專案時常被要求在更短
的時間內完成開發. 因此開發團隊常採取例如敏捷方式與彈性作法, 省略系統分析設計等文件化 …
的時間內完成開發. 因此開發團隊常採取例如敏捷方式與彈性作法, 省略系統分析設計等文件化 …
[图书][B] Beschreibung und konsistente Komposition von Bausteinen für den Architekturentwurf von Softwaresystemen
C Deiters - 2015 - isse.tu-clausthal.de
Kurzfassung Die Architektur eines Softwaresystems legt die grundlegenden Eigenschaften,
Konzepte und Strukturen des Systems fest. Beim Entwurf der Softwarearchitektur wird auf …
Konzepte und Strukturen des Systems fest. Beim Entwurf der Softwarearchitektur wird auf …
[PDF][PDF] Программно-математические средства рефакторинга UML-диаграмм классов с учётом заданных критериев качества
ЕВ Никульчев - dblib.rsreu.ru
МИНОБРНАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ
БЮДЖЕ Page 1 МИНОБРНАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ …
БЮДЖЕ Page 1 МИНОБРНАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ ФЕДЕРАЛЬНОЕ …
Methods, Algorithms and Software for the UML Class Diagram Refactoring
O Deryugina, E Nikulchev - … on Modern Information Technology and IT …, 2017 - Springer
This article considers the problem of UML class diagram refactoring. It gives a brief overview
of the approaches to the UML class diagram describing, transformation and refactoring …
of the approaches to the UML class diagram describing, transformation and refactoring …
Una propuesta para la formalización del diagrama de clases en el lenguaje Maude
FA Isaza, DAÁ Eraso, FJM Arboleda - Revista Politécnica, 2016 - revistas.elpoli.edu.co
El diagrama de clases es una herramienta para el desarrollo de software orientado por
objetos. Es esencial que su interpretación por parte de cualquier analista carezca de …
objetos. Es esencial que su interpretación por parte de cualquier analista carezca de …
[PDF][PDF] Spatio-Temporal UML Modeling and Verifying with Description Logic.
F Zhang, DX Cao, JW Cheng - Journal of Information Science & …, 2019 - drive.google.com
Spatio-temporal data modeling is an important basis for spatio-temporal data management.
Unified Modeling Language (UML) is a widely used modeling language. Therefore, how to …
Unified Modeling Language (UML) is a widely used modeling language. Therefore, how to …