software engineering and artificial intelligence

Abstract

Are requirements modeling languages, because of their subject matter, fundamentally different from programming and specification languages whose subject matter (software systems) is man-made, bounded and objectively known? As such, do designers of requirements modeling languages need to turn to research in areas other than core computer systems and programming languages (areas such as knowledge representation), in search of ideas and research results that can serve as basis for the design of their languages?