Search Sciweavers | Sciweavers

430 search results - page 11 / 86

» Design by Contract for Python

146

Voted

UML
2004
Springer

131views Natural Language Processing» more UML 2004»

SoftContract: Model-Based Design of Error-Checking Code and Property Monitors

15 years 8 months ago

Download www.cadence.com

This paper discusses a model-based design ﬂow for requirements in distributed embedded software development. Such requirements are speciﬁed using a language similar to Linear T...

Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...

claim paper

Read More »

Voted

EDOC
2006
IEEE

99views Distributed And Parallel Com...» more EDOC 2006»

Policy Specification: Meeting Changing Requirements without Breaking the System Design Contract

15 years 8 months ago

Download wodpec2006.telin.nl

Peter F. Linington

claim paper

Read More »

122

Voted

METAINFORMATICS
2004
Springer

91views Information Technology» more METAINFORMATICS 2004»

Supporting Tools for Designing-By-Contract in Component-Based Applications

15 years 8 months ago

Download medeaserver.isa.cnr.it

This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...

Antonio Coronato, Antonio d'Acierno, Diego D'Ambro...

claim paper

Read More »

224

Voted

HICSS
2000
IEEE

308views Biometrics» more HICSS 2000»

Contract-Based Component System Design

15 years 7 months ago

Download www.hpi.uni-potsdam.de

Holger Giese

claim paper