research-article

Feature-oriented contract composition

Authors:

Alexander Knüppel,

Stefan Krüger,

Stefanie Bolle,

Ina SchaeferAuthors Info & Claims

Volume 152, Issue C

Pages 83 - 107

https://doi.org/10.1016/j.jss.2019.01.044

Published: 01 June 2019 Publication History

Highlights

•

Contract refinement in feature-oriented contract composition is seldom but crucial.

•

The Liskov substitution principle does not apply to features.

•

To handle the refinement of frames, techniques from OOP are sufficient.

Abstract

A software product line comprises a set of products that share a common code base, but vary in specific characteristics called features. Ideally, features of a product line are developed in isolation and composed subsequently. Product lines are increasingly used for safety–critical software, for which quality assurance becomes indispensable. While the verification of product lines gained considerable interest in research over the last decade, the subject of how to specify product lines is only covered rudimentarily. A challenge to overcome is composition; similar to inheritance in object-oriented programming, features of a product line may refine other features along with their specifications. To investigate how refinement and composition of specifications can be established, we derive a notion of feature-oriented contracts comprising preconditions, postconditions, and framing conditions of a method. We discuss six mechanisms to perform contract composition between original and refining contracts. Moreover, we identify and discuss desired properties for contract composition and evaluate which properties are established by which mechanism. Our three main insights are that (a) contract refinement is seldom but crucial, (b) the Liskov principle does not apply to features, and (c) it is sufficient to accommodate techniques from object-orientation in the contract-composition mechanisms for handling frame refinements.

References

[1]

J.-R. Abrial, Modeling in Event-B: System and Software Engineering, 1st., 2010, ISBN 0521895561, 9780521895569.

[2]

S. Agostinho, A. Moreira, P. Guerreiro, Contracts for Aspect-Oriented Design, 2008, pp. 1:1–1:6,. ISBN 978-1-60558-144-6.

Digital Library

[3]

P. America, Designing an Object-Oriented Programming Language with Behavioural Subtyping, 1991, pp. 60–90. ISBN 3-540-53931-X.

[4]

S. Apel, D. Batory, C. Kästner, G. Saake, Feature-Oriented Software Product Lines: Concepts and Implementation, 2013.

[5]

S. Apel, D. Hutchins, A Calculus for Uniform Feature Composition, ACM Transactions on Programming Languages and Systems (TOPLAS) 32 (5) (2010) 19:1–19:33,. ISSN 0164-0925.

Digital Library

[6]

S. Apel, C. Kästner, C. Lengauer, Language-Independent and Automated Software Composition: The FeatureHouse Experience, 39 (1) (2013) 63–79,. ISSN 0098-5589.

[7]

S. Apel, T. Leich, M. Rosenmüller, G. Saake, FeatureC++: On the Symbiosis of Feature-Oriented and Aspect-Oriented Programming, Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), 2005, pp. 125–140.

[8]

S. Apel, T. Leich, G. Saake, Aspectual Feature Modules, 34 (2) (2008) 162–180. http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70770.

[9]

S. Apel, C. Lengauer, B. Möller, C. Kästner, An Algebraic Foundation for Automatic Feature-Based Program Synthesis, Sci. Comput. Program. 75 (11) (2010) 1022–1047.

Digital Library

[10]

S. Apel, A. von Rhein, T. Thüm, C. Kästner, Feature-Interaction Detection Based on Feature-Based Specifications, 57 (12) (2013) 2399–2409,. ISSN 1389-1286.

Digital Library

[11]

S. Balzer, P.T. Eugster, B. Meyer, Can Aspects Implement Contracts?, 2006, pp. 145–157,. ISBN 3-540-34063-7, 978-3-540-34063-8.

Digital Library

[12]

M. Barnett, M. Fähndrich, K.R.M. Leino, P. Müller, W. Schulte, H. Venter, Specification and Verification: The Spec# Experience, Communications of the ACM 54 (2011) 81–91,. ISSN 0001-0782.

Digital Library

[13]

S. Bashardoust-Tajali, J.-P. Corriveau, On Extracting Tests from a Testable Model in the Context of Domain Engineering, Proceedings of the International Conference on Engineering of Complex Computer Systems (ICECCS), 2008, pp. 98–107,.

