In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...
Abstract: Funktionsnetze geh¨oren w¨ahrend des Systementwurfs im modellgetriebenen Top-Down-Entwicklungsprozess von Fahrzeugsoftware zu den ersten Artefakten; sie werden aus den ...
Cem Mengi, Antonio Navarro Perez, Christian Fu&szl...