The focus of re-search is how to combine the advantages of UML diagrams and Event- B methods, which is accurate but difficult to understand and apply.
Abstract
Since the emergence of software engineering in the late 1960s, require-ments analysis has always been an important theme of software development. In the process of software development, many people are needed to coop-erate to ensure the stability and reliability of the software. According to the degree of formalization in the software development process, software en-gineering methods can be divided into three types: non-formal, semi-formal and formal. In object- oriented software development, UML has become a de facto modeling standard. However, although UML is intuitive and easy to understand and apply, it has inaccurate semantics, and UML is a semi-formal modeling language that cannot be formally verified. Event-B is a formal method based on a large number of mathematical predicate logic, which is accurate but difficult to understand and apply. Therefore, how to combine the advantages of UML diagrams and Event- B methods is the focus of re-search.
An MDD based approach to develop systems with users to reduce the complexity of ultragraph creation by applying the MDD specifications, especially automation will improve the development process with respect to efficiency and quality.
Murtadha N. Rasol· Journal of Education for Pur...· 0 citations
Large Language Models (LLMs) can assist developers and modelers in many software engineering activities. In the context of model-driven engineering, diagnosing and fixing errors in software specifications is a challenging task, even for human experts. Errors can be subtle, involving a combination of constraints and mod...
Juan Antonio Gómez-Gutiérrez, R. Clarisó· Proceedings of the ACM/IEEE...· 0 citations
Software maintenance occurs throughout the life cycle of the system and is relatively expensive. The Introduction of large language models is changing how software maintenance is conducted. The five areas this paper investigates for the practical applications of large language models in software maintenance are: mainte...
Wen-Qiang Zhang· Journal of Computer Science...· 0 citations
A well-known model for requirements and specifications is used as a basis for a rigorous and uniform description of software development activities, suitable to describe the most popular software life cycles, as well as to describe the properties of software development activities.
Automated assessment of UML class diagrams is essential for scaling software engineering education, with educators adopting both deterministic evaluators and, in recent years, emerging solutions based on Large Language Models. Existing comparisons between the two approaches conflate differences in format and reasoning,...
Giacomo Garaccione, Riccardo Coppola, L. Ardito· Proceedings of the ACM/IEEE...· 0 citations
This paper proposes a methodology for the rapid development of Process-Aware Information Systems (PAIS) based on ontological modeling and category theory, which distinguishes the categorical specification, in which functoriality follows by construction, from its operational implementation, whose conformance is establis...
Borivoj Bogdanović, Vidan Markovic, M. Segedinac et al.· Computer Science and Informa...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
