Using First-Order Logic for Product Line Model Validation-Reference-Cited by-同舟云学术

Using First-Order Logic for Product Line Model Validation

Published:2002 Issue: Volume: Page:176-187
ISSN:0302-9743
Container-title:Software Product Lines
language:
Short-container-title:

Author:

Mannion Mike

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45652-X_11

Reference8 articles.

1. Cohen, S., Hess, J., Kang, K., Novak, W., and Peterson, A.: Feature-Oriented Domain Analysis (FODA) Feasibility Study, Special Report CMU/SEI-90-TR-21, Carnegie Mellon University (1990).

2. Jacobson, I., Griss, M., and Jonsson, P.: Software Reuse: Architecture, Process and Organization for Business Success, Addison-Wesley, ISBN 0-201-92476-5 (1997).

3. Organization Domain Modeling (ODM) Guidebook Version 2.0, STARS-VC-A025/001/00, June 14 (1996), Electronic Systems Center, Air Force Systems Command, USAF, MA 01731-2816.

4. Bayer, J., Gacek, C., Muthig, D., Widen T., PuLSE-I: Deriving Instances From A Product Line Infrastructure, 7th IEEE International Conference on Engineering Conference on Computer-Based Systems, 3–7 April 2000, Edinburgh, ISBN 0-7695-0604-6.

5. Griss, M., Favaro, J., and d’Alessandro, M.: Integrating Feature Modelling with the RSEB, in Proc. of the IEEE Int’l Conf. on Software Reuse (ICSR5), Vancouver, June (1998) 76–85.

Cited by 71 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Operationalizing Decision Tables: A Step-by-Step Framework for Efficient Software Product Line Customization;Communications in Computer and Information Science;2024

2. Generic Solution-Space Sampling for Multi-domain Product Lines;Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2022-11-29

3. Extending Boolean Variability Relationship Extraction to Multi-valued Software Descriptions;Handbook of Re-Engineering Software Intensive Systems into Software Product Lines;2022-11-23

4. Hyper Explanations for Feature-Model Defect Analysis;15th International Working Conference on Variability Modelling of Software-Intensive Systems;2021-02-09

5. Supervisory Synthesis of Configurable Behavioural Contracts with Modalities;Formal Techniques for Distributed Objects, Components, and Systems;2021