Utilizing Event-B for domain engineering: a critical analysis-Reference-Cited by-同舟云学术

Utilizing Event-B for domain engineering: a critical analysis

Published:2011-05-26 Issue:3 Volume:16 Page:191-207
ISSN:0947-3602
Container-title:Requirements Engineering
language:en
Short-container-title:Requirements Eng

Author:

Mashkoor Atif,Jacquot Jean-Pierre

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s00766-011-0120-5.pdf

Reference47 articles.

1. Specification Case Studies in RAISE. Springer, London, UK (2002)

2. Abrial JR (1996) The B book. Cambridge University Press, Cambridge

3. Abrial JR (2010) Modeling in Event-B: system and software engineering. Cambridge University Press, Cambridge

4. Aziz B, Arenas AE, Bicarregui J, Ponsard C, Massonet P (2009) From goal-oriented requirements to Event-B specifications. In: First Nasa formal method symposium. California, US

5. Baille G, Garnier P, Mathieu H, Roger PG (1999) Le cycab de l’INRIA rhônes-alpes. Technical Report RT-0229, INRIA—Rhônes-Alpes

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

1. Trace preservation in B and Event-B refinements;Journal of Logical and Algebraic Methods in Programming;2024-02

2. Trace Refinement in B and Event-B;Formal Methods and Software Engineering;2022

3. Validation of Formal Models by Timed Probabilistic Simulation;Rigorous State-Based Methods;2021

4. Assessment of a Formal Requirements Modeling Approach on a Transportation System;Formal Methods and Software Engineering;2019

5. Back Propagating B System Updates on SysML/KAOS Domain Models;2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS);2018-12