@inbook{d2809d6c54554b84941fca5af0ba2533,
title = "Supporting requirements analysis using pattern-based formal specification construction",
abstract = "Requirements analysis for understanding the user{\textquoteright}s requirements and producing a specification is an important but challenging activity in software development. In this paper, we discuss how the activity can be strengthened by means of pattern-based formal specification construction. We explain the concept of specification pattern and describe how patterns are treated as knowledge stored on computer to guide the user in carrying out the analysis of a functional requirement. Our approach is characterized by the fact that the user only needs to work on natural language level while the computer will automatically select appropriate specification patterns to provide clear instructions on the action to be taken by the user and to eventually form a formal specification or expression as a result. We present a software tool and an experiment to demonstrate the supportability and applicability of our approach, respectively.",
author = "Shaoying Liu and Xi Wang and Weikai Miao",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.",
year = "2015",
doi = "10.1007/978-3-319-25423-4\_7",
language = "英语",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "100--115",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
address = "德国",
}