Tailoring infrastructure software product lines by static application analysis

Proceedings - 11th International Software Product Line Conference, SPLC 2007

Volumn , Issue , 2007, Pages 255-260

  Schirmeier, Horst ^a   Spinczyk, Olaf ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; COMPUTER SOFTWARE; MANAGEMENT INFORMATION SYSTEMS; NETWORK ARCHITECTURE;

ANALYSIS TOOLS; APPLICATION ANALYSIS; CONFIGURABLE; DATABASE MANAGEMENT SYSTEMS; FEATURE MODELS; INFRASTRUCTURE PRODUCTS; INFRASTRUCTURE SOFTWARES; OPERATING SYSTEMS; PRODUCT LINES; SOFTWARE PRODUCT LINES; TOOL SUPPORTS; USE CASES;

DATABASE SYSTEMS;

EID: 47949124634     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SPLINE.2007.4339274     Document Type: Conference Paper

References (14)

1. R. A. Åberg, J. L. Lawall, M. Südholt, G. Muller, and A.-F. L. Meur. On the automatic evolution of an OS kernel using temporal logic and AOP. In 18th IEEE Int. Conf. on Automated Software Engineering (ASE '03), pages 196-204, Montreal, Canada, Mar. 2003. IEEE.
2. S. Apel, T. Leich, M. Rosenmüller, and G. Saake. FeatureC++: On the symbiosis of feature-oriented and aspect-oriented programming. In 4th Int. Conf. on Generative Programming and Component Engineering (GPCE '05), Tallinn, Estonia, Sept. 2005.
3. D. Batory. Feature-oriented programming and the AHEAD tool suite. In 26th Int. Conf. on Software Engineering (ICSE '04), pages 702-703. IEEE, 2004.
4. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst., 2(8):244-263, 1986.
5. K. Czarnecki and U. W. Eisenecker. Generative Programming. Methods, Tools and Applications. AW, May 2000.
6. A. Fröhlich. Application-Oriented Operating Systems. Number 17 in GMD Research Series. GMD -Forschungszentrum Informationstechnik, Sankt Augustin, Aug. 2001.
7. K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson. Feature-Oriented Domain Analysis (FODA) Feasibility Study. Technical report, Carnegie Mellon University, Software Engineering Institute, Pittsburgh, PA, Nov. 1990.
8. L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. AW, 2002.
9. D. Lohmann, F. Scheler, R. Tartler, O. Spinczyk, and W. Schröder-Preikschat. A quantitative analysis of aspects in the eCos kernel. In EuroSys 2006 Conference (EuroSys '06), pages 191-204, New York, NY, USA, Apr. 2006. ACM.
10. D. Lohmann, O. Spinczyk, and W. Schröder-Preikschat. Lean and efficient system software product lines: Where aspects beat objects. In A. Rashid and M. Aksit, editors, Transactions on AOSD II, number 4242 in LNCS, pages 227-255. Springer, 2006.
11. Oracle Corporation. Oracle berkeley db documentation. http://www.oracle.com/technology/documentation/berkeley-db/db/index.html, 2006.
12. Y. Padioleau, J. L. Lawall, and G. Muller. SmPL: A domain-specific language for specifying collateral evolutions in linux device drivers. In International ERCIM Workshop on Software Evolution, 2006.
13. Y. Padioleau, J. L. Lawall, and G. Muller. Understanding collateral evolution in linux device drivers. In EuroSys 2006 Conference (EuroSys '06), pages 59-71. ACM, Apr. 2006.
14. M. Rosenmüller, T. Leich, and S. Apel. Konfigurierbarkeit für ressourceneffiziente Datenhaltung in eingebetteten Systemen am Beispiel von Berkeley DB. In BTW Workshop on Tailor-made Data Management, Aachen, Germany, Mar. 2007.