Specifying Software Requirements for Complex Systems: New Tech-niques and Their Applications Вид публикации: Journal Article Авторы: Karen L. Heninger Источник: IEEE Transactions on Software Engineering , Volume 6, № 1, p.2–13 (1980)
