Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions-Reference-Cited by-同舟云学术

Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions

Published:2018 Issue: Volume: Page:377-397
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Tueno Fotso Steve Jeffrey,Frappier Marc,Laleau Régine,Mammar Amel,Leuschel Michael

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-98938-9_22

Reference37 articles.

1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)

2. Abrial, J.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)

3. Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to Event-B. Fundamenta Informaticae 77(1–2), 1–28 (2007)

4. Alur, R., Henzinger, T.A., Kupferman, O.: Alternating-time temporal logic. J. ACM (JACM) 49(5), 672–713 (2002)

5. ANR-14-CE28-0009: Formose ANR project (2017). http://formose.lacl.fr/

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

1. Self-Adaptation Driven by SysML and Goal Models -- A Literature Review;e-Informatica Software Engineering Journal;2022

2. Designing Operating Rules for ERTMS Transnational Lines;Operating Rules and Interoperability in Trans-National High-Speed Rail;2021-03-12

3. Business to System Requirements Agile Mapping;Proceedings of the 17th International Joint Conference on e-Business and Telecommunications;2020

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