Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe
M Abbas, R Rioboo, CB Ben-Yelles… - Journal of Systems …, 2021 - Elsevier
Abstract The UML Activity Diagram (UAD) is mostly used for modeling behavioral aspects of
objects and systems. OCL (Object Constraint Language) is used together with UAD to …
objects and systems. OCL (Object Constraint Language) is used together with UAD to …
Highsimb: A Concrete Blockchain High Simulation with Contract Vulnerability Detection for Ethereum and Hyperledger Fabric
P Huang, W Jie, AS Voundi Koe, R Hou, H Yan… - … Conference on Machine …, 2022 - Springer
Blockchain testing plays a critical role in the maturation of blockchain technology by
ensuring the quality of implemented functional and non-functional requirements. In the new …
ensuring the quality of implemented functional and non-functional requirements. In the new …
Ανάπτυξη εφαρμογής με εξατομίκευση και δημιουργία διαγραμμάτων UML πάνω σε αυτήν
Γ Τσίτσος - 2024 - dione.lib.unipi.gr
Ο βασικός σκοπός της εργασίας είναι η ανάλυση και η παρουσίαση της διαδικασίας
ανάπτυξης λογισμικού με χρήση της γλώσσας μοντελοποίησης UML (Unified Modeling …
ανάπτυξης λογισμικού με χρήση της γλώσσας μοντελοποίησης UML (Unified Modeling …
Pengembangan Sistem Manajemen Akuntansi Keuangan Perusahaan untuk Toko Roti Amaya berbasis Website menggunakan React Js
FH Izzati, N Santoso - Jurnal Pengembangan Teknologi Informasi dan …, 2021 - j-ptiik.ub.ac.id
Abstrak Toko Roti Amaya merupakan perusahaan menengah di Kota Malang yang bergerak
di bidang produksi dan penjualan roti serta kue. Toko Roti Amaya menggunakan Microsoft …
di bidang produksi dan penjualan roti serta kue. Toko Roti Amaya menggunakan Microsoft …
Raw Material Usage and Process Order Module Development using SAP: A Case Study from General Packaging Manufacturer
R Richard, JR Setiawan… - PIKSEL: Penelitian Ilmu …, 2020 - jurnal.unismabekasi.ac.id
ERP systems widely used in manufacturing companies, as manufacturing order and costing
become a key component in the core business process. In order to increase the …
become a key component in the core business process. In order to increase the …
Analiza i modeliranje podvorbenog sustava s mogućnošću predbilježbe
K Manolić - 2020 - zir.nsk.hr
Sažetak Svrha istraživanja u ovom radu je analizirati i prikazati značajke podvorbenih
sustava s mogućnošću predbilježbi te definirati glavne zahtjeve i procese unutar takvog …
sustava s mogućnošću predbilježbi te definirati glavne zahtjeve i procese unutar takvog …