Rentenpolitik im Angesicht des demografischen Wandels
- 期刊名称Wirtschaftsdienst
- 作者Schmidt, Christoph M.
- 卷第95卷
- 印刷ISSN0043-6275
- 电子ISSN1613-978X
- 文件大小220.50KB
- 发表时间2015-2
- DOI10.1007/s10273-015-1795-x
- 页码7-15
Achieving distributed control through model checkingSusanne Graf; Doron Peled; Sophie Quinton · 2012
Building Distributed Controllers for Systems with PrioritiesImene Ben-Hafaiedh; Susanne Graf; Sophie Quinton · 2011
[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Contract-Based Verification of Hierarchical Systems of ComponentsQuinton, Sophie; Graf, Susanne · 2008
Design for service compatibilityGrossmann, Georg; Schrefl, Michael; Stumptner, Markus · Software & Systems Modeling · 2013
Looking back at UMLCook, Steve · Software & Systems Modeling · 2012
How effective is UML modeling ?Chaudron, Michel R. V.; Heijstek, Werner; Nugroho, Ariadi · Software & Systems Modeling · 2012
Message choreography modelingStefanescu, Alin; Wieczorek, Sebastian; Schur, Matthias · Software & Systems Modeling · 2014
Requirements-driven deploymentAli, Raian; Dalpiaz, Fabiano; Giorgini, Paolo · Software & Systems Modeling · 2014
Engineering model transformations withtransMLGuerra, Esther; Lara, Juan; Kolovos, Dimitrios S.; Paige, Richard F.; Santos, Osmar Marchi · Software & Systems Modeling · 2013
Improving engineering efficiency with PLM/ALMEbert, Christof · Software & Systems Modeling · 2013
Automatically reasoning about metamodelingJackson, Ethan K.; Levendovszky, Tihamer; Balasubramanian, Daniel · Software & Systems Modeling · 2015