معرفی
Steve Riddle is a Research Professor with extensive contributions to software engineering, systems of systems (SoS) modeling, and requirements engineering. His work spans formal methods, traceability frameworks, and safety-critical system design across institutions and projects.
- Active in software traceability and requirements engineering
- Key contributor to SoS architectural modeling
- Collaborator in formal methods education initiatives
His research focuses on traceability in software systems, contract-based analysis of SoS, and protective wrapping for off-the-shelf components. He explores how project metrics predict change-proneness and develops frameworks for competency-based computing education.
Recent publications analyze team-based capstone projects in computing education and instructor perspectives on software engineering pedagogy. His work bridges theoretical approaches (like VDM++) with industry-aligned problem-solving.



