dan berry

The Prehistory and History of Requirements Engineering (RE) (+ Software Engineering) as Seen by Me: How my interest in Formal Methods eventually moved me to RE

Berry weaves the twin peaks of (1) his life in computing, programming, programming languages, formal methods, software engineering, electronic publishing, and requirements engineering with (2) the almost concurrent development of programming languages, software engineering, and requirements engineering.

The focus in this presentation will be on his participation in formal methods, how it stimulated his eventual move to requirements engineering at the same time he was becoming more and more disillusioned about the usefulness and effectiveness of formal methods.