Validating feature-based specifications-Reference-Cited by-同舟云学术

Validating feature-based specifications

Published:2006 Issue:10 Volume:36 Page:999-1027
ISSN:0038-0644
Container-title:Software: Practice and Experience
language:en
Short-container-title:Softw: Pract. Exper.

Author:

Turner Kenneth J.

Publisher

Wiley

Subject

Software

Reference40 articles.

1. . (E-)LOTOS: (Enhanced) language of temporal ordering specification. Software Specification Methods, ch. 10, (eds.). Springer: Godalming, U.K., 2001; 165–190.

2. Representing new voice services and their features. Proceedings of the 7th Feature Interactions in Telecommunications and Software Systems, (eds.). IOS Press: Amsterdam, 2003; 123–140.

3. , , , , . A feature-interaction benchmark for IN and beyond. IEEE Communications Magazine, March 1993; 64–69.

4. Formalising the CHISEL feature notation. Proceedings of the 6th Feature Interactions in Telecommunications and Software Systems, (eds.). IOS Press: Amsterdam, 2000; 241–256.

5. ISO/IEC. Information Processing Systems—Open Systems Interconnection—Conformance Testing Methodology and Framework. ISO/IEC 9646. International Organization for Standardization, Geneva, Switzerland, 1998.

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

1. Workflows for quantitative data analysis in the social sciences;International Journal on Software Tools for Technology Transfer;2014-04-27

2. Rigorous development of composite grid services;Journal of Network and Computer Applications;2012-07

3. Rigorous development of prompting dialogues;Journal of Biomedical Informatics;2011-10

4. Abstraction and analysis of clinical guidance trees;Journal of Biomedical Informatics;2009-04

5. Feature Interactions in Aspect-Oriented Scenario Models;2009