2493 search results - page 216 / 499 » Tool Support for Design by Contract |
188
click to vote
JSAC
2011
15 years 1 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
158
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Modeling object-oriented applications using collaborations and roles is now well accepted. Collaboration-based or role-based designs decompose an application into tasks performed ...
175
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
We describe the design of tangible interfaces to the KidPad collaborative drawing tool. Our aims are to support the reenactment of stories to audiences, and integration within rea...
157
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...
194
click to vote
EUROMICRO
2006
IEEE
16 years 19 days ago
2006
IEEE
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...