Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language-Reference-Cited by-同舟云学术

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language

Published:2011 Issue: Volume: Page:417-457
ISSN:0302-9743
Container-title:Formal Methods for Eternal Networked Software Systems
language:
Short-container-title:

Author:

Clarke Dave,Diakov Nikolay,Hähnle Reiner,Johnsen Einar Broch,Schaefer Ina,Schäfer Jan,Schlatte Rudolf,Wong Peter Y. H.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21455-4_13

Reference25 articles.

1. Atkinson, C., Bayer, J., Bunse, C., Kamsties, E., Laitenberger, O., Laqua, R., Muthig, D., Paech, B., Wüst, J., Zettel, J.: Component-based product line engineering with UML. Addison-Wesley Longman Publishing Co., Inc., Boston (2002)

2. Batory, D., Sarvela, J., Rauschmayer, A.: Scaling Step-Wise Refinement. IEEE Trans. Software Eng. 30(6) (2004)

3. Beck, K.: Extreme Programming. Addison-Wesley, Reading (1999)

4. Lecture Notes in Computer Science;F.S. Boer de,2007

5. Boucher, Q., Classen, A., Faber, P., Heymans, P.: Introducing TVL, a text-based feature modelling language. In: Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS 2010), Linz, Austria, January 27-29, pp. 159–162. University of Duisburg-Essen (2010), http://www.vamos-workshop.net/2010

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

1. Towards a Modular and Variability-Aware Aerodynamic Simulator;The Logic of Software. A Tasting Menu of Formal Methods;2022

2. Delta-based verification of software product families;Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2021-10-17

3. On Slicing Software Product Line Signatures;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020

4. Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form;International Journal on Software Tools for Technology Transfer;2019-09-23

5. Interoperability of software product line variants;Proceedings of the 22nd International Systems and Software Product Line Conference - Volume 1;2018-09-10