


default search action
Software Engineering 2012: Berlin, Germany - Workshops
- Stefan Jähnichen, Bernhard Rumpe, Holger Schlingloff:

Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar - 2. März 2012 in Berlin. LNI P-199, GI 2012, ISBN 978-3-88579-293-2 - Henning Thielemann:

Live-Musikprogrammierung in Haskell. 17-28 - David Sabel:

An abstract machine for concurrent haskell with futures. 29-44 - Christian Heinlein:

MOSTflexiPL - Modular, Statically Typed, Flexibly Extensible Programming Language. 45-60 - Michael Hanus, Björn Peemöller, Fabian Reck:

Search strategies for functional logic programming. 61-74 - Dirk Tetzlaff, Sabine Glesner:

Making MPI Intelligent. 75-88 - Dirk Richter, Roberto Hoffmann:

Fehlalarmfreie Abstraktion in ISO-C konformer Semantik. 89-104 - Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Philip W. Trinder:

Architecture-aware cost modelling for parallel performance portability. 105-120 - Tim Frey, Veit Köppen:

Exploring software variance with hypermodelling - an exemplary approach. 121-140 - Kristian Beckers, Stephan Faßbender:

Supporting the context establishment according to ISO 27005 using patterns. 141-146 - Marcus Mews, Steffen Helke:

Towards Static Modular Software Verification. 147-154 - Frank Ortmeier, Simon Struck, Michael Lipaczewski:

Using model-based analysis in certification of critical software-intensive systems. 155-162 - Patrick Werner, Stefan Gerken, Michaela Huhn:

GSN M -Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen. 163-174 - Christian Wessel, Thorsten Humberg, Sven Wenzel, Jan Jürjens:

Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen. 175-181

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