Digital Library

[14]

D. Batory, A Tutorial on Feature Oriented Programming and the AHEAD Tool Suite, Proceedings of the summer school on Generative and Transformational Techniques in Software Engineering (GTTSE), 2006, pp. 3–35.

[15]

D. Batory, R. Cardone, Y. Smaragdakis, Object-Oriented Frameworks and Product Lines, Proceedings of the International Software Product Line Conference (SPLC), Kluwer Academic Publishers, Norwell, MA, USA, 2000, pp. 227–247. ISBN 0-79237-940-3.

[16]

D. Batory, J.N. Sarvela, A. Rauschmayer, Scaling Step-Wise Refinement, 30 (6) (2004) 355–371.

[17]

B. Beckert, R. Hähnle, P. Schmitt, Verification of Object-Oriented Software: The KeY Approach, 2007.

[18]

F. Benduhn, Contract-Aware Feature Composition, University of Magdeburg. Germany, 2012, Bachelor’s thesis.

[19]

F. Benduhn, T. Thüm, M. Lochau, T. Leich, G. Saake, A survey on modeling techniques for formal behavioral verification of software product lines, Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, ACM, 2015, p. 80.

[20]

H. Beohar, M. Varshosaz, M.R. Mousavi, Basic Behavioral Models for Software Product Lines, Sci. Comput. Program. 123 (C) (2016) 42–60,. ISSN 0167-6423.

Digital Library

[21]

S. Bolle, Feature-orientiertes Framing für die Verifikation von Software-Produktlinien, Braunschweig, 2017,. Master’s thesis.

[22]

E. Börger, R.F. Stark, Abstract State Machines: A Method for High-Level System Design and Analysis, 2003, ISBN 3540007024.

[23]

G. Bracha, W. Cook, Mixin-Based Inheritance, Proceedings of the European Conference on Object-Oriented Programming (ECOOP), 1990, pp. 303–311,. ISBN 0-89791-411-2.

Digital Library

[24]

D. Bruns, V. Klebanov, I. Schaefer, Verification of Software Product Lines with Delta-Oriented Slicing, 2011, pp. 61–75. ISBN 3-642-18069-8, 978-3-642-18069-9.

[25]

R. Bubel, C. Din, R. Hähnle, Verification of Variable Software: An Experience Report, Technical Report 2010-13, Department of Informatics, Karlsruhe Institute of Technology, Karlsruhe, Germany, 2010.

[26]

L. Burdy, Y. Cheon, D.R. Cok, M.D. Ernst, J. Kiniry, G.T. Leavens, K.R.M. Leino, E. Poll, An Overview of JML Tools and Applications, 7 (3) (2005) 212–232,. ISSN 1433-2779.

[27]

M. Calder, M. Kolberg, E.H. Magill, S. Reiff-Marganiec, Feature Interaction: A Critical Review and Considered Forecast, 41 (1) (2003) 115–141.

[28]

I.D. Carmo Machado, J.D. McGregor, Y.a.C. Cavalcanti, E.S. De Almeida, On Strategies for Testing Software Product Lines: A Systematic Literature Review, 56 (10) (2014) 1183–1199,. ISSN 0950-5849.

Digital Library

[29]

P. Chalin, J. Kiniry, G.T. Leavens, E. Poll, Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2, 2005, pp. 342–363.

[30]

P. Clements, L. Northrop, Software Product Lines: Practices and Patterns, Addison-Wesley, Boston, MA, USA, 2001, ISBN 0-201-70332-7.

Digital Library

[31]

C. Clifton, A Design Discipline and Language Features for Modular Reasoning in Aspect-Oriented Programs, Iowa State University, Ames, IA, USA, 2005, Ph.D. thesis.

[32]

C. Clifton, G.T. Leavens, Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning, Proceedings of the Workshop on Foundations of Aspect-Oriented Languages (FOAL), Iowa State University, Ames, IA, USA, 2002, pp. 33–44.

[33]

K. Czarnecki, U. Eisenecker, Generative Programming: Methods, Tools, and Applications, 2000.

Digital Library

[34]

F. Damiani, O. Owe, J. Dovland, I. Schaefer, E.B. Johnsen, I.C. Yu, A Transformational Proof System for Delta-Oriented Programming, 2012, pp. 53–60,. ISBN 978-1-4503-1095-6.

