DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Design by contract
Design by contract
Contracts for System Design
Cyber-Physical System Design Contracts
Design by Contract: the Lessons of Ariane
City Council Agenda Page 1
Combining Design by Contract and Inference Rules of Programming Logic Towards Software Reliability
3. Design by Contract
2011-2012 Tijs Van Der Storm (
[email protected]
)
Formal Development of Control Software in the Medical Systems Domain
Φυexemplary Development & Validation of a Practical Specification Language for Semantic Interfaces of Automotive Software
Design by Contract: an Overview CSCI 5828
Federal University of Campina Grande Electrical Engineering and Informatics Center Fostering Design by Contract by Exploiting Th
Breaking Down Silos with Contract Based
Practical Framework for Contract-Based Concurrent Object-Oriented Programming
Document Downloaded From: This Paper Must Be Cited As: the Final Publication Is Available at Copyright Additional Information Ht
Software Component Specification Using Design by Contract
Design by Contract with JML
Formal Methods: Practice and Experience
Renegotiation Design by Contract
Top View
An Approach to Dependable Embedded Software Development State of the Art and Concept of Doctoral Thesis Marek Paˇska
Design by Contract Example Contract Issue
Arxiv:1808.07937V3 [Cs.PL] 5 Feb 2019
Applying 'Design by Contract'
A Bibliography of Books and Other Publications About the Ada Programming Language and Its History
Applying “Design by Contract”
Examples of Design by Contract in Java Using Contract, the Design by Contracttm Tool for Javatm
Design by Contract –
Towards a Generic Modeling Language for Contract-Based Design
Software Engineering Lecture 13: Design by Contract
Grant Agreement N° 215483 Title: Survey of Quality Related Aspects Relevant for Service-Based Applications Authors: Salima Benb
Dynamic Contract Layers
Design by Contract
A Development Environment for Medical Application Platform Apps
Master's Thesis
Contracts for System Design
Case Tools for Flexible Manufacturing Systems
Testing Software Based on Design by Contract
Design by Contract of Cyber-Physical Systems Driven by Simulation and Based on Properties Modeling
Design by Contract for Java - Revised Johannes Rieken April 24Th, 2007
Eiffel – Design by Contract
448 < 189 <= 1177, 1178 ?= 593 @ 327, 328, 882 – 189
Contracts for Systems Design: Theory
An Eiffel Tutorial
Automated Translation of Vdm-Sl to Jml-Annotated Java
A High Productivity Tool for Formally Verified Software Development
Incremental Contract-Based Verification of Software Updates For
Proposal to Add Design by Contract to C++ Contents
Foundations of Software Engineering Design by Contract
Translucid Contracts for Aspect-Oriented Interfaces
Multiple Viewpoint Contract-Based Specification and Design
Design by Contracts.Key
Design by Contract
Design by Contract Deontic Design Language for Component-Based Systems
Design by Contract with JML
Translucid Contracts: Expressive Specification and Modular Verification of Aspect Oriented Interfaces Mehdi Bagherzadeh Iowa State University
Design by Contract for Web Services: Architecture, Guidelines, and Mappings
Design by Contract