Coupling design and verification in software product lines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4932 LNCS, Issue , 2008, Pages 1-4

  Börger, Egon ^a   Batory, Don ^b  

^a UNIVERSITY OF PISA   (Italy)

^b University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FOUNDATIONS; VERIFICATION;

DESIGN PRACTICES; INTERNATIONAL SYMPOSIUM; KNOWLEDGE SYSTEMS; MODULAR VERIFICATION; SOFTWARE PRODUCT LINES;

SOFTWARE DESIGN;

EID: 49949085383     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77684-0_1     Document Type: Conference Paper

References (17)

1. Batory, D., Börger, E.: Modularizing theorems for software product lines (2008)
2. Batory, D., Lofaso, B., Smaragdakis, Y.: Jts: Tools for implementing domain-specific languages. In: Proc. ICSR, (1998)
3. Batory, D., O'Malley, S.: The design and implementation of hierarchical software systems with reusable components. ACM TOSEM (October 1992)
4. Batory, D., Sarvela, J., Rauschmayer, A.: Scaling step-wise refinement. IEEE TSE (June 2004)
5. Börger, E.: Construction and analysis of ground models and their refinements as a foundation for validating computer based systems. Formal Aspects of Computing 19, 225-241 (2007)
6. Börger, E., Fruja, G., Gervasi, V., Stärk, R.: A high-level modular definition of the semantics of C#. Theoretical Computer Science 336(2-3), 235-284 (2005)
7. Börger, E., Stärk, R.F.: Exploiting Abstraction for Specification Reuse. The Java/C# Case Study. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 42-76. Springer, Heidelberg (2004)
8. Fruja, N.G.: The correctness of the definite assignment analysis in C#. Journal of Object Technology 3(9), 29-52 (2004)
9. Fruja, N.G.: A modular design for the Common Language Runtime (CLR) architecture. In: Beauquier, D., Börger, E., Slissenko, A. (eds.) Proc. ASM 2005, vol. 12, pp. 175-200. Université de Paris (2005)
10. Fruja, N.G.: Type Safety of C# and .NET CLR. PhD thesis, ETH Zürich (2006)
11. Fruja, N.G., Börger, E.: Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. Journal of Object Technology 5(3), 5-34 (2006)
12. Grammes, R.: Syntactic and Semantic Modularization of Modelling Languages. PhD thesis, University of Kaiserslautern, Germany (2007)
13. Hoare, C.A.R.: The verifying compiler: A grand challenge for computing research. J. ACM 50(1), 63-69 (2003)
14. Hoare, T., Misra, J.: Verified software: theories, tools, experiments. Vision of a Grand Challenge project. In: Meyer, B. (ed.) Proc. IFIP WG Conference on Verified Software: Tools, Techniques, and Experiments. ETH, Zürich (October 2005), http://vstte.ethz.ch/papers.html
15. Jones, C., O'Hearn, P., Woodcock, J.: Verified software: A grand challenge. IEEE Computer (April 2006)
16. Pohl, K., Bockle, G., Linden, F.v.d.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005)
17. Stärk, R.F., Schmid, J., Börger, E.: Java, and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)