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.