Software Engineering 2012. Workshopband

Gesellschaft für Informatik, Bonn
2012

Contents

Articles

• Henning Thielemann
  Live-Musikprogrammierung in Haskell
  Pages: 17-28... Full Text
• David Sabel
  An abstract machine for concurrent haskell with futures
  Pages: 29-44... Full Text
• Christian Heinlein
  MOSTflexiPL - Modular, Statically Typed, Flexibly Extensible Programming Language
  Pages: 45-60... Full Text
• Michael Hanus, Björn Peemöller, Fabian Reck
  Search strategies for functional logic programming
  Pages: 61-74... Full Text
• Dirk Tetzlaff, Sabine Glesner
  Making MPI Intelligent
  Pages: 75-88... Full Text
• Dirk Richter, Roberto Hoffmann
  Fehlalarmfreie Abstraktion in ISO-C konformer Semantik
  Pages: 89-104... Full Text
• Evgenij Belikov, Hans-Wolfgang Loidl, Greg Michaelson, Phil Trinder
  Architecture-aware cost modelling for parallel performance portability
  Pages: 105-120... Full Text
• Tim Frey, Veit Köppen
  Exploring software variance with hypermodelling - an exemplary approach
  Pages: 121-140... Full Text
• Kristian Beckers, Stephan Faßbender
  Supporting the context establishment according to ISO 27005 using patterns
  Pages: 141-146... Full Text
• Marcus Mews, Steffen Helke
  Towards Static Modular Software Verification
  Pages: 147-154... Full Text
• Frank Ortmeier, Simon Struck, Michael Lipaczewski
  Using model-based analysis in certification of critical software-intensive systems
  Pages: 155-162... Full Text
• Patrick Werner, Stefan Gerken, Michaela Huhn
  GSN M -Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen
  Pages: 163-174... Full Text
• Christian Wessel, Thorsten Humberg, Sven Wenzel, Jan Jürjens
  Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen
  Pages: 175-181... Full Text

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-293-2