Results 11 to 20 of about 5,155,579 (288)
BitML: A UML Profile for Bitcoin Blockchain [PDF]
International Journal of Web Research, 2023 Blockchain is a technology that enables distributed and secure data structures for various business domains. Bitcoin is a notable blockchain application that is a decentralized digital currency with immense popularity and value.
Behrouz Sefid-dashti +2 more
doaj +1 more source
Construction of Fuzzy Ontologies from Fuzzy UML Models [PDF]
International Journal of Computational Intelligence Systems, 2013 The success and proliferation of the Semantic Web depends heavily on construction of Web ontologies. However, classical ontology construction approaches are not sufficient for handling imprecise and uncertain information that is commonly found in many ...
Fu Zhang, Z. M. Ma
doaj +1 more source
A Tool to Automate Student UML diagram Evaluation
, 2021 Unified modelling language (UML) is the accepted standard and modelling language for modeling in software development process. UML is widely used by most course tutors in teaching modules of software engineering and system analysis and design.
Salisu Modi +2 more
semanticscholar +1 more source
Incremental Database Design using UML-B and Event-B [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Correct operation of many critical systems is dependent on the data consistency and integrity properties of underlying databases. Therefore, a verifiable and rigorous database design process is highly desirable.
Ahmed Al-Brashdi +2 more
doaj +1 more source
Design and evaluation of a collaborative UML modeling environment in virtual reality
Journal of Software and Systems Modeling, 2022 Modeling is a key activity in conceptual design and system design. Through collaborative modeling, end-users, stakeholders, experts, and entrepreneurs are able to create a shared understanding of a system representation.
Enes Yigitbas +3 more
semanticscholar +1 more source
UCLAONT: Ontology-Based UML Class Models Verification Tool
Applied Sciences, 2022 The software design model performs an important role in modern software engineering methods. Especially in Model-Driven Engineering (MDE), it is treated as an essential asset of software development; even programming language code is produced by the ...
Adel Rajab +6 more
doaj +1 more source
User Assistance Characteristics of the USE Model Checking Tool [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints.
Frank Hilken, Martin Gogolla
doaj +1 more source
PEMODELAN DIAGRAM UML SISTEM PEMBAYARAN TUNAI PADA TRANSAKSI E-COMMERCE
JTIK (Jurnal Teknik Informatika Kaputama), 2020 The use of technology in the business world can help make work easier. Technology makes data stored more standardized and processing data into information faster.
Muhamad Syarif, Wahyu Nugraha
semanticscholar +1 more source
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