Related Books

Babelsberg/RML
Language: en
Pages: 72
Authors: Felgentreff, Tim
Categories: Computers
Type: BOOK - Published: 2016-07-05 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

New programming language designs are often evaluated on concrete implementations. However, in order to draw conclusions about the language design from the evalu
Improving hosted continuous integration services
Language: en
Pages: 128
Authors: Weyand, Christopher
Categories: Computers
Type: BOOK - Published: 2017-02-17 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Developing large software projects is a complicated task and can be demanding for developers. Continuous integration is common practice for reducing complexity.
On the operationalization of graph queries with generalized discrimination networks
Language: en
Pages: 46
Authors: Beyhl, Thomas
Categories: Computers
Type: BOOK - Published: 2017-01-12 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Graph queries have lately gained increased interest due to application areas such as social networks, biological networks, or model queries. For the relational
Automatic verification of behavior preservation at the transformation level for relational model transformation
Language: en
Pages: 126
Authors: Dyck, Johannes
Categories: Computers
Type: BOOK - Published: 2017-04-26 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

The correctness of model transformations is a crucial element for model-driven engineering of high quality software. In particular, behavior preservation is the
Proceedings of the Third HPI Cloud Symposium
Language: en
Pages: 78
Authors: Bartok, David
Categories: Computers
Type: BOOK - Published: 2016-07-05 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic “Operating the Cl