• Aug 25, 2016 News!Vol.4, No.3 has been published with online version. 15 peer reviewed articles from 3 specific areas are published in this issue.   [Click]
  • May 03, 2016 News!Vol. 3, No. 3 has been indexed by EI (Inspec).   [Click]
  • May 03, 2016 News!Vol. 3, No. 2 has been indexed by EI (Inspec).   [Click]
General Information
    • ISSN: 2301-3559
    • Frequency: Quarterly
    • DOI: 10.18178/LNSE
    • Editor-in-Chief: Prof. Jemal Antidze
    • Executive Editor: Ms. Nina Lee
    • Abstracting/ Indexing: EI (INSPEC, IET), DOAJ, Electronic Journals Library, Engineering & Technology Digital Library, Ulrich's Periodicals Directory, International Computer Science Digital Library (ICSDL), ProQuest and Google Scholar.
    • E-mail: lnse@ejournal.net
Editor-in-chief
Prof. Jemal Antidze
I. Vekua Scientific Institute of Applied Mathematics
Tbilisi State University, Georgia
I'm happy to take on the position of editor in chief of LNSE. We encourage authors to submit papers concerning any branch of Software Engineering.

LNSE 2016 Vol.4(1): 27-33 ISSN: 2301-3559
DOI: 10.7763/LNSE.2016.V4.219

Verifying Software Requirements Characteristics Based on Rules Defined from Software Component Relationships

Nattapon Phanthanithilerd and Nakornthip Prompoon
Abstract—In identifying software requirements from users, the requirements are usually in the form of natural language sentences, which may be ambiguous. Therefore, a language has been developed to model the software in different aspects help solve such problem and communicate between the users and developers, namely, Unified Modeling Language (UML). Using UML for Software designing from natural language sentences may be complicated, and the software developers may not identify the requirements consistently; therefore, software developers should give importance to verifying that the requirements in the natural language sentence format and in the model format have good properties. Therefore, this research proposes rules for verifying that requirements in the natural language sentence format and requirements in the model have good properties according to the IEEE 830 standard, namely, unambiguity, consistency and traceability, Applying the proposed rules is beneficial to ensure that the requirements identified in the model are consistent with the user requirements in the natural language sentence format, allowing the software developers to develop the software according to the user requirements.

Index Terms—Software requirement properties, software model, requirements verification.

Nattapon Phanthanithilerd and Nakornthip Prompoon are with the Department of Computer Engineering, Faculty of Engineering, Chulalongkorn University, Bangkok, Thailand (e-mail: nattapon.pha@student.chula.ac.th).

[PDF]

Cite: Nattapon Phanthanithilerd and Nakornthip Prompoon, "Verifying Software Requirements Characteristics Based on Rules Defined from Software Component Relationships," Lecture Notes on Software Engineering vol. 4, no. 1, pp. 27-33, 2016.

Copyright © 2008-2015. Lecture Notes on Software Engineering. All rights reserved.
E-mail: lnse@ejournal.net