A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

The integration of information technologies into medical systems has led to an increase in digitalization, which results in enormous possibilities, but also challenges in system development. The ever-growing complexity of modern medical devices (MD) requir ...

In laser based powder-bed fusion of metals (PBF-LB/M), parts are fabricated by melting layers of powder using a high-intensity laser beam. During this process, the material is exposed to rapid cooling rates and intense thermal gradients, which are the unde ...

The potential of automatic code generation through Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, MDE frameworks could make programming accessible fo ...

Safety climate assessment has become a regular practice for most organisations. However, it is often limited to questionnaires, providing only qualitative information. The indicator-based approach takes precedence over decision-making, and practical risk a ...

Code generation is an effective way to drive the complex system development in model-based systems engineering. Currently, different code generators are developed for different modeling languages to deal with the development of systems with multi-domain. T ...

Establishing a reliable value for the axial pipe-soil interface resistance is critical for the design of offshore pipelines. Over the last few years, several independent research groups have modified existing methodologies or devised new testing setups to ...

While chatbots are commonly used to support software developers with repetitive tasks, their use in programming education is still limited, particularly for students in non-technical domains. To better understand the potential for chatbots to support progr ...

With the continuous improvement of system scale and complexity, model-based system engineering (MBSE) is of great importance in the practice of system engineering (SE). MBSE has been widely concerned in industry, especially in the field of complex equipmen ...

Data-driven and model-driven methodologies can be regarded as competitive fields since they tackle similar problems such as prediction. However, these two fields can learn from each other to improve themselves. Indeed, data-driven methodologies have been d ...

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalism of system architectures for supporting model-based requirement elicitation, specification, design, deve ...

Programming languages and systems have failed to address the security implications of the increasingly frequent use of public libraries to construct modern software. Most languages provide tools and online repositories to publish, import, and use libraries ...

Evaluating earthquake-induced losses, such as structural repair costs, downtime and casualties, is becoming a standard practice within the performance-based earthquake engineering framework. Nonetheless, this evaluation is a demanding task that requires de ...

Performance-based earthquake engineering (PBEE) has become an increasingly popular framework to design, retrofit and manage structures. This probabilistic framework integrates data from the seismic hazard, structural response, damage fragility and damage c ...

Wannier90 is an open-source computer program for calculating maximally-localised Wannier functions (MLWFs) from a set of Bloch states. It is interfaced to many widely used electronic-structure codes thanks to its independence from the basis sets representi ...

In this thesis, the author proposes a circular system development model which considers all the stages in a typical development process for industrial systems. In particular, the present work shows that the use of virtual prototyping at early stages of the ...

Recent postearthquake missions have shown that reinforced concrete (RC) wall buildings can experience critical damage owing to lap splices, which led to a recent surge in experimental tests of walls with such constructional details. Most of the 16 wall tes ...

Performance and reliability are important yet conflicting properties of systems software. Software today often crashes, has security vulnerabilities and data loss, while many techniques that could address such issues remain unused due to performance concer ...

In this case study, we apply the architecture-based design approach to the control software of the CubETH satellite. Architectures are a means for ensuring global coordination properties and thus, achieving correctness of complex systems by construction. T ...

Software systems tend to increase over time in size and complexity. Their development usually spans a long period of time and often results in systems that are hard to understand, debug and maintain. Architectures are common means for organising coordinati ...

Software Defined Networking (SDN) is a novel approach to building computer networks. Improved flexibility, simplified management and cost reduction promised by SDN makes many see it as the future of networking. The main insight of SDN is the separation of ...

A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules

Chat with Graph Search

Metamodel for Safety Risk Management of Medical Devices Based on ISO 14971

Advancing efficiency and reliability in thermal analysis of laser powder-bed fusion

Chat2Code: A Chatbot for Model Specification and Code Generation, The Case of Smart Contracts

Safety climate in university laboratories. Part I: model development and practical application

Code Generation Approach Supporting Complex System Modeling based on Graph Pattern Matching

Drained Axial Pipe-Soil Resistance at Low Confinement Using Tilt Table and Direct Shear Tests

Challenges and Opportunities in Integrating Interactive Chatbots into Code Review Exercises: A Pilot Case Study

Model-based Systems Engineering Papers Analysis based on Word Cloud Visualization

Bridging the gap between model-driven and data-driven methods in the era of Big Data

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Enclosure: Language-Based Restriction of Untrusted Libraries

EaRL: An Open-Source Software for Earthquake Risk, Loss and Lifecycle Assessment

EaRL—Software for Earthquake Risk, Loss and Lifecycle Analysis

Wannier90 as a community code: new features and applications

Virtual Prototyping Methodology for Power Automation Cyber-Physical-Systems

Influence of Lap Splices on the Deformation Capacity of RC Walls. I: Database Assembly, Recent Experimental Data, and Findings for Model Development

Elastic Program Transformations : Automatically Optimizing the Reliability/Performance Trade-off in Systems Software

Architecture-based Design: A Satellite On-board Software Case Study

Modelling Architecture Styles

Measuring and Managing Switch Diversity in Software Defined Networks