IBM / Ridge National Laboratory / SRI Steven Zeil / A T & T Bell Labs / Aerospace Corporation / P S A / /
Continent
America / /
Country
Germany / France / United States / /
Currency
pence / /
Facility
University of Texas / Assurance Georgetown University / /
IndustryTerm
software engineering / software design / others oil / software development process / security applications / software production activities / software engineers / end product / on technology / software production models / life-critical software / transaction-based distributed systems / software lifecycle / considerable testing technology / real-time systems / software development / software systems / productionquality tools / /
Organization
Federal Aviation Administration / Assurance Georgetown University Washington / National Aeronautics and Space Administration / Department of Defense / Organizing Committee / University of Texas / /
Person
Steven Zeil / Harlan Mills / Don Good / John Cherniavsky / U. Paul Garnett / Dan Craigen / John Gourlay / William Wilson / Jeanette Wing / Bill Pase / Carl E. Landwehr / John McLean / Greg Johnson / Mike Gorlick / U. Ann Marmor-Squires / Donald I. Good / Susan L. Gerhart / Nancy Leveson / Deb Richardson / Larry Hatch / /
Position
leader / Formal Specifications Chair / /
ProgrammingLanguage
Ada / L / R / C / /
ProvinceOrState
Texas / /
PublishedMedium
SOFTWARE ENGINEERING NOTES / /
Technology
finite state machine / considerable testing technology / paging / operating system / /
ACM SIGSOFT SOFTWARE ENGINEERING NOTES vol 11 no 5 Oct 1988 Page 83 NRL Invitational Workshop Two Approaches