Back to Results
First PageMeta Content
Java Modeling Language / Java platform / ESC/Java / Vienna Development Method / Java / Class invariant / E / Computing / Software engineering / Computer programming


Advances in Programming Languages APL14: Practical tools for Java Correctness David Aspinall (slides originally by Ian Stark) School of Informatics The University of Edinburgh
Add to Reading List

Document Date: 2010-11-12 12:50:26

Open Document

File Size: 459,51 KB

Share Result on Facebook

City

Summary Model / /

Company

IntArray / /

Facility

Informatics The University of Edinburgh / /

IndustryTerm

Sample applications / computer software development / /

Organization

University of Edinburgh / /

Person

Ian Stark / David Aspinall / /

ProgrammingLanguage

Java / R / Object Constraint Language / /

Technology

Java / /

URL

http /

SocialTag