Software Engineering Institute

Julie A. Walker

Julie Walker is an SEI alumni employee.

All

Model-Based Verification: An Engineering Practice

August 1, 2002 • Technical Report

By David P. Gluch , Santiago Comella-Dorda , John J. Hudak , Grace Lewis , Julie A. Walker , Charles Weinstock , David Zubrow

Framework Document: Model-Based Verification Pilot Study

October 1, 2001 • Special Report

By David P. Gluch , John J. Hudak , Robert Janousek , Julie A. Walker , Charles Weinstock , David Zubrow

Model-Based Verification: Scope, Formalism, and Perspective Guidelines

October 1, 2001 • Technical Note

By David P. Gluch , Santiago Comella-Dorda , John J. Hudak , Grace Lewis , Julie A. Walker , Charles Weinstock

Simplex Architecture Performance and Cost

September 1, 2000 • Technical Report

By Michael J. Gagliardi , Theodore F. Marz , Neal Altman , Julie A. Walker

Continuous Risk Management Guidebook

January 1, 1996 • Book

By Christopher J. Alberts , Audrey J. Dorofee , Ron Higuera , Richard L. Murphy , Julie A. Walker , Ray C. Williams

More from Julie Walker