Sciweavers

113 search results - page 6 / 23
» Interface contracts for TinyOS
Sort
View
IASTEDSEA
2004
13 years 9 months ago
Insecurity by contract
Design by Contract is a design methodology that promotes software reliability and reusability by requiring each component module to have a well-specified interface and leaves a mo...
Phillip L. Nico, Clark Savage Turner, Kimberly Kno...
ECBS
2002
IEEE
118views Hardware» more  ECBS 2002»
14 years 17 days ago
On the Relation between Design Contracts and Errors: A Software Development Strategy
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
Eivind J. Nordby, Martin Blom, Anna Brunstrom
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
14 years 25 days ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
ASWEC
2009
IEEE
14 years 22 days ago
A Multi Faceted Management Interface for Web Services
In open systems, independent services exist in administrative domains outside that of the consumers of those services. Current standards exist to create management interfaces to a...
Justin King, Alan W. Colman
EUROPAR
2006
Springer
13 years 11 months ago
Coupling Contracts for Deployment on Alien Grids
We propose coupling based on contracts as a mechanism to address the problem of exchanging information between parties that require information to work together. Specifically, we s...
Javier Bustos-Jiménez, Denis Caromel, Mario...