Digital Library

[35]

K.K. Dhara, G.T. Leavens, Forcing Behavioral Subtyping through Specification Inheritance, Proceedings of the International Conference on Software Engineering (ICSE), 1996, pp. 258–267. ISBN 0-8186-7246-3.

[36]

M. Farrell, R. Monahan, J.F. Power, Specification clones: An empirical study of the structure of event-b specifications, International Conference on Software Engineering and Formal Methods, Springer, 2017, pp. 152–167. ISBN 1-58113-487-8.

[37]

R.B. Findler, M. Felleisen, Contracts for Higher-Order Functions, Proceedings of the International Conference on Functional Programming (ICFP), 2002, pp. 48–59,. ISBN 1-58113-487-8.

Digital Library

[38]

R.B. Findler, M. Latendresse, M. Felleisen, Behavioral Contracts and Behavioral Subtyping, Proceedings of the European Software Engineering Conference/Foundations of Software Engineering (ESECFSE), 2001, pp. 229–236,. ISBN 1-58113-390-1.

Digital Library

[39]

J. Gosling, B. Joy, G. Steele, G. Bracha, The Java Language Specification, Third Edition, Addison-Wesley, Amsterdam, 2005.

[40]

W.G. Griswold, K. Sullivan, Y. Song, M. Shonle, N. Tewari, Y. Cai, H. Rajan, Modular Software Design with Crosscutting Interfaces, 23 (1) (2006) 51–60,. ISSN 0740-7459.

Digital Library

[41]

R. Hähnle, I. Schaefer, A Liskov Principle for Delta-Oriented Programming, 2012, pp. 32–46,. ISBN 978-3-642-34025-3.

Digital Library

[42]

R. Hähnle, I. Schaefer, R. Bubel, Reuse in Software Verification by Abstract Method Calls, 2013, pp. 300–314,. ISBN 978-3-642-38573-5.

Digital Library

[43]

W. Harrison, H. Ossher, Subject-Oriented Programming: A Critique of Pure Objects, Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 1993, pp. 411–428,. ISBN 0-89791-587-9.

Digital Library

[44]

J. Hatcliff, G.T. Leavens, K.R.M. Leino, P. Müller, M. Parkinson, Behavioral Interface Specification Languages, 44 (3) (2012) 16:1–16:58,. ISSN 0360-0300.

Digital Library

[45]

R. Helm, I.M. Holland, D. Gangopadhyay, Contracts: Specifying Behavioral Compositions in Object-Oriented Systems, Proceedings of the European Conference on Object-Oriented Programming (ECOOP), 1990, pp. 169–180,. ISBN 0-89791-411-2.

Digital Library

[46]

P. Höfner, B. Möller, An Extension for Feature Algebra, 2009, pp. 75–80,. ISBN 978-1-60558-567-3.

Digital Library

[47]

P. Höfner, B. Möller, A. Zelend, Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming, 2012, pp. 33–49,. ISBN 978-3-642-33313-2.

Digital Library

[48]

C. Kästner, S. Apel, M. Kuhlemann, A Model of Refactoring Physically and Virtually Separated Features, Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), 2009, pp. 157–166,. ISBN 978-1-60558-494-2.

Digital Library

[49]

C. Kästner, S. Apel, K. Ostermann, The Road to Feature Modularity?, 2011, pp. 5:1–5:8,. ISBN 978-1-4503-0789-5.

Digital Library

[50]

C. Kästner, T. Thüm, G. Saake, J. Feigenspan, T. Leich, F. Wielgorz, S. Apel, FeatureIDE: A Tool Framework for Feature-Oriented Software Development, Proceedings of the International Conference on Software Engineering (ICSE), 2009, pp. 611–614.

[51]

S. Katz, Aspect Categories and Classes of Temporal Properties, 1 (2006) 106–134,.

[52]

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, W.G. Griswold, An Overview of AspectJ, Proceedings of the European Conference on Object-Oriented Programming (ECOOP), 2001, pp. 327–354,. ISBN 3-540-42206-4.

[53]

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, J. Irwin, Aspect-Oriented Programming, Proceedings of the European Conference on Object-Oriented Programming (ECOOP), 1997, pp. 220–242.

