![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 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](https://www.pdfsearch.io/img/6352356a7fab9ffcddf7865756b447b9.jpg) Date: 2012-02-20 08:24:13Scientific 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-2Add to Reading ListSource URL: spes2020.informatik.tu-muenchen.deDownload Document from Source Website File Size: 136,17 KBShare Document on Facebook
|