Towards a New Ontology-based Descriptive Language: OntoObject-Z
M Bettaz, M Maouche - 2023 6th International Conference on …, 2023 - ieeexplore.ieee.org
The ultimate goal of our current research work is to design a new ontology-based language
(OntoObject-Z) suitable for descriptive specifications of hardware/software systems …
(OntoObject-Z) suitable for descriptive specifications of hardware/software systems …
Formal transformation of UML diagram: Use case, class, sequence diagram with Z notation for representing the static and dynamic perspectives of system
The two most critical phases of SDLC are the specification and the designing phase as they
involve the transformation of the semantics from real world domain to computer software …
involve the transformation of the semantics from real world domain to computer software …
Mapping UML activity diagram into z notation
A Halder, R Karmakar - … and Application: Proceedings of ICIDCA 2021, 2022 - Springer
The unified modeling language (UML) is widely used for modeling a system. It captures
different views of the system. But the semantics of UML is semi-formal and sometimes …
different views of the system. But the semantics of UML is semi-formal and sometimes …
[HTML][HTML] A critical analysis and treatment of important UML diagrams enhancing modeling power
F Alhumaidan - Intelligent Information Management, 2012 - scirp.org
Requirements analysis and design specification are serious issues in systems development
because of the semantics involved in transformation of real world problems to computer …
because of the semantics involved in transformation of real world problems to computer …
Integrating UML with service refinement for requirements modeling and analysis
The Unified Modeling Language (UML) is the de facto standard for requirements modeling
and analysis in the software industry. However, it lacks the ability of formal analysis and …
and analysis in the software industry. However, it lacks the ability of formal analysis and …
Possible improvements in UML behavior diagrams
F Alhumaidan, NA Zafar - 2014 International Conference on …, 2014 - ieeexplore.ieee.org
Although, Unified Modeling Language (UML) has become a de-facto standard for design
and specification of object oriented systems but its structures being semi-formal in nature …
and specification of object oriented systems but its structures being semi-formal in nature …
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 …
Knowledge Management System to Improve The Competence of Aglaonema Farmers
Optimization of digital business penetrates in almost business sectors. Digital Business or
online business is becoming increasingly popular in small and medium-sized business in …
online business is becoming increasingly popular in small and medium-sized business in …
Software architecture of modern model checkers
Automated formal verification using model checking is a mature field with many tools
available. We summarize the recent trends in the design and architecture of model checking …
available. We summarize the recent trends in the design and architecture of model checking …
[PDF][PDF] Transformation of class diagrams into formal specification
NA Zafar, F Alhumaidan - … Journal Computer Science and Network Security, 2011 - Citeseer
Requirements analysis and design specification is a serious issue in software engineering
because of semantics involved in the transformation of real world problems to computational …
because of semantics involved in the transformation of real world problems to computational …