Universität Karlsruhe
Dr.-Ing. Elke Pulvermüller

Arbeitsgebiete

Softwaretechnik, komponentenbasierte Systeme und Komposition, Formale Verifikation, Modellprüfung, Aspekt-orientierte Software Entwicklung, Generative Programmierung, Merkmalsinteraktion

Projekte

Abgeschlossen
COMPOST
EASYCOMP

Betreute Studien- und Diplomarbeiten

Diplomarbeit
Identifikation und Modellierung von Komponenten im SawMill-Betriebssystem (abgeschlossen)
Object Oriented Concepts in Model Checking Tools (abgeschlossen)
Realisierung und Anbindung eines OBDD an einen Modellprüfer (abgeschlossen)
 
Studienarbeit
Transformation Java/XML (abgeschlossen)
XML-basiertes Transformationswerkzeug (abgeschlossen)

Veröffentlichungen

2004
Pulvermüller, Speck, XOpT - XML-Based Composition Concept
 
2003
Van Der Straeten, Speck, Pulvermüller, Clauß, Correctness of Model-Based Software Composition - Proceedings
Speck, Pulvermüller, Heuzeroth, Validation of Business Process Models
 
2002
Speck, Pulvermüller, Jerger, Franczyk, Component Composition Validation
Speck, Robak, Pulvermüller, Clauß, Version-based Approach for Modelling Software Systems
Speck, Pulvermüller, Clauß, Van Der Straeten, Reussner, Model-Based Software Reuse
Costanza, Kniesel, Mehner, Pulvermüller, Speck, Second German Workshop on Aspect-Oriented Software Development
Schonger, Pulvermüller, Sarstedt, Aspect-Oriented Programming and Component Weaving: Using XML Representations of Abstract Syntax Trees
Pulvermüller, Composition and Correctness
Speck, Pulvermüller, Clauß, Versioning in Software Modeling
 
2001
Goerigk, Pulvermüller, Speck, Sprachen, Architekturen und neue objektorientierte Softwaretechniken, TR No. 2018
Pulvermüller, Speck, D'Hondt, DeMeuter, Coplien, Feature Interaction in Composed Systems, ECOOP 2001 - Proceedings, TR No. 2001-14
Speck, Pulvermüller, Versioning in Software Engineering
Mehner, Mezini, Pulvermüller, Speck, Aspektorientierung - Workshop der GI-Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung
Pulvermüller, Speck, Coplien, A Version Model for Aspect Dependency Management
Pulvermüller, Speck, Coplien, D'Hondt, DeMeuter, Position Paper: Feature Interaction in Composed Systems
Rashid, Chitchyan, Speck, Pulvermüller, EProMS: An E-Commerce based Process Model for Cooperative SoftwareDevelopment in Small Organisations
Speck, Pulvermüller, Feature Modeling
 
2000
Speck, Pulvermüller, Component Frameworks for Software Generators
Pulvermüller, Generative and Component-Based Software Engineering
Speck, Pulvermüller, Mezini, Reusability of Concerns
Pulvermüller, Rashid, Speck, Supporting Composition using Assertions
Klaeren, Pulvermüller, Rashid, Speck, Aspect Composition applying the Design by Contract Principle
Rashid, Pulvermüller, From Object-Oriented to Aspect-Oriented Databases
Pulvermüller, Speck, Rashid, Implementing collaboration-based Designs using Aspect-Oriented Programming
Rashid, Sawyer, Pulvermüller, A Flexible Approach for Instance Adaptation during Class Versioning
 
1999
Speck, Rashid, Pulvermüller, Chitchyan, Individual Software Development in Generative Programming
Pulvermüller, Aspekte in verteilten Umgebungen
Pulvermüller, Klaeren, Speck, Aspects in Distributed Environments
Login
Links