Efficient parallel reasoning on fuzzy goal models for run time requirements verification-Reference-Cited by-同舟云学术

Efficient parallel reasoning on fuzzy goal models for run time requirements verification

Published:2016-09-30 Issue:4 Volume:17 Page:1339-1364
ISSN:1619-1366
Container-title:Software & Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

Chatzikonstantinou George,Kontogiannis Kostas

Funder

European Union

Greek Government

Publisher

Springer Science and Business Media LLC

Subject

Modelling and Simulation,Software

Link

http://link.springer.com/article/10.1007/s10270-016-0562-9/fulltext.html

Reference50 articles.

1. Programmable controllers—part 7: Fuzzy control programming. Tech. Rep. IEC 61131-7:2000, International Electrotechnical Commission (2000)

2. Ultra-Large-Scale Systems The Software Challenge of the Future: 1st edn. Carnegie Mellon University, Pittsburgh, PA, USA, Software Engineering Institute (2006)

3. Centroid (2016). http://en.wikipedia.org/wiki/Centroid

4. T-norm (2016). https://en.wikipedia.org/wiki/T-norm

5. Ali, R., Dalpiaz, F., Giorgini, P.: Location-based software modeling and analysis: tropos-based approach. In: Li, Q., Spaccapietra, S., Yu, E.S.K., Olivé, A. (eds.) Conceptual Modeling—ER 2008, 27th International Conference on Conceptual Modeling, Barcelona, Spain, October 20–24, 2008. Proceedings, Lecture Notes in Computer Science, vol. 5231, pp. 169–182. Springer (2008)

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

1. Reputation-Based Trust Assessment of Transacting Service Components;2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC);2023-06

2. Goal model convergence and conflict detection for crossover services;Journal of Systems and Software;2023-05

3. Synergies Between Artificial Intelligence and Software Engineering: Evolution and Trends;Handbook on Artificial Intelligence-Empowered Applied Software Engineering;2022

4. Models@Runtime: The Development and Re-Configuration Management of Python Applications Using Formal Methods;Applied Sciences;2021-10-19

5. Goal Model Evaluation Based on State-Space Representation;IEEE Access;2020