Manfred Haß
-
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering