IEEE - Institute of Electrical and Electronics Engineers, Inc. - GARDIAN: A Tool for Validating Rule-Based Modeling Methods

2009 9th International Conference on Quality Software (QSIC)

Author(s): Suntae Kim ; Jintae Kim ; Sooyong Park ; Dae-Kyoo Kim
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2009
Conference Location: Jeju, Korea (South), Korea (South)
Conference Date: 24 August 2009
Page(s): 161 - 166
ISBN (CD): 978-0-7695-3828-0
ISBN (Electronic): 978-1-4244-5913-1
ISBN (Paper): 978-1-4244-5912-4
ISSN (Paper): 1550-6002
DOI: 10.1109/QSIC.2009.29
Regular:

A software modeling method provides concrete modeling guidelines. Use of the guidelines helps designers build rigorous software in a systematic manner. However, the observation of modeling... View More

Advertisement