Sciweavers

29 search results - page 1 / 6
» Reuse Contracts as Component Interface Descriptions
Sort
View
ECOOPW
1997
Springer
13 years 9 months ago
Reuse Contracts as Component Interface Descriptions
Abstract. Current interface descriptions are poor in describing components, because they only provide an external view on a component and they do not lay down how components intera...
Koen De Hondt, Carine Lucas, Patrick Steyaert
CORR
2010
Springer
122views Education» more  CORR 2010»
13 years 4 months ago
Specifying Reusable Components
Reusable software components need well-defined interfaces, rigorously and completely documented features, and a design amenable both to reuse and to formal verification; all these...
Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
ICSM
2007
IEEE
13 years 11 months ago
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software
Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use...
Shan-Shan Hou, Lu Zhang, Tao Xie, Hong Mei, Jiasu ...
EMSOFT
2008
Springer
13 years 6 months ago
Interface theories with component reuse
Interface theories have been proposed to support incremental design and independent implementability. Incremental design means that the compatibility checking of interfaces can pr...
Laurent Doyen, Thomas A. Henzinger, Barbara Jobstm...
IPSN
2007
Springer
13 years 11 months ago
Interface contracts for TinyOS
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
Will Archer, Philip Levis, John Regehr