A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction

Publisher： Elsevier

ISSN： 0164-1212

Source： Journal of Systems and Software, Vol.67, Iss.3, 2003-09, pp. : 213-224

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Towards UML-based formal specifications of component-based real-time software

By Bianco Vieri

International Journal on Software Tools for Technology Transfer, Vol. 9, Iss. 2, 2007-03 ,pp. : 179-192

Springer Publishing Company

Access to resources Recommend Favorite

Knowledge and software modeling using UML

By Chan Christine W.

Software and Systems Modeling (SoSyM), Vol. 3, Iss. 4, 2004-12 ,pp. : 294-302

Springer Publishing Company

Access to resources Recommend Favorite

Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model

International Journal of Knowledge and Systems Science (IJKSS), Vol. 5, Iss. 4, 2014-10 ,pp. : 52-76

IGI Global_journal

Access to resources Recommend Favorite

A development method of UML documents from requirement specifications using NLP

By Takahashi Masakazu Takahashi Satoru Fujita Yoshikatsu

International Journal of Computer Applications in Technology, Vol. 33, Iss. 2-3, 2008-12 ,pp. : 164-175

Inderscience Publishers

Access to resources Recommend Favorite

Modeling and formal verification of embedded systems based on a Petri net representation

By Cortes L.A. Eles P. Peng Z.

Journal of Systems Architecture, Vol. 49, Iss. 12, 2003-12 ,pp. : 571-598

Elsevier

Access to resources Recommend Favorite