View Document Preview and Link Document Date: 2012-06-05 19:53:56 Open Document File Size: 174,01 KB Share Result on Facebook
Company MIT Press / Distributed Storage Systems / NTT Multimedia Communications Laboratories / BloomUnit / Microsoft / using BloomUnit / / Country United States / Canada / / Currency USD / / / Event FDA Phase / Company Expansion / / Facility building Distributed Storage Systems / / IndustryTerm software engineering / cart server / data-driven web applications / dataflow debugging tools / software module / m.server / Declarative networking / cart client protocol / lightweight tool / verification tools / e-commerce scenario / software operation / heavyweight coordination protocol / The software model checker / Software model checking / cart network protocol / considerable infrastructure / @server / / Organization MIT / UC Berkeley / Natural Science Foundation / Nuclear Regulatory Commission / Air Force office of Scientific Research / wrm / Natural Sciences and Engineering Research Council of Canada / / Person T. J. Ameloot / F. Neven / Joseph M. Hellerstein / J. Van den Bussche / Alvaro Andrew Hutchinson Neil Conway / William R. Marczak Joseph / / Position General / interpreter / model / programmer / / Product Bloom / distributed / / ProgrammingLanguage Scratch / Java / Haskell / Promela / Ruby / / Technology control network / Shopping cart network protocol / heavyweight coordination protocol / Abstract delivery protocol / DSL / FIFO delivery protocol / Java / Shopping cart client protocol / simulation / / URL http / SocialTag 
BloomUnit: Declarative Testing for Distributed Programs Peter Alvaro Andrew Hutchinson Neil Conway