@book{OPUS4-7534, title = {Process design for natural scientists}, series = {Communications in computer and information science ; 500}, journal = {Communications in computer and information science ; 500}, editor = {Lambrecht, Anna-Lena and Margaria, Tizian}, publisher = {Springer}, address = {Wiesbaden}, isbn = {978-3-662-45005-5}, pages = {X, 251}, year = {2014}, abstract = {This book presents an agile and model-driven approach to manage scientific workflows. The approach is based on the Extreme Model Driven Design (XMDD) paradigm and aims at simplifying and automating the complex data analysis processes carried out by scientists in their day-to-day work. Besides documenting the impact the workflow modeling might have on the work of natural scientists, this book serves three major purposes: 1. It acts as a primer for practitioners who are interested to learn how to think in terms of services and workflows when facing domain-specific scientific processes. 2. It provides interesting material for readers already familiar with this kind of tools, because it introduces systematically both the technologies used in each case study and the basic concepts behind them. 3. As the addressed thematic field becomes increasingly relevant for lectures in both computer science and experimental sciences, it also provides helpful material for teachers that plan similar courses.}, language = {en} } @book{OPUS4-10652, title = {Proceedings of the 2nd International Workshop on e-learning and Virtual and Remote Laboratories}, series = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, volume = {21}, journal = {Technische Berichte des Hasso-Plattner-Instituts f{\"u}r Softwaresystemtechnik an der Universit{\"a}t Potsda}, editor = {Rabe, Bernhard and Rasche, Andreas}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-940793-17-1}, issn = {1613-5652}, pages = {98 S.}, year = {2008}, language = {en} } @book{deCarvalhoJuergensen2008, author = {de Carvalho, Jackson Marques and J{\"u}rgensen, Helmut}, title = {Document authoring environments and authoring mathematics}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2008, 1}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {8 S.}, year = {2008}, language = {en} } @book{GoesselOcheretnySogomonyanetal.2008, author = {Goessel, Michael and Ocheretny, Vitaly and Sogomonyan, Egor S. and Marienfeld, Daniel}, title = {New methods of concurrent checking}, series = {Frontiers in electronic testing}, volume = {42}, journal = {Frontiers in electronic testing}, publisher = {Springer}, address = {Dordrecht; Heidelberg}, isbn = {978-1-402-08419-5}, doi = {10.1007/978-1-4020-8420-1}, pages = {250 S.}, year = {2008}, language = {en} } @book{Tepoyan2008, author = {Tepoyan, Liparit}, title = {The Mixed problem for a degenerate operator equation}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {13 S.}, year = {2008}, language = {en} } @book{KnobelsdorfKreitz2013, author = {Knobelsdorf, Maria and Kreitz, Christoph}, title = {Ein konstruktivistischer Lehransatz f{\"u}r die Einf{\"u}hrungsveranstaltung der Theoretische Informatik}, isbn = {978-3-86956-220-9}, year = {2013}, language = {de} } @book{BrauerKarp2008, author = {Brauer, Uwe and Karp, Lavi}, title = {Well-posedness of Einstein-Euler Systems in asymptotically flat spacetimes}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Mathematik, Arbeitsgruppe Partiell}, publisher = {Univ.}, address = {Potsdam}, issn = {1437-739X}, pages = {83 S.}, year = {2008}, language = {en} } @book{MargariaKubczakSteffen2007, author = {Margaria, Tiziana and Kubczak, Christian and Steffen, Bernhard}, title = {Bio-jETI: a Service Integration, Design, and Provisioning Platform for Orchestrated Bioinformatics Processes - ("part of From Components to Processes")}, series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, volume = {2007, 4}, journal = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik}, publisher = {Univ.}, address = {Potsdam}, issn = {0946-7580}, pages = {16 S.}, year = {2007}, language = {en} } @book{Weske2007, author = {Weske, Mathias}, title = {Business Process Management : Concepts, Languages, Architectures}, publisher = {Springer-Verlag Berlin Heidelberg}, address = {Berlin, Heidelberg}, isbn = {978-3-540-73521-2}, doi = {10.1007/978-3-540-73522-9}, pages = {368 S.}, year = {2007}, language = {en} } @book{Margaria2007, author = {Margaria, Tiziana}, title = {Proceedings / EuroSPI 2007, European Software Process Improvement, 26.-28.09.2007, University of Potsdam, Germany}, editor = {Messnarz, Richard}, publisher = {ASQF}, address = {Erlangen}, isbn = {978-3-9809145-6-7}, pages = {Getr. Z{\"a}hl.}, year = {2007}, language = {en} }