Browsing P199 - Software Engineering 2012 - Workshopband by Issue Date - Digitale Bibliothek - Gesellschaft für Informatik e.V.

Now showing items 1-14 of 14

«
»

Fehlalarmfreie Abstraktion in ISO-C konformer Semantik

Richter, Dirk; Hoffmann, Roberto
89-103
Making MPI intelligent

Tetzlaff, Dirk; Glesner, Sabine
75-88
Software Engineering 2012. Workshopband

Jähnichen, Stefan; Rumpe, Bernhard; Schlingloff, Holger
MOSTflexiPL – Modular, Statically Typed, Flexibly Extensible Programming Language

Heinlein, Christian
45-60
Search strategies for functional logic programming

Hanus, Michael; Peemöller, Björn; Reck, Fabian
61-74
Using model-based analysis in certification of critical software-intensive systems

Ortmeier, Frank; Struck, Simon; Lipaczewski, Michael
155-161
Exploring software variance with hypermodelling – an exemplary approach

Frey, Tim; Köppen, Veit
121-136
Architecture-aware cost modelling for parallel performance portability

Belikov, Evgenij; Loidl, Hans-Wolfgang; Michaelson, Greg; Trinder, Phil
105-120
An abstract machine for concurrent haskell with futures

Sabel, David
29-44
Live-Musikprogrammierung in Haskell

Thielemann, Henning
17-28
GSNM-Edit: Ein modellgetriebener Editor für modulare GSN-Argumentationen

Werner, Patrick; Gerken, Stefan; Huhn, Michaela
163-174
Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte Anwendungen

Wessel, Christian; Humberg, Thorsten; Wenzel, Sven; Jürjens, Jan
175-181
Towards static modular software verification

Mews, Marcus; Helke, Steffen
147-153
Supporting the context establishment according to ISO 27005 using patterns

Beckers, Kristian; Faßbender, Stephan
141-146

Now showing items 1-14 of 14

«
»