文章基本信息

标题：Innovative Approach in AGILE Policies Validation
本地全文：下载
作者：Aleksandra Kawala-Janik ; Magda Zolubak ; Michal Podpora 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：6
页码：301-305
DOI：10.1016/j.ifacol.2018.07.170
语种：English
出版社：Elsevier
摘要：AbstractIn this paper an innovative approach in providing formalised method of analysis AGILE policies was in short presented. For the purpose of such policies validation the Definition Language was undertaken. The proposed method plays a significant role while using AGILE policies in certain applications such as inter alia control systems or safety critical systems. The method proposed in this paper can be successfully applied for the purpose of AGILE policies validation. One version of a policy used for managing an Air Cooling system will be as an example discussed.
关键词：KeywordsAutomatic controlComputer aided software engineeringComputer applicationsSoftware performance