Early validation and verification of system behaviour in model-based systems engineering: a systematic literature review
J Cederbladh, A Cicchetti, J Suryadevara - ACM Transactions on …, 2024 - dl.acm.org
In the Systems Engineering (SE) domain there has been a paradigm shift from document-
based to model-based system development artefacts; in fact, new methodologies are …
based to model-based system development artefacts; in fact, new methodologies are …
Model-driven development of mobile applications: A systematic literature review
Mobile application development for cross platform has been struggling with the increase in
numbers of mobile devices and their specifications (ie screen sizes, resolutions etc.). Model …
numbers of mobile devices and their specifications (ie screen sizes, resolutions etc.). Model …
A model-driven framework for design and verification of embedded systems through SystemVerilog
The demands of system complexity and design productivity for embedded systems can be
managed by simplifying and reusing the design. Furthermore, these systems should be …
managed by simplifying and reusing the design. Furthermore, these systems should be …
A unified model-based framework for the simplified execution of static and dynamic assertion-based verification
The improved productivity and reduced time-to-market are essential requirements for the
development of modern embedded systems and, therefore, the comprehensive as well as …
development of modern embedded systems and, therefore, the comprehensive as well as …
A model driven reverse engineering framework for generating high level UML models from Java source code
Legacy systems are large applications which are significant in performing daily
organizational operations and cannot be upgraded easily especially in the absence of …
organizational operations and cannot be upgraded easily especially in the absence of …
A model-driven framework for data-driven applications in serverless cloud computing
In a serverless cloud computing environment, the cloud provider dynamically manages the
allocation of resources whereas the developers purely focus on their applications. The data …
allocation of resources whereas the developers purely focus on their applications. The data …
Automated model-based test case generation for web user interfaces (WUI) from interaction flow modeling language (IFML) models
Since the emergence of web 2.0, the architecture of web applications has been transformed
significantly and its complexity has grown enormously. In such web applications, the user …
significantly and its complexity has grown enormously. In such web applications, the user …
A novel framework to automatically generate executable web services from bpmn models
Enterprise resource planning (ERP) is a business process management system in which
integrated applications are used to manage business processes in a shared data …
integrated applications are used to manage business processes in a shared data …
A model-driven approach for creating storyboards of web based user interfaces
The primary essence of storyboarding, reducing complexity in uncertain environments and
creating an early visualization of complex system, makes it one of innovative requirement …
creating an early visualization of complex system, makes it one of innovative requirement …
Application of systems modeling language (SysML) and discrete event simulation to address patient waiting time issues in healthcare
A robust health care system is crucial to reducing patient stress and contributing to economic
growth. The future of the health care industry depends upon a reliable and efficient system to …
growth. The future of the health care industry depends upon a reliable and efficient system to …