Feature-Oriented System Design and Engineering

This is a personal appreciation and snapshot view of Manfred Broy's contribu- tions to the research area of feature-oriented system design and engineering. We sketch the algebraic approach to the area and relate Broy's work to it. To give it a concrete context, we compare it with our own work on feature orientation. There are a number of correspondences and some difierences: Broy works at a higher level of abstraction, the speciflcation level, we at a level closer to the software structure, the programming level. We put more emphasis on the concept of program similarity than Broy does.

[1]  Sven Apel,et al.  FEATUREHOUSE: Language-independent, automated software composition , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[2]  Maria Spichkova.  Specification and seamless verification of embedded real-time systems: FOCUS on Isabelle , 2007 .

[3]  Manfred Broy,et al.  Multifunctional software systems: Structured modeling and specification of functional requirements , 2010, Sci. Comput. Program..

[4]  Sven Apel,et al.  Type safety for feature-oriented product lines , 2010, Automated Software Engineering.

[5]  Mike A. Steel,et al.  Algorithmic Aspects of Tree Amalgamation , 2000, J. Algorithms.

[6]  Manfred Broy,et al.  Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .

[7]  Jia Liu,et al.  Feature oriented refactoring of legacy applications , 2006, ICSE.

[8]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[9]  Sven Apel,et al.  An algebraic foundation for automatic feature-based program synthesis , 2010, Sci. Comput. Program..

[10]  Manfred Broy,et al.  On the correctness of upper layers of automotive systems , 2008, Formal Aspects of Computing.

[11]  Sven Apel,et al.  A calculus for uniform feature composition , 2010, TOPL.

[12]  Sven Apel,et al.  Model Superimposition in Software Product Lines , 2009, ICMT@TOOLS.

[13]  Raffaela Mirandola,et al.  The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007] , 2007, CoCoME.

[14]  Sven Apel,et al.  Language-independent reference checking in software product lines , 2010, FOSD '10.

[15]  Sven Apel,et al.  Superimposition: A Language-Independent Approach to Software Composition , 2008, SC@ETAPS.

[16]  Sven Apel,et al.  An Overview of Feature-Oriented Software Development , 2009, J. Object Technol..

[17]  Sven Apel,et al.  Detecting Dependences and Interactions in Feature-Oriented Design , 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

[18]  Bernhard Rumpe,et al.  A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing , 2011, Int. J. Softw. Informatics.