An Abductive Approach for Analysing Event-Based Requirements Specifications-Reference-Cited by-同舟云学术

An Abductive Approach for Analysing Event-Based Requirements Specifications

Published:2002 Issue: Volume: Page:22-37
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

Russo Alessandra,Miller Rob,Nuseibeh Bashar,Kramer Jeff

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45619-8_3

Reference28 articles.

1. Alspaugh, T. et al. (1988). Software Requirements for the A-7E Aircraft. Naval Research Laboratory.

2. Anderson, R., et al. (1996). Model Checking Large Software Specifications. ACM Proc. of 4th Int. Symp. on the Foundation of Software Engineering.

3. Atlee, J. M., and Gannon, J. (1993). State-Based Model Checking of Event-Driven System Requirements. IEEE Transaction on Software Engineering, 19(1): 24–40.

4. Bharadwaj, R., and Heitmeyer, C. (1997). Model Checking Complete Requirements Specifications Using Abstraction. Technical Report No. NRL-7999, NRL.

5. Bharadwaj, R., and Sims, S. (2000). Salsa: Combining Solvers with BDDs for Automated Invariant Checking. Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in CS, Springer.

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

1. eFLINT: a domain-specific language for executable norm specifications;Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2020-11-16

2. Methods and Tools for Policy Analysis;ACM Computing Surveys;2019-11-30

3. The inconsistency between theory and practice in managing inconsistency in requirements engineering;Empirical Software Engineering;2019-06-24

4. A Review of Dynamic Verification of Security and Dependability Properties;Artificial Intelligence and Security Challenges in Emerging Networks;2019

5. Automated Error-Detection and Repair for Compositional Software Specifications;Software Engineering and Formal Methods;2014