Supporting incremental behaviour model elaboration-Reference-Cited by-同舟云学术

Supporting incremental behaviour model elaboration

Published:2012-10-25 Issue:4 Volume:28 Page:279-293
ISSN:1865-2034
Container-title:Computer Science - Research and Development
language:en
Short-container-title:Comput Sci Res Dev

Author:

Uchitel Sebastian,Alrajeh Dalal,Ben-David Shoham,Braberman Victor,Chechik Marsha,De Caso Guido,D’Ippolito Nicolas,Fischbein Dario,Garbervetsky Diego,Kramer Jeff,Russo Alessandra,Sibay German

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s00450-012-0233-1.pdf

Reference78 articles.

1. Alexander I, Maiden N (2004) Scenarios, stories, use cases: through the systems development life-cycle. Wiley, New York

2. Lecture notes in computer science;D Alrajeh,2008

3. Alrajeh D, Kramer J, Russo A, Uchitel S (2009) Learning operational requirements from goal models. In: Proc of 31st intl conf on softw eng, pp 265–275

4. Alrajeh D, Ray O, Russo A, Uchitel S (2009) Using abduction and induction for operational requirements elaboration. J Appl Log 7(3):275–288

5. Alrajeh D, Kramer J, Russo A, Uchitel S (2010) Deriving non-zeno behaviour models from goal models using ilp. Form Asp Comput 22(3–4):217–241

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

1. Lazy model checking for recursive state machines;Software and Systems Modeling;2024-03-20

2. TOrPEDO: witnessing model correctness with topological proofs;Formal Aspects of Computing;2021-11-06

3. Testing adaptation policies for software components;Software Quality Journal;2020-01-23

4. Scen@rist: an approach for verifying self-adaptive systems using runtime scenarios;Software Quality Journal;2020-01-16

5. Integrating Topological Proofs with Model Checking to Instrument Iterative Design;Fundamental Approaches to Software Engineering;2020