Sciweavers

235 search results - page 31 / 47
» A Comprehensive Interface Definition Framework for Software ...
Sort
View
DLS
2009
196views Languages» more  DLS 2009»
14 years 10 months ago
Contracts for first-class modules
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
T. Stephen Strickland, Matthias Felleisen
102
Voted
COMCOM
2006
96views more  COMCOM 2006»
15 years 15 days ago
Design and implementation of a dynamic protocol framework
-- Future distributed applications are expected to be deployed in an environment that is more dynamic and heterogeneous than ever before. The environment features are difficult to ...
Liming An, Hung Keng Pung, Lifeng Zhou
94
Voted
ICSE
2007
IEEE-ACM
16 years 16 days ago
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset
Many architecture description languages (ADLs) have been proposed to model, analyze, configure, and deploy complex software systems. To face this diversity, extensible ADLs (or AD...
Ali Erdem Özcan, Jean-Bernard Stefani, Matthi...
106
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
System Safety Requirements as Control Structures
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
Zhe Chen, Gilles Motet
AVI
2008
15 years 2 months ago
A mixed-fidelity prototyping tool for mobile devices
In this paper we present a software framework which supports the construction of mixed-fidelity (from sketch-based to software) prototypes for mobile devices. The framework is ava...
Marco de Sá, Luís Carriço, Lu...