| Инд. авторы: | Kovalyov S.P., Ozhiganova E.A. |
| Заглавие: | Formal Modeling of Software Quality with xNoFun Language |
| Библ. ссылка: | Kovalyov S.P., Ozhiganova E.A. Formal Modeling of Software Quality with xNoFun Language // Proceedings of the Second IASTED International Conference on Automation, Control and Information Technology ACIT-2005, Software Engineering. Novosibirsk, 2005. - P.48-53. |
| Внешние системы: | РИНЦ: 15043875; SCOPUS: 2-s2.0-33244462141; |
| Реферат: | eng: This paper presents new practical approach to automated formal modeling and validation of quality requirements. It relies on two paramount software industry standards: ISO/IEC 9126 for software quality and XML for formal notation. The xNoFun language allows composing formal quality models not only manually but via requirement management CASE tool IBM Rational RequisitePro. Efficient runtime modules for autonomic quality monitoring and adjustment according to xNoFun specifications can be implemented. Quality modeling and monitoring of automatic electricity metering system is considered as an industrial application of the approach.
|
| Издано: | Novosibirsk: , 2005 |
| Физ. характеристика: | с.48-53 |