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

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

• Software engineering
• Formal methods
• Computing
• Theoretical computer science
• Software testing
• Software quality
• Logic in computer science
• Software verification
• Formal verification
• Runtime verification
• Model checking
• Reliability engineering

IA4SI PROJECT “Impact Assessment For Social Innovation” Contract n° WP5: Coordination activities and citizens engagement Deliverable 5.3: Report on the outputs of the third and fourth

Source URL: ia4si.eu

• Project management
• Flanders
• IMinds
• Vrije Universiteit Brussel
• Deliverable
• Participatory design

Ex ante evaluation Area of Kreis Euskirchen Deliverable 6.2 Verkehrsverbund Rhein-Sieg GmbH Birgit Strecker • Bernd Knieling • Katja Naefe January 2016

Source URL: smartmove-project.eu

• Euskirchen
• States of Germany
• North Rhine-Westphalia
• Verkehrsverbund Rhein-Sieg
• Schleiden
• Hellenthal
• Rhein-Sieg-Kreis
• American Motors

Deliverable No. D2.3 Specification of the required integration with other research infrastructures Grant Agreement No.:

Source URL: p-medicine.eu

• Software engineering
• Software requirements
• Requirements elicitation
• Cyberinfrastructure
• Requirement
• ELIXIR
• Use case
• Virtual Physiological Human
• Infrastructure

Source URL: education.alaska.gov

• Project management
• Deliverable

Enhancing the Bilateral S&T Partnership with Ukraine*Advanced Innovative Approach Deliverable Title D2.12 – Impact Analysis and Case Studies

Source URL: www.bilat-ukraina.eu

• Europe
• Framework Programmes for Research and Technological Development
• SWOT analysis
• Ukraine
• CORDIS

D:/Sebastian/MODELBASE/MONFISPOL REPORTS/Delivarables/deliverable_512/text/MMB_user_manual.dvi

Source URL: www.monfispol.eu

• Software
• Array programming languages
• Cross-platform software
• Numerical software
• Linear algebra
• MATLAB
• Mathematical software
• Macroeconomic model
• Economic model
• Conceptual model
• Command-line interface
• Menu

Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D28

Source URL: rodin.cs.ncl.ac.uk

• Software
• Computing
• Rodin tool
• Michael Butler
• Rodin
• Object Process Methodology
• Eclipse
• Systems engineering
• B-Method
• Formal methods
• Programming tool

SENSEI_Deliverable_D4.1_v2.0

Source URL: www.sensei-conversation.eu

• Linguistics
• Sociolinguistics
• Discourse analysis
• Semantics
• Postmodern theory
• Postmodernism
• Discourse
• Argument
• Logical connective
• Connective

Ex post evaluation VON area Deliverable 6.3 VON Verkehrsverbund Oberlausitz - Niederschlesien GmbH Hans Jürgen Pfeiffer & Ilka Hunger (with support by ISUP GmbH, Dresden)

Source URL: smartmove-project.eu

• Transport
• Private transport
• American Motors
• Chrysler
• Automotive industry
• Coupes
• Sedans
• Hatchbacks
• Station wagons