Formal software engineering for computational modelling Formal - PowerPoint PPT Presentation

Sep 18, 2023 •40 likes •110 views

Formal software engineering for computational modelling Formal software engineering Focus on the formal, mathematical side of software Ex. Algebra Three problems What are the concepts that have to be used for the construction of

Formal software engineering for computational modelling
Formal software engineering • Focus on the formal, mathematical side of software • Ex. Algebra • Three problems • What are the concepts that have to be used for the construction of software in this domain • What is a good programming notation for these concepts • How can they be implemented as software code • Domain specific language (DSL) • Domain specific embedded language (DSEL)
Software process model for developing DSEL • Establish an appropriate DSL • Validate the suggested DSL • Usefulness • Implementability • Decide the architecture of the software library • Design and implement a prototype • Maintain the library
Establish an appropriate DSL • Algebraic specification • Ring
Validate the suggested DSL • Usefulness • Searching for oil • Implementability • Discretization Elastic wave equation
Software architecture • How to arrange different concepts • Mesh (S or P) • Scalar fields (Discretization) • Tensors (coordinate system)
Results

Download Presentation

Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Formal Specification with Z ch ? = right arrow Software Engineering Software Engineering right

These slides are based on Jonathan Jackys The Way of Z Forward Editor ch ? : CHAR Formal Specification with Z ch ? = right arrow Software Engineering Software Engineering right = Andreas Zeller Saarland University

417 views • 24 slides

E ff ectively Using JML Software Engineering Processes incorporating Formal Specification Joseph

E ff ectively Using JML Software Engineering Processes incorporating Formal Specification Joseph Kiniry Department of Computer Science University College Dublin Software Engineering Processes old-school processes CRC and state-chart based

233 views • 21 slides

Formal Engineering of Reliable Software Natasha Sharygina Carnegie Mellon University LASER 2004

Formal Engineering of Reliable Software Natasha Sharygina Carnegie Mellon University LASER 2004 school Tutorial, Lecture1 1 Project Goals To Build Reliable and Robust Software Systems by 1) Integrating Systems Engineering with Formal

376 views • 24 slides

