First Page | Meta Content | |
---|---|---|
Document Date: 2014-08-22 15:49:05Open Document File Size: 292,88 KBShare Result on FacebookCitySan Francisco / Eindhoven / software engineering / Portland / St. Charles / Toronto / Colorado Springs / Open Object / Oakland / Hamburg / Arlington / Rey / Boston / Palo Alto / Industry Track Leuven / Workshop / Berlin / Rome / Los Angeles / Copenhagen / Plasmolen / Albany / Egham / Montreal / Napa / Taipei / Paris / Tokyo / Washington / D.C. / Munich / Pittsburgh / Vancouver / Delft / New York City / Timisoara / Monterey / Franconia / Barcelona / Warwick / Redmond / New Orleans / Como / Cape Town / Alexandria / Miami / Nice / Toulouse / London / San Diego / Linkoping / /CompanyDistributed Systems / Cambridge University Press / Big Data Systems / IEEE Software / Distributed File Systems / Engineering Secure Software / IEEE Computer / Microsoft-Carnegie Mellon Center / Infinite State Systems / Reliable Distributed Systems / Program Verification Group / SAP Software Systems / Microsoft / Microsoft Research Corporate / Heterogeneous Machine Networks / D.T. Lee S.P. / MIT Press / Model Checking Software Systems / Morgan Kaufmann Publishers Inc. / Kindred / Elsevier Inc. / Microsoft Research International / Aquila / Archive Systems / Computer Science Laboratory / AT&T Bell Laboratories / Xerox / The Chicago Journal / /CountryNorway / United Kingdom / Denmark / Italy / Netherlands / South Africa / France / Japan / Canada / Germany / Romania / West Germany / Sweden / Belgium / Singapore / / /EventFDA Phase / /FacilityLibrary Problem / Marina del Rey / Massachusetts Institute of Technology Ph.D. / Massachusetts Institute of Technology Cambridge / Norwegian Institute of Technology / Massachusetts Institute of Technology S.M. / Carnegie Mellon University / University of Southern California / Massachusetts Institute of Technology S.B. / University of Toronto / /IndustryTermsoftware engineering / concurrent systems / e - commerce / software specification / computing / /OrganizationLaboratory for Computer Science / Massachusetts Institute of Technology / Iowa State University / Computer Science Department / School of Computer Science / American Society of Civil Engineers / Research Association / University of Southern California / Institute of Technology S.B. / National Science Foundation / vol. / British Computer Society / Springer-Verlag / IEEE Computer Society / University of Toronto / Cambridge University / Institute of Technology Cambridge / Interactive Computer Systems Research Department / Specification and Verification Center / Associate Department / Carnegie Mellon University Pittsburgh / Operator Service Department / Department of Electrical Engineering / Norwegian Institute of Technology / Trondheim / Carnegie Mellon / Institute of Technology S.M. / Congress / World Congress / Royal Society / /PersonJ.W. Baugh Jr. / M. Howard / C. Wang / Murray Hill / J.M. Wing / M. Vaziri / Miro Tools / M. Faehndrich / M.R. Barbacci / M.A. McQueen / P. Lee / J.V. Guttag / Yi Qian / J.G. Morrisett / S.M. Clamen / Oriented Approach / S. Seshia / Gary T. Leavens / R. Linger / H. Zhu / D. Tygar / Murali Sitaraman / M.W. Maimone / S. Guha / D. Berry / D.L. Detlefs / John W. Baugh Jr. / Plenum / Ina Jo / M. Vaziri-Farahani / S.M. Nettles / D. Garlan / E.R. Rollins / C. Bartzis / V. Gligor / C.B. Weinstock / B. Liskov / Howard Bowman / A. Heydon / J. Tsai / M.P. Herlihy / James Joshi / John Reiser / O. Sheyner / M.C. Tschantz / E.M. Clarke / T.M. Wong / N. Hopper / V. Mehta / G. Leavens / A. Ghosh / V / A.M. Zaremski / David Tipper / M. Nixon / John Derrick / J.D. Tygar / M.A. Flynn / R. Lippmann / Harpreet S. Chadha / Algorithm / J. Tomayko / K. Chang / N. Heintze / M. Satyanarayanan / J. Wing / D.C. Steere / A. Datta / L. Mummert / D.L. Doubleday / A. Sloot / Y. Karabulut / John Guttag / D. Jackson / Gary Leavens / C. Gong / Springer / T. Longstaff / S. Rajamani / J. Pincus / F. Arbab / P.K. Manadhata / J. Haines / B.H. Liskov / Morgan Kaufmann / H.S. Chadha / N. Lynch / S. Jha / M. Maimone / Prashant Krishnamurthy / Pierre Lescanne / G. Abowd / Miro Semantics / Ronald Rivest / J.J. Horning / L.D. Leibengood / / /PositionAdvisor / Vice President / Head / Associate Professor of Computer Science / Professor of Electrical / Head for the Ph.D. Program / Associate Dean for Doctoral Programs / Research Visiting Researcher / MA Research Assistant / Systematic Programming Development Group / Professor of Computer Science / Research Assistant / Programming Methodology Group / Teaching Assistant / editor / Assistant Professor / President / Summer Research Assistant / Vice President / Microsoft Research / co-operative student / Associate Dean for Academic Affairs / Visual Language Editor / Advisors / VA Assistant Director / Director / Assistant Director for the Computer and Information Science / Controller / /ProductAvalon / CS-00-107 / /ProgrammingLanguageCommon Lisp / Standard ML / ML / FL / C++ / /ProvinceOrStateBritish Columbia / Nova Scotia / California / Colorado / Illinois / Pennsylvania / Massachusetts / New Hampshire / Virginia / Southern California / Hawaii / New York / Washington / Maryland / Oregon / Florida / /PublishedMediumElsevier / The Chicago Journal / Formal Aspects of Computing / Aquila / IEEE Software / Communications of the ACM / Philosophical Transactions of the Royal Society / IEEE Transactions on Software Engineering / Theoretical Computer Science / Lecture Notes in Computer Science / /RegionSouthern California / /TechnologySecurity Protocols / RAID / 1992 Massachusetts Institute of Technology / Parallel Processing / 1983 Massachusetts Institute of Technology / CAD / IPv6 / 1979 Massachusetts Institute of Technology / /URLhttp /SocialTag |