Engineering Reliable Service Oriented Architecture

[1]  Wolfgang Schröder-Preikschat,et al.  On the Configuration of Non-Functional Properties in Operating System Product Lines , 2005 .

[2]  Antonio Ruiz Cortés,et al.  A First Step Towards a Framework for the Automated Analysis of Feature Models , 2006 .

[3]  Bernd Freisleben,et al.  TOSKANA: A Toolkit for Operating System Kernel Aspects , 2006, LNCS Trans. Aspect Oriented Softw. Dev..

[4]  Gregor Kiczales,et al.  Back to the future: a retroactive study of aspect evolution in operating system code , 2003, AOSD '03.

[5]  Joseph R. Kiniry,et al.  Reasoning about Feature Models in Higher-Order Logic , 2007 .

[6]  Danilo Beuche,et al.  On the Development of Object-Oriented Operating Systems for Deeply Embedded Systems - The PURE Project , 1999, ECOOP Workshops.

[7]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[8]  Charles W. Krueger.  BigLever software gears and the 3-tiered SPL methodology , 2007, OOPSLA '07.

[9]  Julio Cesar Sampaio do Prado Leite,et al.  Nonfunctional requirements: from elicitation to conceptual models , 2004, IEEE Transactions on Software Engineering.

[10]  G. Sagardui,et al.  Variability Driven Quality Evaluation in Software Product Lines , 2008, 2008 12th International Software Product Line Conference.

[11]  Krzysztof Czarnecki,et al.  Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..

[12]  Krzysztof Czarnecki,et al.  Feature Diagrams and Logics: There and Back Again , 2007 .

[13]  Wolfgang Schröder-Preikschat,et al.  Configurable memory protection by aspects , 2007, PLOS '07.

[14]  Wolfgang Schröder-Preikschat,et al.  Aspectizing a Web Server for Adaptation , 2007, 2007 12th IEEE Symposium on Computers and Communications.

[15]  Jochen Liedtke,et al.  On micro-kernel construction , 1995, SOSP.

[16]  Bernd Freisleben,et al.  Supporting autonomic computing functionality via dynamic operating system kernel aspects , 2005, AOSD '05.

[17]  Antonio Ruiz Cortés,et al.  Automated Reasoning on Feature Models , 2005, CAiSE.

[18]  Sergio Segura,et al.  FAMA: Tooling a Framework for the Automated Analysis of Feature Models , 2007, VaMoS.

[19]  Olaf Spinczyk,et al.  The design and implementation of AspectC++ , 2007, Knowl. Based Syst..

[20]  Olaf Spinczyk,et al.  Tailoring Infrastructure Software Product Lines by Static Application Analysis , 2007 .

[21]  Krzysztof Czarnecki,et al.  Generative Programming , 2001, ECOOP Workshops.

[22]  Roger M. Needham,et al.  On the duality of operating system structures , 1979, OPSR.

[23]  Steve R. Kleiman,et al.  Interrupts as threads , 1995, OPSR.