scholarly journals Model reduction of constrained mechanical systems in M-M.E.S.S. ⁎ ⁎The second author is supported by the German Research Foundation (DFG) within the priority program 1897: “Calm, Smooth, Smart – Novel Approaches for Influencing Vibrations by Means of Deliberately Introduced Dissipation”.

2018 ◽  
Vol 51 (2) ◽  
pp. 661-666 ◽  
Author(s):  
Jens Saak ◽  
Matthias Voigt
Keyword(s):  
Model Reduction ◽  
Mechanical Systems ◽  
German Research Foundation ◽  
Constrained Mechanical Systems ◽  
German Research ◽  
Novel Approaches ◽  
Priority Program

Priority Program SoftSpez and the International INT Workshops “Integration of Software Specification Techniques for Applications in Engineering” (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops „Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen“)

2005 ◽  
Vol 47 (1) ◽  
Author(s):  
Hartmut Ehrig ◽  
Benjamin Braatz ◽  
Markus Klein
Keyword(s):  
Software Engineering ◽  
Control Systems ◽  
Research Area ◽  
Industrial Control ◽  
German Research Foundation ◽  
Industrial Control Systems ◽  
Software Specification ◽  
German Research ◽  
Specification Techniques ◽  
Priority Program

AbstractThe research area “Integration of Software Specification Techniques for Applications in Engineering” has been subject of the Priority Program SoftSpez of the German Research Foundation (DFG) in the years 1998–2004 and of the international INT workshops as satellite events of the ETAPS conferences in 2000, 2002, and 2004. In this paper, we present an overview of aims, organization, and results of these activities. Moreover, we present an example for the integration of specification techniques in software engineering and industrial control systems developed within the project IOSIP of SoftSpez.

Sign in / Sign up

Export Citation Format

Share Document