Back to Results
First PageMeta Content
Logic in computer science / Formal methods / Programming paradigms / Java Modeling Language / Java platform / Object-oriented programming / Postcondition / Class invariant / Design by contract / Software engineering / Computing / Theoretical computer science


Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 1 Concordia University, Montr´eal, Qu´ebec, Canada
Add to Reading List

Document Date: 2007-01-29 15:18:04

Open Document

File Size: 195,83 KB

Share Result on Facebook

City

Ames / Qu´ebec / /

Company

JMLDataGroup / /

Country

United States / Ireland / Canada / /

Currency

BRL / /

Facility

Iowa State University / Concordia University / University College Dublin / /

IndustryTerm

paint / Program verification tools / /

NaturalFeature

Krakatoa / /

Organization

Concordia University / Iowa State University / University College Dublin / /

Position

Private / /

ProgrammingLanguage

Java / /

ProvinceOrState

Iowa / /

Technology

virtual machine / Java / written using a Java-like syntax / /

SocialTag