Abstract: Today, the production of software systems is becoming an activity that is essential to the daily lives of individuals and companies. This laborious process involves several stakeholders who ...
Abstract: The transformation of textual specifications into formal software models is a major challenge in software design automation. This study presents an integrated approach that combines the ...
Abstract: The integration of Artificial Intelligence (AI) tech-nologies into educational settings has paved the way for inno-vative teaching and learning approaches. In Software Engineering (SE) ...
已有一些工具可以根据文本自动生成 UML 时序图,如 PlantUML(https://plantuml.com/zh/)、Mermaid(https://mermaid-js.github.io/mermaid/)等 ...
Abstract: Although Object Management Group (OMG) Unified Modeling Language (UML) introduced Object Constraint Language (OCL) to add formalism as constraints in its models, it still lacks formal ...
Abstract: Voronoi diagram is commonly used to visualize geographical point dataset with a collection of plane-partitioned facets. As the size of the geographical point dataset increases, facets are ...