MIT Press / IEEE Software / National Academies Press / PrenticeHall Inc. / IEEE Computer / Industrial Critical Systems / ACM Press / Google / Prentice-Hall Inc. / Praxis High Integrity Systems / /
Country
Canada / Germany / Italy / United States / /
Currency
USD / / /
Facility
Iowa State University / Anthony Hall / University of Helsinki / /
IndustryTerm
software engineering / recent tools / order processing system / software engineering activities / task-specific tools / surrounding infrastructure / computing / problem domain solution / stock hardware / binary search trees / important tool / binary search algorithm / software development methodology / early search / software development methodology literature / /
Organization
Iowa State University / US Federal Reserve / University of Helsinki / National Science Foundation / MIT / Committee on Certifiably Dependable Software Systems / /
Person
Joseph P. Near / Derek Rayside / Paola Inverardi / Robert C. Martin / Sarfraz Khurshid / Kent Beck / Norbert E. Fuchs / Darko Marinov / Joshua Bloch / Gerard Meszaros / Mandana Vaziri / Julian Dolby / Bernd Fischer / Bill Venners / Ralph-Johan Back / Jon Bentley / Martin C. Rinard / Donald C. Gause / Chandrasekhar Boyapati / Aleksandar Milicevic / Marco Torchiano / Philip Craig / Rishabh Singh / Zev Benjamin / Robert A. Martin / Stephen Fink / Dorothy Graham / Rod Chapman / Jonathan Edwards / Jeanette Wing / Clifford B. Jones / Martin Fowler / Rick Mugridge / Proc / Martin Odersky / Greg Dennis / Ian Hayes / Lex Spoon / Donald E. Knuth / Clyde Ruby / Gerald M. Weinberg / John Guttag / Tim Mackinnon / Steve Freeman / Mariano Ceccato / Albert L. Baker / Formal Methods / Tim Wahls / Michael Jackson / Dijkstra / Peter Amey / Peter van Emde Boas / Chapman Figure / Filippo Ricca / Massimiliano Di Penta / Ben Krause / Steve Christey / Grigori Melnik / Brian Demsky / Carroll Morgan / Matthias Felleisen / Amey Figure / Robert Dewar / Jon Louis Bentley / Barbara Liskov / Roderick Chapman / Cliff B. Jones / Daniel Jackson / Ward Cunningham / Paolo Tonella / /
Agile Specifications Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {drayside, aleks, kuat, gdennis, dnj}@csail.mit.edu Ab