User: Guest  Login
Original title:
A Formal Approach to Software Product Families 
Translated title:
Ein formaler Ansatz zu Software Produktfamilien 
Year:
2010 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Broy, Manfred (Prof. Dr. Dr. h.c.) 
Referee:
Broy, Manfred (Prof. Dr. Dr. h.c.); Lengauer, Christian (Prof., Ph.D.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Software Product Line Engineering, Software Product Family, Axiomatization, Multi-Valued Model Checking, Calculating Behavioral Commonalities, Process Algebra 
Translated keywords:
Software Produktlinie, Software Produktfamilie, Axiomatisierung, Mehrwertiges Model-Checking, Berechnung von Gemeinsamkeiten im Verhalten, Prozessalgebra 
Abstract:
The development of a family of software-intensive systems in an integrated way by systematically making use of commonalities is the subject of software product family engineering. In this thesis we introduce a theoretical framework for constructing and reasoning about software product families. The framework consists of: (1) a process algebra called PL-CCS for the specification of the operational behavior of a set of software-intensive, reactive systems in an integrated way as a product family;...    »
 
Translated abstract:
Gegenstand der Software Produktlinienentwicklung ist es, eine Familie software-intensiver Systeme in integrierter Art und Weise durch systematisches Ausnützen von Gemeinsamkeiten zu entwickeln. In dieser Arbeit wird ein theoretisches Rahmenwerk für die Entwicklung von Software Produktfamilien vorgestellt. Das Rahmenwerk umfasst (1) die Prozessalgebra PL-CCS, zur Spezifikation des operationalen Verhaltens einer Menge von software-intensiven, reaktiven Systemen in integrierter Weise als Produktfam...    »
 
Oral examination:
25.10.2010 
File size:
2044928 bytes 
Pages:
304 
Last change:
10.02.2011