Home Advanced Search

Advanced Search - Page 1

Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
  • PDF
  • English
  • Year: 2015
  • Author: Domenico Bianculli, Radu Calinescu, Bernhard Rumpe (eds.)
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Radu Calinescu, Bernhard Rumpe (eds.)
Agile Modeling with UML: Code Generation, Testing, Refactoring
  • EPUB
  • English
  • Year: 2017
  • Author: Bernhard Rumpe
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Emil Vassev, Mike Hinchey (auth.), Radu Calinescu, Ethan Jackson (eds.)
Trusted Cloud Computing
  • PDF
  • English
  • Year: 2014
  • Author: Helmut Krcmar, Ralf Reussner, Bernhard Rumpe (eds.)
Modeling with UML: Language, Concepts, Methods
  • PDF
  • English
  • Year: 2016
  • Author: Bernhard Rumpe (auth.)
Modellierung mit UML: Sprache, Konzepte und Methodik
  • PDF
  • German
  • Year: 2011
  • Author: Bernhard Rumpe (auth.)
Agile Modellierung mit UML: Codegenerierung, Testfälle, Refactoring
  • PDF
  • German
  • Year: 2012
  • Author: Bernhard Rumpe (auth.)
Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Radu Calinescu, Felicita Di Giandomenico
Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
  • PDF
  • English
  • Year: 2012
  • Author: Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)
search