IEEE - Institute of Electrical and Electronics Engineers, Inc. - Guided Requirements Clarification for Automatic Formalization

2013 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2013)

Author(s): Xi Wang ; Shaoying Liu
Sponsor(s): IEEE Comput. Soc.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 July 2013
Conference Location: Honolulu, HI, USA
Conference Date: 1 July 2013
Page(s): 348 - 355
ISBN (Electronic): 978-0-7695-5005-3
DOI: 10.1109/SNPD.2013.56
Regular:

Automatic transformation from informal requirements to formal specifications is an important but challenging topic in software engineering. The major challenge stems from the fact that informal... View More

Advertisement