Formal software engineering for computational modelling Formal - PowerPoint PPT Presentation

Sep 18, 2023 •40 likes •111 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

Recommend

Formal Definition of a Finite Automaton Formal Definition of a Finite Automaton p.1/23 Why a

Formal Definition of a Finite Automaton Formal Definition of a Finite Automaton p.1/23 Why a formal definition? A formal definition is precise: Formal Definition of a Finite Automaton p.2/23 Why a formal definition? A formal

715 views • 70 slides

Formal Methods and Cryptography Lecture 25 Formal Methods Formal Methods Logical foundations

Formal Methods and Cryptography Lecture 25 Formal Methods Formal Methods Logical foundations of computer science Formal Methods Logical foundations of computer science A language that machines can understand Formal Methods Logical

1.67k views • 123 slides

Formal Methods and Cryptography Lecture 24 1 Formal Methods 2 Formal Methods Logical

Formal Methods and Cryptography Lecture 24 1 Formal Methods 2 Formal Methods Logical foundations of computer science 2 Formal Methods Logical foundations of computer science A language that machines can understand 2 Formal Methods

1.22k views • 121 slides

Introduction to Software Testing Software Testing - Module 1 Part 1 The Software Engineering

Introduction to Software Testing Software Testing - Module 1 Part 1 The Software Engineering Context Software Testing Module 1 Software Engineering Context Software Engineering Context Software Engineering Context Software

461 views • 8 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

615 views • 26 slides

Software Engineering Topics Computer science v. software engineering Definition of

Software Engineering Topics Computer science v. software engineering Definition of software engineering Types of software The nature of software Software history and the software crisis Software quality Elements of

820 views • 67 slides

Formal Verification of RISC-V cores with riscv-formal Clifford Wolf CTO, Symbiotic EDA

Formal Verification of RISC-V cores with riscv-formal Clifford Wolf CTO, Symbiotic EDA http://www.clifford.at/papers/2018/riscv-formal/ About assertion based formal verification (formal ABV) Assertion based verification (ABV) Uses

786 views • 39 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

635 views • 27 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

677 views • 29 slides

Annex-4 Formal vs. Non-formal Debate ICT in Non-Formal Education ad hoc, not

Annex-4 Formal vs. Non-formal Debate ICT in Non-Formal Education ad hoc, not hierarchically structured, standardized chronologically graded, for the standardized Anir Chowdhury for the mainstream dropouts Policy Advisor

396 views • 5 slides

Formal Theory, Informally Jonathan Worthington London Perl Workshop 2006 Formal Theory,

Formal Theory, Informally Jonathan Worthington London Perl Workshop 2006 Formal Theory, Informally I need rat poison and beer to drink. Formal Theory, Informally I need [rat poison] and [beer to drink]. Formal Theory,

1.12k views • 86 slides

Formal Theory, Informally Jonathan Worthington French Perl Workshop 2006 Formal Theory,

Formal Theory, Informally Jonathan Worthington French Perl Workshop 2006 Formal Theory, Informally I need rat poison and beer to drink. Formal Theory, Informally I need [rat poison] and [beer to drink]. Formal Theory,

1.01k views • 85 slides

Testing/Simulation Formal Analysis Real System Formal Model Partial coverage Complete coverage

Formal Methods Assurance for TTP John Rushby Computer Science Laboratory SRI International Menlo Park CA USA John Rushby, SR I Formal Methods Assurance for TTP: 1 Formal Methods for Analysis and Assurance: The Idea Testing/Simulation Formal

200 views • 6 slides

1Initial Ideas on Formal Methods UIT2206: The Importance of Being Formal Martin Henz January

Preliminaries Hallmarks of a Formal Approach Formal Systems in Information Technology 1Initial Ideas on Formal Methods UIT2206: The Importance of Being Formal Martin Henz January 15, 2014 Generated on Wednesday 15 th January, 2014, 09:54

519 views • 49 slides

Formal Theory, Informally Jonathan Worthington German Perl Workshop 2007 Formal Theory,

Formal Theory, Informally Jonathan Worthington German Perl Workshop 2007 Formal Theory, Informally RED TAPE HOLDS UP NEW BRIDGE Formal Theory, Informally INCLUDE YOUR CHILDREN WHEN BAKING COOKIES Formal Theory, Informally PORTABLE

864 views • 85 slides

Lecture Outline 1. The lecturer 2. Introduction to Formal Methods DD2452 Formal Methods 3.

Lecture Outline 1. The lecturer 2. Introduction to Formal Methods DD2452 Formal Methods 3. Course syllabus 4. Course objectives Introductory Lecture 5. Course organization 1. Lecturer 2. Formal Methods Name: Dilian Gurov Formal

57 views • 3 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

665 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

440 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

519 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

469 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

378 views • 18 slides

Download document

More recommend

Explore More Topics

Stay informed with curated content and fresh updates.

animals pets art culture automotive transportation business finance computer internet construction architecture education-career electronics communication