Back to Results
First PageMeta Content
Programming paradigms / Concurrent computing / Formal methods / Design by contract / Software design / Hoare logic / Liskov substitution principle / Communications protocol / Algorithm / Software engineering / Computing / Theoretical computer science


A Framework for the Semantics of Behavioral Contracts Ashley McNeile Metamaxim Ltd, 48 Brunswick Gardens, London W8 4AN, UK [removed]
Add to Reading List

Document Date: 2010-05-23 06:34:27


Open Document

File Size: 164,91 KB

Share Result on Facebook

City

Cambridge / New York / /

Company

Interactive Software / Protocol / Prentice-Hall International / Behavioral Contracts Ashley McNeile Metamaxim Ltd / Brunswick / /

Country

United States / United Kingdom / /

/

Facility

King’s College / Leiden University / /

IndustryTerm

software system / software engineering / software design / software implementation / bank / software environment / software contracts / bank lending example / computing / given computing resources / software contract / procedural algorithms / software component / well regarded software development approach / software development / software engineering process / collaborative computing environment / sort algorithm / /

Organization

Leiden University / Department of Computer Science / King’s College / /

Person

Alan Turing / Bertrand Meyer / /

Position

author / player / /

ProgrammingLanguage

Model-Driven Architecture / /

ProvinceOrState

New York / /

Technology

sort algorithm / /

URL

http /

SocialTag