<--- 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

Microsoft Word - JT-NM Phase 2 Interim Report for IBC.docx

Microsoft Word - JT-NM Phase 2 Interim Report for IBC.docx

DocID: 1ru0Y - View Document

Microsoft Word - klippel2009chorematic.docx

Microsoft Word - klippel2009chorematic.docx

DocID: 1rshc - View Document

Towards a methodology for rigorous development of generic requirements patterns

Towards a methodology for rigorous development of generic requirements patterns

DocID: 1rqUO - View Document

Content Zoomable User Interfaces Jazz: An Extensible Zoomable User Interface Graphics Toolkit in Java

Content Zoomable User Interfaces Jazz: An Extensible Zoomable User Interface Graphics Toolkit in Java

DocID: 1rqI3 - View Document

California Water and Environmental Modeling Forum Promoting Excellence and Consensus in Water and Environmental Modeling P.O. Box 488, Sacramento, CAuu  u www.cwemf.org CWEMF’s Peer

California Water and Environmental Modeling Forum Promoting Excellence and Consensus in Water and Environmental Modeling P.O. Box 488, Sacramento, CAuu u www.cwemf.org CWEMF’s Peer

DocID: 1rp5v - View Document