Department of Computer Science People in Software Engineering: Research at Samik Basu (Formal

Department of Computer Science People in Software Engineering: Research at Samik Basu (Formal Methods) Iowa State University Carl Chang (Requirements Engineering) Gary T. Leavens (Formal Methods, AOP) (summary) Markus Lumpe

322 views • 3 slides

Formal methods for Safety Assessment of Critical Software at RATP Engineering Department --

Formal methods for Safety Assessment of Critical Software at RATP Engineering Department -- RATP/ING/STF/QS/AQL Evguenia DMITRIEVA / Oct 16 2014, Toulouse Plan 1. Industrial Context 2. Formal methods for software safety assessment : PERF 3.

498 views • 32 slides

Formal Methods Software Engineering 2008 Bernd Schoeller ETH Zurich The Grand Challenge The

Formal Methods Software Engineering 2008 Bernd Schoeller ETH Zurich The Grand Challenge The ideal of correct software has long been the goal of research in Computer Science. We now have a good theoretical understanding of how to describe what

806 views • 31 slides

Industrial use of a safe and efficient formal method based software engineering process in

Industrial use of a safe and efficient formal method based software engineering process in avionics Presented by Jean Souyris Airbus Operations SAS Abderrahmane Brahmi*, Marie-Jo Carolus*, David Delmas*, Mohamed Habib Essoussi*, Pascal

547 views • 16 slides

Human factors: Intertwining of formal and empirical methods in software engineering HaPoC

Human factors: Intertwining of formal and empirical methods in software engineering HaPoC Symposium at IACAP-14 Conference of the International Association for Computing and Philosophy Thessaloniki, July 3rd 2014 Gonzalo Gnova

401 views • 12 slides

Types of Formal Specifications for Assertions Concurrent and Reactive Systems Assertions

Outline Formal specifications CISC422/853: Formal Methods Types of formal specifications: in Software Engineering: assertions invariants Computer-Aided Verification safety and liveness properties How to express safety

226 views • 22 slides

Software Engineering Software Applications A.Y. 2020/2021 What is software engineering? What is

Software Engineering Software Applications A.Y. 2020/2021 What is software engineering? What is software engineering? An engineering discipline that is concerned with all aspects of software production from the early stages of system

676 views • 29 slides

Software is one of the most > 1 million Software is one of the most Need more powerful

About Me Born and raised in Germany CISC422/853: Formal Methods Undergrad in Berlin, Germany in Software Engineering: Grad school at CMU in Pittsburgh, PA Computer-Aided Verification At Queens since January 1, 2000

462 views • 13 slides

Software Engineering Software Engineering 200511357 200511357 1 Software

Software Engineering Software Engineering 200511357 200511357 1 Software Engineering 1.Software Engineering The establishment and use of sound engineering principles in order to obtain g g p p economically software

631 views • 27 slides

Software Requirements Engineering Material for Software Engineering for Outsourced &

Software Requirements Engineering Material for Software Engineering for Outsourced & Offshore Development Bertrand Meyer Bernd Schoeller Chair of Software Engineering, ETH Zurich Fall 2005 Softw are Engineering Statements about

1.17k views • 100 slides

Introduction to Software Engineering Week 1 Software Engineering Software Engineering

Introduction to Software Engineering Week 1 Software Engineering Software Engineering Software engineering is "(1) the application of Software engineering is (1) the application of a systematic, disciplined, quantifiable approach to the

610 views • 26 slides

Ants, Mutants and Beyond Combining formal and stochastic techniques to improve software

Nature-inspired Computing Search Based Software Engineering Genetic Improvement Automatic Improvement References References Ants, Mutants and Beyond Combining formal and stochastic techniques to improve software jerry.swan@york.ac.uk

487 views • 26 slides

Introduction to Software Engineering 1 What is Software Engineering? The establishment and

Introduction to Software Engineering 1 What is Software Engineering? The establishment and use of sound engineering principles in order to obtain economically software that is reliable and works efficiently on real machines. As

1.01k views • 59 slides

5/10/2012 Presentation Overview Permitting the Obvious? Project History A Recycled Water

5/10/2012 Presentation Overview Permitting the Obvious? Project History A Recycled Water Regulatory Drivers Success Story in Getting to a Solution Hermiston, Oregon Solution Mark Cullington Screeching Halt Idaho Water

331 views • 5 slides

Project Development under the Oregon DSL In-Lieu Fee Program Dana Hicks Mitigation Policy

Project Development under the Oregon DSL In-Lieu Fee Program Dana Hicks Mitigation Policy Specialist Aquatic Resource Management Program Oregon Department of State Lands March 10, 2016 Environmental Law Institute Training Compensatory

487 views • 21 slides

For personal use only FY09 Financial Highlights For personal use only $m SP Telemedia FY09

For personal use only FY09 Financial Highlights For personal use only $m SP Telemedia FY09 results EBITDA Growth For personal use only FY08 includes 12 months TPG SP Telemedia FY09 results EBITDA to Operating Cash flow Reconciliation For

661 views • 26 slides

Woodpeck odpecker er-DL DL an efficient compiler for accelerating deep learning on

Woodpeck odpecker er-DL DL an efficient compiler for accelerating deep learning on heterogeneous computing architectures Yong Chen Ant Financial, China Dec. 19, 2019 Outline Woodp dpec ecker er-DL DL Overvi rview Key Components

434 views • 26 slides

Using OPM as a DSM Group Members: Amir Hasson Lital Peretz Neta Kedem Ortal Betesh Oshrit Saad

Project No. 6: Using OPM as a DSM Group Members: Amir Hasson Lital Peretz Neta Kedem Ortal Betesh Oshrit Saad Main Subjects: DSM Definition (reminder). Relevance of the articles. OPM Meta-Model Additions. OPM Meta-Model

518 views • 47 slides

8 th DSM Workshop Undoing Operational Steps of Domain-Specific Modeling Languages Tim Hartmann ,

8 th DSM Workshop Undoing Operational Steps of Domain-Specific Modeling Languages Tim Hartmann , Daniel A. Sadilek Humboldt-Universitt zu Berlin Outline Introduction Development of executable DSMLs Animated execution

223 views • 20 slides

Towards Model-Based Testing of Domain-Specific Modelling Languages J. Merilinna, Olli-Pekka

Towards Model-Based Testing of Domain-Specific Modelling Languages J. Merilinna, Olli-Pekka Puolitaival, J. Prssinen VTT TECHNICAL RESEARCH CENTRE OF FINLAND Index Testing Domain-Specific Modelling Languages (DSML) Model-Based

468 views • 20 slides

Diagrammatic Tool for Creating RDF graphs Anca Chi - Raiu , Robert Andrei Buchmann University

Practicing Open Enterprise Modeling within OMiLAB (PrOse) Vienna, 31 October - 2 November, 2018 www.omilab.org Design and Implementation of a Diagrammatic Tool for Creating RDF graphs Anca Chi - Raiu , Robert Andrei Buchmann University Babe

372 views • 18 slides