Making Specifications Complete Through Models

13 years 6 months ago

Download se.inf.ethz.ch

Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a subset of the relevant properties. We present:

Bernd Schoeller, Tobias Widmer, Bertrand Meyer

Real-time Traffic

Complete Contracts | DAGSTUHL 2004 | DAGSTUHL 2007 | Mathematical Model Library | Precise Contracts |

claim paper

Related Content

» Making Designer Schemas with Colors

» WhiteBox Evaluation of Computer Vision Algorithms through Explicit DecisionMaking

» Interoperating grids through Delegated MatchMaking

» Making Simulation more Accessible in Manufacturing Systems through a four phase Approach

» Modular construction of finite and complete prefixes of Petri net unfoldings

» Building Models through Formal Specification

» Improving StateoftheArt OCR through HighPrecision DocumentSpecific Modeling

» An open electronic marketplace through agentbased workflows MOPPET

» Building Verifiable Sensing Applications Through Temporal Logic Specification

Post Info
More Details (n/a)

Added	30 Oct 2010
Updated	30 Oct 2010
Type	Conference
Year	2004
Where	DAGSTUHL
Authors	Bernd Schoeller, Tobias Widmer, Bertrand Meyer

Comments (0)

Sciweavers

Making Specifications Complete Through Models

Complete Contracts | DAGSTUHL 2004 | DAGSTUHL 2007 | Mathematical Model Library | Precise Contracts |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers