Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling-Reference-Cited by-同舟云学术

Using RELAX, SysML and KAOS for Ambient Systems Requirements Modeling

Published:2012 Issue: Volume:10 Page:474-481
ISSN:1877-0509
Container-title:Procedia Computer Science
language:en
Short-container-title:Procedia Computer Science

Author:

Ahmad Manzoor,Bruel Jean-Michel,Laleau Régine,Gnaho Christophe

Publisher

Elsevier BV

Subject

General Engineering

Reference18 articles.

1. Betty H. C. Cheng, Pete Sawyer, Nelly Bencomo, Jon Whittle. A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty, MODELS’09, Springer-Verlag Berlin, Heidelberg 2009.

2. Ji Zhang, Betty H. C. Cheng. Model-based development of dynamically adaptive software, ICSE 06: Proceedings of the 28th international conference on Software engineering, New York USA, ACM (2006) 371-380.

3. Axel Van Lamsweerde. Goal-Oriented Requirements Engineering: A Guided Tour, Fifth IEEE International Symposium on Requirements Engineering (RE01) Toronto, 249-263.

4. Manzoor Ahmad. First Step towards a Domain Speciﬁc Language for Self Adaptive Systems, NOTERE, May 31-June 2 2010 Tozeur Tunisia, P. 285-290 ISBN: 978-1-4244-7067-9 DOI:10.1109/NOTERE. 2010.5536629.

5. Jon Whittle, Pete Sawyer, Nelly Bencomo, Betty H.C. Cheng, and Jean-Michel Bruel. Relax: Incorporating Uncertainty into the Speciﬁcation of Self-Adaptive systems, Proceedings of the 2009, 17th IEEE International Requirements Engineering Conference, Pages: 79-88.

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

1. Process-Product-Resource based Requirement Model for Discrete Manufacturing Systems;2023 IEEE 32nd International Symposium on Industrial Electronics (ISIE);2023-06-19

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

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

4. The Formal Reference Model for Software Requirements;Communications in Computer and Information Science;2019

5. Survey and classification of model transformation tools;Software & Systems Modeling;2018-03-12