<--- Back to Details
First PageDocument Content
Scientific modeling / Differential equations / Diagrams / Software architecture / Architecture description language / Modeling language / Hybrid system / Object Process Methodology / Hybrid automaton / Component-based software engineering / Conceptual model / Model checking
Date: 2012-02-20 08:24:13
Scientific modeling
Differential equations
Diagrams
Software architecture
Architecture description language
Modeling language
Hybrid system
Object Process Methodology
Hybrid automaton
Component-based software engineering
Conceptual model
Model checking

TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.1.A-2

Add to Reading List

Source URL: spes2020.informatik.tu-muenchen.de

Download Document from Source Website

File Size: 136,17 KB

Share Document on Facebook

Similar Documents

MoDeLS Project in scientific modeling for late elementary and early middle school students

DocID: 1vkK4 - View Document

Bayesian item response modeling: an application for universities admission tests Javier Mart´ınez. Scientific Computing & Statistics Dept., Universidad Sim´on Bol´ıvar, Venezuela.

Bayesian item response modeling: an application for universities admission tests Javier Mart´ınez. Scientific Computing & Statistics Dept., Universidad Sim´on Bol´ıvar, Venezuela.

DocID: 1vamk - View Document

International Journal of Shape Modeling, Vol. 0, No–000 cfWorld Scientific Publishing Company AN INTERACTIVE GALLERY ON THE INTERNET: “SURFACES BEYOND THE THIRD DIMENSION”

International Journal of Shape Modeling, Vol. 0, No–000 cfWorld Scientific Publishing Company AN INTERACTIVE GALLERY ON THE INTERNET: “SURFACES BEYOND THE THIRD DIMENSION”

DocID: 1tJ3F - View Document

c 2010 Institute for Scientific 
 Computing and Information INTERNATIONAL JOURNAL OF NUMERICAL ANALYSIS AND MODELING

c 2010 Institute for Scientific Computing and Information INTERNATIONAL JOURNAL OF NUMERICAL ANALYSIS AND MODELING

DocID: 1tkpk - View Document

EXECUTIVE SUMMARY  Building a Cyberinfrastructure for Environmental System Science: Modeling Frameworks, Data Management, and Scientific Workflows About the Cover: Envisioned is a community-driven cyberinfrastructure sup

EXECUTIVE SUMMARY Building a Cyberinfrastructure for Environmental System Science: Modeling Frameworks, Data Management, and Scientific Workflows About the Cover: Envisioned is a community-driven cyberinfrastructure sup

DocID: 1t5Ju - View Document