Abstract | ||
---|---|---|
Requirements are typically specified in natural languages (NL) such as English and then analyzed by analysts and developers to generate formal software design/model. However, English is ambiguous and the requirements specified in English can result in erroneous and absurd software designs. We propose a semantically controlled representation based on SBVR for specifying requirements. The SBVR based controlled representation can not only result in accurate and consistent software models but also machine process able because SBVR has pure mathematical foundation. We also introduce a java based implementation of the presented approach that is a proof of concept. |
Year | Venue | Keywords |
---|---|---|
2011 | NLDB | pure mathematical foundation,formal software design,absurd software design,machine process,consistent software model,natural language,sbvr,natural language processing,software design,proof of concept |
Field | DocType | Volume |
Semantics of Business Vocabulary and Business Rules,Software design,Programming language,Computer science,Proof of concept,Software,Natural language,Java | Conference | 6716 |
ISSN | Citations | PageRank |
0302-9743 | 1 | 0.38 |
References | Authors | |
4 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Imran Sarwar Bajwa | 1 | 87 | 22.31 |
M. Asif Naeem | 2 | 102 | 19.73 |