2118 search results - page 151 / 424 » Execution of A Requirement Model in Software Development |
138
Voted
LCPC
2001
Springer
15 years 9 months ago
2001
Springer
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...
121
Voted
APSEC
2001
IEEE
15 years 8 months ago
2001
IEEE
Computer software now controls critical systems worldwide. International standards require such programs to be produced from mathematically-precise specifications, but the techniq...
171
Voted
IEEEARES
2009
IEEE
15 years 2 months ago
2009
IEEE
Security is a crucial issue in many modern software systems and can lead to immense costs if required security goals are not fulfilled. Fewer techniques exist to address the syste...
135
click to vote
IPPS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper describes work in progress to develop a component-based software infrastructure, called Padico, for computational grids based on the CORBA Component Model from the OMG....
122
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...