Semantic Languages for Software Engineering
Shu Wang, Fei Xie, Phillip C.‐Y. Sheu · 2010
This chapter discusses semantic software engineering and semantic programming languages. The difficulty of translating informal requirement specifications to formal design and implementations in generic software engineering problems has no easy solutions. However, by limiting the scope of the problems to database software, where the gap between formality and informality is not as significant as in other software engineering problems, natural language - based requirements engineering may be more feasible. The chapter also discusses semantic programming languages that allow users to describe their intentions when programming an application. Some interesting work about natural language - based programming was introduced followed by an introduction of declarative programming languages. The chapter introduces a Python - like language with some declarative extensions such as exponential variables. The user only needs to provide a brute - force solution based on the generate - and - test strategy. Controlled Vocabulary Terms natural languages; programming language semantics; software engineering