Results 31 to 40 of about 244,450 (172)
Engineering Reports, Volume 2, Issue 6, June 2020., 2020 The article describes the use of directed graphs to define architecture viewpoints that define a metamodel, architecture viewpoints for an architecture framework, its implementation, and changes to the underlying model. These are validated against the TRAK architecture framework.
Nic Plum
wiley +1 more source
An Approach for Reconstructing Applications to Develop Container‐Based Microservices
Mobile Information Systems, Volume 2020, Issue 1, 2020., 2020 Microservices are small‐scale services that can operate independently. An application consisting of microservice units can be developed independently as a service unit, and it can handle individual logic without being affected by other services. In addition, it is possible to rapidly distribute the configured microservices by a container, and a ...
Joonseok Park +3 more
wiley +1 more source
A Practical Example for Model-Driven Web Requirements [PDF]
, 2008 The number of approaches for Web environments has grown very fast in the last years: HDM, OOHDM, and WSDM were among the first, and now a large number can be found in the literature.
Escalona Cuaresma, María José +5 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
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
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
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
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
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