[54]

H. Klaeren, E. Pulvermueller, A. Rashid, A. Speck, Aspect Composition Applying the Design by Contract Principle, Proceedings of the International Conference on Generative and Component-Based Software Engineering (GCSE), 2001, pp. 57–69. ISBN 3-540-42578-0.

[55]

Leavens, G. T., Cheon, Y., 2006. Design by Contract with JML.

[56]

G.T. Leavens, P. Müller, Information Hiding and Visibility in Interface Specifications, Proceedings of the International Conference on Software Engineering (ICSE), 2007, pp. 385–395,. ISBN 0-7695-2828-7.

Digital Library

[57]

Leavens, G. T., Poll, E., Clifton, C., Cheon, Y., Ruby, C., Cok, D., Müller, P., Kiniry, J., Chalin, P., Zimmerman, D. M., Dietl, W., 2013. JML Reference Manual.

[58]

J. Lee, D. Muthig, M. Naab, An Approach for Developing Service Oriented Product Lines, Proceedings of the International Software Product Line Conference (SPLC), 2008, pp. 275–284,.

Digital Library

[59]

K.R.M. Leino, Data Groups: Specifying the Modification of Extended State, Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 1998, pp. 144–153,. ISBN 1-58113-005-8.

Digital Library

[60]

B.H. Liskov, J.M. Wing, A Behavioral Notion of Subtyping, ACM Transactions on Programming Languages and Systems (TOPLAS) 16 (6) (1994) 1811–1841,. ISSN 0164-0925.

Digital Library

[61]

J. Liu, D. Batory, C. Lengauer, Feature Oriented Refactoring of Legacy Applications, Proceedings of the International Conference on Software Engineering (ICSE), 2006, pp. 112–121,. ISBN 1-59593-375-1.

Digital Library

[62]

D.H. Lorenz, T. Skotiniotis, Extending Design by Contract for Aspect-Oriented Programming, abs/cs/0501070 (2005).

[63]

Meinicke, J., Thüm, T., Schröter, R., Benduhn, F., Leich, T., Saake, G., 2017. Mastering software variability with featureide.

[64]

B. Meyer, Object-Oriented Software Construction, 1st, Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1988, ISBN 0136290493.

[65]

B. Meyer, Applying Design by Contract, 25 (10) (1992) 40–51.

[66]

M. Mezini, K. Lieberherr, Adaptive Plug-and-Play Components for Evolutionary Software Development, Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 1998, pp. 97–116,. ISBN 1-58113-005-8.

Digital Library

[67]

T. Molderez, D. Janssens, Design by Contract for Aspects, by Aspects, Proceedings of the Workshop on Foundations of Aspect-Oriented Languages (FOAL), 2012, pp. 9–14,. ISBN 978-1-4503-1099-4.

Digital Library

[68]

T. Molderez, D. Janssens, Modular Reasoning in Aspect-Oriented Languages from a Substitution Perspective, 2015, pp. 3–59,.

[69]

P. Mulet, J. Malenfant, P. Cointe, Towards a Methodology for Explicit Composition of MetaObjects, Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 1995, pp. 316–330,. ISBN 0-89791-703-0.

Digital Library

[70]

K. Pohl, G. Böckle, F.J. van Der Linden, Software product line engineering: foundations, principles and techniques, Springer Science & Business Media, 2005.

Digital Library

[71]

K. Pohl, G. Böckle, F.J. van der Linden, Software Product Line Engineering: Foundations, Principles and Techniques, 2005.

Digital Library

[72]

C. Prehofer, Feature-Oriented Programming: A Fresh Look at Objects, Proceedings of the European Conference on Object-Oriented Programming (ECOOP), 1997, pp. 419–443.

[73]

F. Proksch, S. Krüger, Tool Support for Contracts in FeatureIDE, Technical Report FIN-001-2014, University of Magdeburg, Germany, 2014.

[74]

H. Rebêlo, R. Coelho, R. Lima, G.T. Leavens, M. Huisman, A. Mota, F. Castor Filho, On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach, 2011, pp. 7:1–7:6,. ISBN 978-1-4503-0893-9.

Digital Library

[75]

