Back to Results
First PageMeta Content
Object-oriented programming / Software design patterns / LePUS3 / Specification language / Factory method pattern / Object-oriented design / Abstraction / Inheritance / Frame language / Software engineering / Computing / Computer programming


Document Date: 2011-05-25 14:41:06

Open Document

File Size: 1,86 MB

Share Result on Facebook

Company

John Wiley & Sons Inc. / /

Facility

University of Essex / /

IndustryTerm

appropriate tools / —software / software complexity / computing systems / computing / verification algorithm / /

Organization

University of Essex / /

Person

Robin Milner / Amnon H. Eden / /

ProgrammingLanguage

Ada / CLOS / Simula / C / Object Pascal / Java / C++ / Smalltalk / /

Technology

verification algorithm / design verification / object-oriented programming / java / pdf / /

URL

http /

SocialTag