First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2006-10-31 23:44:40Open Document File Size: 8,12 MBShare Result on FacebookCityPortland / /CompanyIBM / NEC Laboratories / AT&T / /CountryUnited Kingdom / /FacilityUniversity of Virginia Mandana Vaziri / University of Newcastle / University of Nebraska John Fitzgerald / University of Southampton Matthew Dwyer / ACM Digital Library / University of Düsseldorf Ilya Shlyakhter / University of Bremen Michael Huth / Massachusetts Institute of Technology Foreword Alloy / University of York Shriram Krishnamurthi / University of Texas / University of Buenos Aires Martin Gogolla / University of California at Berkeley Kevin Sullivan / Massachusetts Institute of Technology Pamela Zave / /IndustryTermrequirements engineering tool / constraint solving technology / similar technologies / /OrganizationUniversity of Virginia / University of California / University of Texas at Austin / Brown University / University of York / University of York Shriram Krishnamurthi / Universidade Federal de Pernambuco / University of Nebraska / Massachusetts Institute of Technology / Imperial College / University of Southampton / University of Newcastle / /PersonTiago Massoni / Sanjai Narain / Michael Butler / Michael Lutz / Paulo Borba / Juan P. Galeotti / Alanna Zito / Sarfraz Khurshid / Pamela Zave / Laura Dillon / Fadi Zaraket / Charles Chen / Y. Alice Cheng / Alex Poylisher / Daniel Jackson Pamela / Darko Marinov / Dirk Beyer / Rohit Gheyi / Lotfi Hussami / Jim Woodcock / Juergen Dingel / Fernando Valles Barajas / Lam-Son Le / Michael Leuschel / Jeremy Jacob / Alain Wegmann / Paul Grisham / Greg Dennis / Mariano M. Moscato / Marcelo F. Frias / G. Lopez Pombo / Kurt Stirewalt / Marcelo Frias / Carlos G. Lopez / Rajesh Talpade / Scott Fleming / Daniel Jackson / Adnan Aziz / Beata Sarna-Starosta / Dewayne Perry / /PositionGeneral / Webmaster / /ProvinceOrStateTexas / California / Massachusetts / /Technologyconstraint solving technology / /URLhttp /SocialTag |