![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 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](https://www.pdfsearch.io/img/2e22d501b569b48ebecc615a8d1e48cd.jpg)
| Document Date: 2010-05-23 06:34:27 Open Document File Size: 164,91 KBShare 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 |