19 relations: ACM Software System Award, Communication protocol, Digital darkroom, Holzmann, List of computer scientists, List of Fellows of the Association for Computing Machinery, List of members of the National Academy of Engineering (Computer science), List of the Delft University of Technology Alumni, Model checking, NASA Exceptional Engineering Achievement Medal, Paris Kanellakis, Paris Kanellakis Award, Promela, Rendezvous (Plan 9), SPIN model checker, The Power of 10: Rules for Developing Safety-Critical Code, Vismon, Willem van der Poel, Zunk.
The ACM Software System Award is an annual award that honors people or an organization "for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both".
In telecommunication, a communication protocol is a system of rules that allow two or more entities of a communications system to transmit information via any kind of variation of a physical quantity.
Digital "darkroom" is the hardware, software and techniques used in digital photography that replace the darkroom equivalents, such as enlarging, cropping, dodging and burning, as well as processes that don't have a film equivalent.
Holzmann is a surname.
This is a list of computer scientists, people who do work in computer science, in particular researchers and authors.
This article lists ACM Fellows, an award and fellowship granted by the Association for Computing Machinery (ACM) as its highest honorary grade of membership, reserved for ACM members who have exhibited "professional excellence" in their "technical, professional and leadership contributions" Since 1993, the people that have been elected as Fellows are listed below.
This list is a subsection of the List of members of the National Academy of Engineering, which includes over 2,000 current members of the United States National Academy of Engineering, each of whom is affiliated with one of 12 disciplinary sections.
This is an incomplete list of TU Delft graduates.
In computer science, model checking or property checking refers to the following problem: Given a model of a system, exhaustively and automatically check whether this model meets a given specification.
The NASA Exceptional Engineering Achievement Medal (abbreviated EEAM) was established by NASA in 1981 to recognize unusually significant engineering contributions towards achievement of aeronautical or space exploration goals.
Paris Christos Kanellakis (Πάρις Χρήστος Κανελλάκης; December 3, 1953 – December 20, 1995) was a Greek American computer scientist.
The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments that have had a significant and demonstrable effect on the practice of computing".
PROMELA (Process or Protocol Meta Language) is a verification modeling language introduced by Gerard J. Holzmann.
Rendezvous is a data synchronization mechanism in Plan 9 from Bell Labs.
SPIN is a general tool for verifying the correctness of concurrent software models in a rigorous and mostly automated fashion.
The Power of 10 Rules were created in 2006 by Gerard J. Holzmann of the NASA/JPL Laboratory for Reliable Software.
Vismon was the Bell Labs system which displayed authors' faces on one of their internal e-mail systems.
Willem Louis van der Poel (2 December 1926, The Hague) is a pioneering Dutch computer scientist, who is known for designing the ZEBRA computer.
Zunk was an early version of a digital image editor.