Calculating and modeling common parts of software product lines

Proceedings - 12th International Software Product Line Conference, SPLC 2008

Volumn , Issue , 2008, Pages 203-212

  Gruler, Alexander ^a   Leucker, Martin ^a   Scheidemann, Kathrin ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY; LIGHT EMISSION; LUMINESCENCE; NETWORK ARCHITECTURE;

ALGEBRAIC APPROACHES; AND MODELING; AUTOMOTIVE DOMAINS; DEVELOPMENT METHODOLOGIES; LABELED TRANSITION SYSTEMS; MODELING; PRACTICAL; PRODUCT LINES; REACTIVE SYSTEMS; RESTRUCTURING; SOFTWARE PRODUCT LINES;

CURVE FITTING;

EID: 55049111112     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SPLC.2008.22     Document Type: Conference Paper

References (18)

1. J. A. Bergstra, J. Heering, and P. Klint. Module algebra. JACM, 37(2):335-372, April 1990.
2. J. A. Bergstra and J. W. Klop. Process algebra for synchronous communication. Information and Control, 60:109-137, 1984.
3. J. A. Bergstra, G. Stefanescu, and C. Middelburg. Network algebra for synchronous and asynchronous dataflow. Technical Report 122, University of Amsterdam, 1995.
4. P. Clements and L. Northrop. Software Product Lines. Practices and Patterns. Addison Wesley, 2002.
5. D. Fischbein, S. Uchitel, and V. Braberman. A foundation for behavioural conformance in software product line architectures. In Proceedings of the 2nd Workshop on the Role of Software Architecture for Testing and Analysis, 2007.
6. A. Gruler, A. Harhurin, and J. Hartmann. Development and configuration of service-based product lines. In 11th International Software Product Line Conference, pages 107-116, Sep 2007.
7. A. Gruler, A. Harhurin, and J. Hartmann. Modeling the functionality of multi-functional software systems. In 14th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2007.
8. A. Gruler, M. Leucker, and K. Scheidemann. Modeling and model checking software product lines. In G. Barth and F. de Boer, editors, Proceedings of the 10th IFIP International Conference on Formal Methods for Open Objectbased Distributed Systems, volume 5051 of LNCS, pages 113-131. Springer, 2008.
9. C. A. R. Hoare. Communcating Sequential Processes. Prentice Hall, 1985.
10. M. Karnaugh. The map method for synthesis of combinational logic circuits. AIEE Transactions, Part I Communication and Electronics, 72:593-599, Nov. 1953.
11. K. G. Larsen, U. Nyman, and A. Wasowski. Modal I/O automata for interface and product line theories. In ESOP, pages 64-79, 2007.
12. K. G. Larsen and B. Thomsen. Partial specifications and compositional verification. Theor. Comput. Sci., 88(1):15-32, 1991.
13. M. E. Majster-Cederbaum. Underspecification for a simple process algebra of recursive processes. Theor. Comput. Sci., 266(1-2):935-950, 2001.
14. R. Milner. A Calculus for Communicating Processes, volume 92 of LNCS. Springer, 1980.
15. R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
16. R. Milner. Communication and concurrency. Prentice Hall International (UK) Ltd., Hertfordshire, UK, 1995.
17. G. D. Plotkin. A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus, 1981.
18. S. Veglioni and R. De Nicola. Possible worlds for process algebras. LNCS, 1466:179-193, 1998.