H. Rebêlo, G.T. Leavens, M. Bagherzadeh, H. Rajan, R. Lima, D.M. Zimmerman, M. Cornélio, T. Thüm, AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts, Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD), 2014, pp. 157–168,. ISBN 978-1-4503-2772-5.

Digital Library

[76]

H. Rebêlo, G.T. Leavens, R. Lima, P. Borba, M. Ribeiro, Modular Aspect-Oriented Design Rule Enforcement with XPIDRs, Proceedings of the Workshop on Foundations of Aspect-Oriented Languages (FOAL), 2013, pp. 13–18,. ISBN 978-1-4503-1865-5.

Digital Library

[77]

H. Rebêlo, R. Lima, M. Cornélio, S. Soares, A JML Compiler Based on AspectJ, 2008, pp. 541–544,. ISBN 978-0-7695-3127-4.

Digital Library

[78]

H. Rebêlo, R. Lima, U. Kulesza, M. Ribeiro, Y. Cai, R. Coelho, C. Sant’Anna, A. Mota, Quantifying the Effects of Aspectual Decompositions on Design by Contract Modularization: A Maintenance Study, 23 (7) (2013) 913–942,.

[79]

H. Rebêlo, S. Soares, R. Lima, P. Borba, M. Cornélio, JML and Aspects: The Benefits of Instrumenting JML Features with AspectJ, University of Central Florida, Orlando, Florida, USA, 2008, pp. 11–18.

[80]

M. Rhanoui, B.E. Asri, A Contractual Specification of Functional and Non-Functional Requirements of Domain-Specific Components, 11 (2) (2014) 172–181. ISSN 1694-0814.

[81]

Robby, E. Rodríguez, M.B. Dwyer, J. Hatcliff, Checking JML Specifications Using an Extensible Software Model Checking Framework, 8 (3) (2006) 280–299,. ISSN 1433-2779.

[82]

I. Schaefer, L. Bettini, V. Bono, F. Damiani, N. Tanzarella, Delta-Oriented Programming of Software Product Lines, Proceedings of the International Software Product Line Conference (SPLC), 2010, pp. 77–91.

[83]

I. Schaefer, L. Bettini, F. Damiani, Compositional Type-Checking for Delta-Oriented Programming, Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD), 2011, pp. 43–56,. ISBN 978-1-4503-0605-8.

Digital Library

[84]

W. Scholz, T. Thüm, S. Apel, C. Lengauer, Automatic Detection of Feature Interactions Using the Java Modeling Language: An Experience Report, 2011, pp. 7:1–7:8,. ISBN 978-1-4503-0789-5.

Digital Library

[85]

R. Schröter, N. Siegmund, T. Thüm, Towards Modular Analysis of Multi Product Lines, 2013, pp. 96–99,. ISBN 978-1-4503-2325-3.

Digital Library

[86]

S. Shinotsuka, N. Ubayashi, H. Shinomi, T. Tamai, An Extensible Contract Verifier for AspectJ, 2006, pp. 1:1–1:6.

[87]

Y. Smaragdakis, D. Batory, Mixin Layers: An Object-Oriented Implementation Technique for Refinements and Collaboration-Based Designs, 11 (2) (2002) 215–255,. ISSN 1049-331X.

Digital Library

[88]

T.S. Strickland, C. Dimoulas, A. Takikawa, M. Felleisen, Contracts for First-Class Classes, ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3) (2013) 11:1–11:58,. ISSN 0164-0925.

Digital Library

[89]

T.S. Strickland, M. Felleisen, Contracts for First-Class Classes, 2010, pp. 97–112,. ISBN 978-1-4503-0405-4.

Digital Library

[90]

A. Takikawa, T.S. Strickland, C. Dimoulas, S. Tobin-Hochstadt, M. Felleisen, Gradual Typing for First-Class Classes, Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), 2012, pp. 793–810,. ISBN 978-1-4503-1561-6.

Digital Library

[91]

P. Tarr, H. Ossher, W. Harrison, Sutton S.M. Jr., N Degrees of Separation: Multi-Dimensional Separation of Concerns, Proceedings of the International Conference on Software Engineering (ICSE), 1999, pp. 107–119,. ISBN 1-58113-074-0.

Digital Library

[92]

T. Thüm, Product-Line Specification and Verification with Feature-Oriented Contracts, Otto von Guericke University Magdeburg, 2015, Ph.D. thesis.

