Results 121 to 130 of about 2,433 (273)
Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams [PDF]
, 2011 Asadullah Shaikh +2 more
openalex +1 more source
Safety Considerations in Deployment of Robotic Systems – A Systematic Review
Journal of Field Robotics, Volume 43, Issue 1, Page 5-33, January 2026.ABSTRACT An in‐depth understanding of the risks related to robotic systems is crucial to guarantee safety throughout all stages of robot design and operations. This required a thorough risk assessment following international standards. This study presents a systematic review of previous research on safety considerations in the design of robotic systems,
Adedire D. Adesiji +6 more
wiley +1 more source
A metamodel specification for uml tools adaptation
, 2013 Dans cette thèse, nous présentons une approche basée sur les modèles pour la conception des éditeurs graphiques de diagrammes. Ceci permet la spécification rapide de ces éditeurs à un niveau d'abstraction élevé, afin de modéliser et de réutiliser, les langages visuels qui y sont manipulés. Dans un premier temps, nous voulons pouvoir spécifier, à l'aide
openaire +2 more sources
MBSE Co‐Pilot: A Research Roadmap
Systems Engineering, Volume 29, Issue 1, Page 20-33, January 2026.ABSTRACT As the complexity of engineered systems continues to increase, Model‐Based Systems Engineering (MBSE) methodologies, languages, and tools are increasingly insufficient to meet the demands of modern systems engineering. This paper proposes a research roadmap for the development of an AI‐driven machine, referred to as MBSE Co‐Pilot, designed to ...
Wenheng Zhang +6 more
wiley +1 more source
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude. [PDF]
, 2010 Farid Mokhati +3 more
openalex +1 more source
Designing and implementing a tool to transform source code to UML diagrams
, 2021 Rasha Gh. Alsarraj +2 more
openalex +2 more sources
Time‐ and Behaviour‐Preserving Execution of Determinate Supervisory Control
IET Cyber-Physical Systems: Theory &Applications, Volume 11, Issue 1, January/December 2026.The activity framework is a model‐based framework incorporating a model of activities with determinate timing and behaviour, and a strong mathematical foundation based on max‐plus algebra that allows efficient timing analysis and optimisation of CPS. Preserving the specified behaviour and the model‐predicted timing in an implementation is challenging ...
Alireza Mohamadkhani +3 more
wiley +1 more source
Design and Development of a Blockchain‐Enabled Decentralized Framework for Academic Microcredentials
IET Software, Volume 2026, Issue 1, 2026.Traditional higher education faces significant challenges, including rising costs, inflexibility, and a disconnect from workforce demands, while current credentialing systems are often centralized and vulnerable to fraud. Microcredentials have emerged as a solution, yet they lack integration into formal degree pathways and face issues with recognition ...
Abrar Mahbub Tanim +4 more
wiley +1 more source
Perancangan Sistem Informasi Penjualan Online Barang Graffiti Pada Toko Outline Graff Store Semarang
JOINS (Journal of Information System), 2017 Perkembangan teknologi informasi yang pesat sangat berpengaruh dalam dunia bisnis. Pada era globalisasi masyarakat menuntut penyajian informasi yang disajikan dapat berjalan dengan cepat , akurat dan mudah digunakan.
Renaldi Aulia Sani, Lalang Erawan
doaj