Formalization, Testing and Execution of a Use Case Diagram-Reference-Cited by-同舟云学术

Formalization, Testing and Execution of a Use Case Diagram

Published:2003 Issue: Volume: Page:68-85
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Shen Wuwei,Liu Shaoying

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39893-6_6

Reference19 articles.

1. Lecture Notes in Computer Science;A. Abdurazik,2000

2. Bourdeau, R., Cheng, B.: A formal semantics for object model diagrams. IEEE Transactions on Software Engineering 21(10), 799–821 (1995)

3. Diller, A.: Z: An Introduction to Formal Methods. John Wiley & Sons, Chichester (1994)

4. Microsoft FSE Group. Vending machine case study. Technical report, Microsoft FSE Group (June 2002)

5. Gurevich, Y.: Evolving algebras 1993: Lipari guide. In: Börger, E. (ed.) Specification and Validation Methods, pp. 9–36. Oxford University Press, Oxford (1995)

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

1. A supportive situation awareness model for human-autonomy teaming in collaborative driving;Theoretical Issues in Ergonomics Science;2020-02-24

2. A Multiview Formal Model of Use Case Diagrams Using Z Notation: Towards Improving Functional Requirements Quality;Journal of Engineering;2018-12-02

3. Use Case Analysis Based on Formal Methods: An Empirical Study;Recent Trends in Algebraic Development Techniques;2015

4. FORMALIZATION OF TEXTUAL USE CASES BASED ON PETRI NETS;International Journal of Software Engineering and Knowledge Engineering;2010-08

5. Teaching undergraduate students to model use cases using tree diagram concepts;Computer Applications in Engineering Education;2009