Sciweavers

2613 search results - page 5 / 523
» Proposal for Tools Supporting Component Based Programming
Sort
View
73
Voted
SIGSOFT
2005
ACM
15 years 10 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
SIGSOFT
1996
ACM
15 years 1 months ago
Tool Support for Planning the Restructuring of Data Abstractions in Large Systems
Abstractions in Large Systems William G. Griswold, Member, IEEE, Morison I. Chen, Robert W. Bowdidge, Jenny L. Cabaniss, Van B. Nguyen, and J. David Morgenthaler Restructuring soft...
William G. Griswold, Morison I. Chen, Robert W. Bo...
SAMOS
2005
Springer
15 years 3 months ago
Automatic ADL-Based Assembler Generation for ASIP Programming Support
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...
Leonardo Taglietti, José O. Carlomagno Filh...
EUROMICRO
2006
IEEE
15 years 3 months ago
A Method for Component-Based Software and System Development
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
Denis Hatebur, Maritta Heisel, Jeanine Souqui&egra...
92
Voted
APSEC
2005
IEEE
15 years 3 months ago
Tool Support for Invariant Based Programming
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
Ralph-Johan Back, Magnus Myreen