From Stakeholder Requirements to Formal Specifications Through Refinement-Reference-Cited by-同舟云学术

From Stakeholder Requirements to Formal Specifications Through Refinement

Published:2015 Issue: Volume: Page:164-180
ISSN:0302-9743
Container-title:Requirements Engineering: Foundation for Software Quality
language:
Short-container-title:

Author:

Li Feng-Lin,Horkoff Jennifer,Borgida Alexander,Guizzardi Giancarlo,Liu Lin,Mylopoulos John

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-16101-3_11

Reference23 articles.

1. Lecture Notes in Computer Science;C Rolland,1992

2. Dardenne, A., Van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program. 20(1–2), 3–50 (1993)

3. IBM - Rational DOORS. http://www-03.ibm.com/software/products/en/ratidoor

4. Menzies, T., Caglayan, B., He, Z., Kocaguneli, E., Krall, J., Peters, F., Turhan, B.: The PROMISE Repository of empirical software engineering data. http://promisedata.googlecode.com

5. Fraser, M.D., Kumar, K., Vaishnavi, V.K.: Informal and formal requirements specification languages: bridging the gap. IEEE Trans. on Softw. Eng. 17(5), 454–466 (1991)

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

1. The Role of Formalism in System Requirements;ACM Computing Surveys;2022-06-30

2. Automatically Capturing Quality-Related Concerns in Bug Report Descriptions for Efficient Bug Triaging;The International Conference on Evaluation and Assessment in Software Engineering 2022;2022-06-13

3. Requirements document relations;Software and Systems Modeling;2022-01-25

4. Multidisciplinary Requirements Engineering;Requirements Engineering: Laying a Firm Foundation;2022

5. CaRE: a refinement calculus for requirements engineering based on argumentation theory;Software and Systems Modeling;2021-11-05