[93]

T. Thüm, S. Apel, C. Kästner, I. Schaefer, G. Saake, A Classification and Survey of Analysis Strategies for Software Product Lines, 47 (1) (2014) 6:1–6:45,. ISSN 0360-0300.

Digital Library

[94]

T. Thüm, S. Apel, A. Zelend, R. Schröter, B. Möller, Subclack: Feature-Oriented Programming with Behavioral Feature Interfaces, 2013, pp. 1–8,. ISBN 978-1-4503-2046-7.

Digital Library

[95]

T. Thüm, J. Meinicke, F. Benduhn, M. Hentschel, A. von Rhein, G. Saake, Potential Synergies of Theorem Proving and Model Checking for Software Product Lines, Proceedings of the International Software Product Line Conference (SPLC), 2014, pp. 177–186,. ISBN 978-1-4503-2740-4.

Digital Library

[96]

T. Thüm, I. Schaefer, S. Apel, M. Hentschel, Family-Based Deductive Verification of Software Product Lines, Proceedings of the International Conference on Generative Programming and Component Engineering (GPCE), 2012, pp. 11–20,. ISBN 978-1-4503-1129-8.

Digital Library

[97]

T. Thüm, I. Schaefer, M. Kuhlemann, S. Apel, Proof Composition for Deductive Verification of Software Product Lines, 2011, pp. 270–277,.

[98]

T. Thüm, I. Schaefer, M. Kuhlemann, S. Apel, G. Saake, Applying Design by Contract to Feature-Oriented Programming, Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE), 2012, pp. 255–269,. ISBN 978-3-642-28871-5.

Digital Library

[99]

D. Wampler, Aspect-Oriented Design Principles: Lessons from Object-Oriented Design, Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD), 2007, pp. I6:1–I6:10.

[100]

A. Weigelt, Methoden-basierte Komposition von Kontrakten in Feature-orientierter Programmierung, University of Magdeburg. Germany, 2013, Bachelor’s thesis.

[101]

B. Weiß, Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic, and Predicate Abstraction, Karlsruhe Institute of Technology, Germany, 2011, Ph.D. thesis.

[102]

J. Zhao, M.C. Rinard, Pipa: A Behavioral Interface Specification Language for AspectJ, Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE), 2003, pp. 150–165. ISBN 3-540-00899-3.

Cited By

Kodetzki MBordis TRunge TSchaefer I(2024)Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product LinesProceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3634713.3634714(17-26)Online publication date: 7-Feb-2024
https://dl.acm.org/doi/10.1145/3634713.3634714

Index Terms

Feature-oriented contract composition
1. Software and its engineering
  1. Software creation and management
  2. Software notations and tools
    1. General programming languages
2. Theory of computation
  1. Semantics and reasoning
    1. Program reasoning

Index terms have been assigned to the content through auto-classification.

Recommendations

Feature-Oriented Contract Composition
SPLC '19: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A

A software product line comprises a set of products that share a common code base, but vary in specific characteristics called features. Ideally, features of a product line are developed in isolation and composed subsequently. Product lines are ...
Product-line verification with feature-oriented contracts
ISSTA 2013: Proceedings of the 2013 International Symposium on Software Testing and Analysis

Software product lines allow programmers to reuse code across similar software products. Software products are decomposed into separate modules representing user-visible features. Based on a selection of desired features, a customized software product ...
Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines
VaMoS '24: Proceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems

Software product lines (SPLs) are a technique to efficiently develop families of software products. Code is implemented in functional features which are composed to individual software variants. SPLs are oftentimes used in safety-critical systems, which ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Journal of Systems and Software

Journal of Systems and Software Volume 152, Issue C

Jun 2019

254 pages

ISSN:0164-1212

Issue’s Table of Contents

Elsevier Inc.

Publisher

Elsevier Science Inc.

United States

Publication History

Published: 01 June 2019

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kodetzki MBordis TRunge TSchaefer I(2024)Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product LinesProceedings of the 18th International Working Conference on Variability Modelling of Software-Intensive Systems10.1145/3634713.3634714(17-26)Online publication date: 7-Feb-2024
https://dl.acm.org/doi/10.1145/3634713.3634714

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents