Browsing P122 - Software Engineering 2008 - Workshopband by Title - Digitale Bibliothek

Path constraint construction with lookahead

Gerlich, Ralf

431-434

Peer-to-peer issue tracking system: Challenges and solutions

Agneeswaran, Vijay Srinivas; Narendula, Rammohan; Aberer, Karl

77-81

Plattformübergreifende funktionale Tests durch GUI-Abstraktion

Markiewicz, Benno; Flemig, Holger; Weicker, Karsten

359-366

Positionsstatement: Über die Rolle von formalem Beweis und Entwicklung im Zertifizierungsprozeß

Lüth, Christoph

341-342

Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision

Hungar, Hardi

339-340

Produktlinien im Kontext: Technologie, Prozesse, Business und Organisation. PIK2008 Workshop-Einleitung und Überblick

Birk, Andreas; Fiege, Ludger; Schmid, Klaus

235-239

Qualitätsrisiken und deren Abhängigkeiten

Herrmann, Andrea

457-463

Relating product line context to requirements engineering processes using design rationale

Fricker, Samuel; Stoiber, Reinhard

240-251

Safety Critical Java erleichtert die Zertifizierung sicherheitskritischer Echtzeit-Anwendungen

Henties, Thomas

311-315

The sales scenario: A model-driven software product line

Lochmann, Henrik; Grammel, Birgit

273-284

Schwachpunkte und Grenzen gegenwärtiger Methoden

Tempelmeier, Theodor

343-344

Secure Coding als Bindeglied zwischen formalen Ansätzen um Safety in Infrastruktur-kritischen Systemen zu gewährleisten

Köppl, Wolfgang; Rohrmair, Gordon

323-328

Simplifying the description and application of tests

Brenner, Daniel; Atkinson, Colin

435-438

Software Engineering 2008 - Workshopband

Maalej, Walid; Brügge, Bernd

Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung

Hungar, Hardi; Reyzl, Erwin

299-302

Static bug detection through analysis of inconsistent clones

Jürgens, Elmar; Hummel, Benjamin; Deissenboeck, Florian; Feilkas, Martin

443-446

Statistical testing within the scope of the system validation of a RIS/PACS system

Holpp, Stefan; Goetz, Helmut; Dulz, Winfried

439-442

Systematische Berücksichtigung von Abhängigkeitsbeziehungen bei Architekturentscheidungen

Wohlfarth, Sven; Riebisch, Matthias

191-197

Test case structuring and execution control in an integration framework for heterogeneous automatic software tests

Ganser, Andreas; Schackmann, Holger; Lichter, Horst; Schlebusch, Heinz-Josef

387-394

TIME – Tracking Intra- and Inter-Model Evolution

Kögel, Maximilian

157-164

All of DSpace

This Collection

Browsing P122 - Software Engineering 2008 - Workshopband by Title