Abstract
We propose an ASM-based method to integrate into current feature-based software design practice modular verification techniques.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Batory, D., Börger, E.: Modularizing theorems for software product lines (2008)
Batory, D., Lofaso, B., Smaragdakis, Y.: Jts: Tools for implementing domain-specific languages. In: Proc. ICSR (1998)
Batory, D., O’Malley, S.: The design and implementation of hierarchical software systems with reusable components. ACM TOSEM (October 1992)
Batory, D., Sarvela, J., Rauschmayer, A.: Scaling step-wise refinement. IEEE TSE (June 2004)
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)
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)
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)
Fruja, N.G.: The correctness of the definite assignment analysis in C#. Journal of Object Technology 3(9), 29–52 (2004)
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)
Fruja, N.G.: Type Safety of C# and .NET CLR. PhD thesis, ETH Zürich (2006)
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)
Grammes, R.: Syntactic and Semantic Modularization of Modelling Languages. PhD thesis, University of Kaiserslautern, Germany (2007)
Hoare, C.A.R.: The verifying compiler: A grand challenge for computing research. J. ACM 50(1), 63–69 (2003)
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
Jones, C., O’Hearn, P., Woodcock, J.: Verified software: A grand challenge. IEEE Computer (April 2006)
Pohl, K., Bockle, G., Linden, F.v.d.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005)
Stärk, R.F., Schmid, J., Börger, E.: Java and the Java Virtual Machine: Definition, Verification, Validation. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Börger, E., Batory, D. (2008). Coupling Design and Verification in Software Product Lines. In: Hartmann, S., Kern-Isberner, G. (eds) Foundations of Information and Knowledge Systems. FoIKS 2008. Lecture Notes in Computer Science, vol 4932. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77684-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-77684-0_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77683-3
Online ISBN: 978-3-540-77684-0
eBook Packages: Computer ScienceComputer Science (R0)