Results 31 to 40 of about 3,756 (148)
Generating natural language specifications from UML class diagrams [PDF]
, 2008 Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been developed to aid the transition from informal Natural Language requirements to
A Abbott +19 more
core +2 more sources
Collaborative Verification-Driven Engineering of Hybrid Systems
, 2014 Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements.
Mitsch, Stefan +2 more
core +1 more source
A Practical Environment to Apply Model-Driven Web Engineering [PDF]
, 2009 The application of a model-driven paradigm in the development of Web Systems has yielded very good research results. Several research groups are defining metamodels, transformations, and tools which offer a suitable environment, known as model-driven ...
Escalona Cuaresma, María José +7 more
core +1 more source
QuantUM: Quantitative Safety Analysis of UML Models
, 2011 When developing a safety-critical system it is essential to obtain an assessment of different design alternatives. In particular, an early safety assessment of the architectural design of a system is desirable.
A. Aziz +23 more
core +2 more sources
Supporting the reconciliation of models of object behaviour [PDF]
, 2004 This paper presents Reconciliation+, a method which identifies overlaps between models of software systems behaviour expressed as UML object interaction diagrams (i.e., sequence and/or collaboration diagrams), checks whether the overlapping elements of ...
Kim, Hyoseob, Spanoudakis, George
core +2 more sources
UML-F: A Modeling Language for Object-Oriented Frameworks [PDF]
, 2014 The paper presents the essential features of a new member of the UML language family that supports working with object-oriented frameworks. This UML extension, called UML-F, allows the explicit representation of framework variation points.
Fontoura, Marcus +2 more
core +1 more source
Identification of Missing Knowledge in MBSE System Models Using Graph‐Based Machine Learning
Systems Engineering, EarlyView.ABSTRACT The design and development of complex aerospace systems pose significant challenges due to their growing complexity. Iterative design processes, guided by formal specifications, strive to refine initially vague characteristics through multiple stages.
Esma Karagoz +2 more
wiley +1 more source
Functional Size Measurement With Conceptual Models: A Systematic Literature Review
Journal of Software: Evolution and Process, Volume 37, Issue 5, May 2025.Efficient FSM methods are crucial in today's competitive software market, but incomplete specifications hinder accurate size estimation. A systematic literature review spanning 2004‐2024 evaluated 13 studies on FSM methods integrating conceptual models.
Ala Arman +3 more
wiley +1 more source
Using an Architecture Description Language to Model a Large- Scale Information System – An Industrial Experience Report [PDF]
, 2012 An organisation that had developed a large Information System wanted to embark on a programme of significant evolution for the system. As a precursor to this, it was decided to create a comprehensive architectural description. T
Woods, Eoin, Bashroush, Rabih
core +1 more source
Models2Code: Autonomous model‐based generation to expedite the engineering process
Systems Engineering, Volume 28, Issue 2, Page 224-237, March 2025.Abstract Insufficient resources and high costs are hindering industrial development, potentially impeding adaptation to market demands. Overcoming this challenge necessitates advancements in software engineering techniques to streamline processes and meet industrial requirements. Crucially, automating manual tasks and enhancing interoperability between
Cristina Paniagua, Fernando Labra Caso
wiley +1 more source