Back to Results
First PageMeta Content
Computing / Gerard J. Holzmann / ACM Software System Award / SPIN model checker / ACM Portal / Peter J. Denning / Computer science / Association for Computing Machinery / Science


ACM: Software System Award Page 1 of 2 Software System Award CONTACT:
Add to Reading List

Document Date: 2008-06-30 15:34:26


Open Document

File Size: 31,85 KB

Share Result on Facebook

City

New York / /

Company

Bell Labs / Lucent Technologies / IBM / ACM / /

Country

Netherlands / /

Currency

USD / /

/

EntertainmentAwardEvent

Software System Award / /

Facility

Delft University of Technology / University of Toronto / /

IndustryTerm

software system / telephone switching systems / information technology field / information technology professionals / Internet protocol software / software quality / control software / computing industry’s leading Portal / software package / railway signaling systems / verification tool / /

Organization

Delft University of Technology / University of Toronto / Association for Computing Machinery / /

Person

John R. White / Gerard Holzmann / Patrick J. De Blasi / Virginia Gold / /

/

Position

author / director of research / executive director and CEO / Researcher / /

Technology

information technology / IP / /

URL

www.acm.org / http /

SocialTag