195 search results - page 1 / 39 » Modular design through component abstraction |
CASES
2004
ACM
13 years 10 months ago
2004
ACM
HASE
2002
IEEE
13 years 10 months ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
ROBIO
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract - Parallel robots provide high stiffness, accelerations and accuracy. They are relatively complex products that are specialized to a specific problem. Normally a new robot...
ATAL
2008
Springer
13 years 7 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...
ICSE
2003
IEEE-ACM
14 years 5 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...