Sciweavers

2186 search results - page 152 / 438
» Developing Educational Software Components
Sort
View
140
Voted
SCS
2004
15 years 4 months ago
Contract-Based Justification for COTS Component within Safety Critical Applications
Commercial-Off-The-Shelf (COTS) software components are being used within complex safety-critical applications. However, to use them with confidence, it is necessary to ensure tha...
Fan Ye, Tim Kelly
120
Voted
TACAS
2010
Springer
160views Algorithms» more  TACAS 2010»
15 years 14 days ago
Efficient Detection of Errors in Java Components Using Random Environment and Restarts
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
Pavel Parizek, Tomás Kalibera
119
Voted
PVM
2005
Springer
15 years 8 months ago
Analysis of the Component Architecture Overhead in Open MPI
Abstract. Component architectures provide a useful framework for developing an extensible and maintainable code base upon which largescale software projects can be built. Component...
Brian Barrett, Jeffrey M. Squyres, Andrew Lumsdain...
CE
2007
111views more  CE 2007»
15 years 2 months ago
Developing strategic and reasoning abilities with computer games at primary school level
The paper reports a small-scale, long-term pilot project designed to foster strategic and reasoning abilities in young primary school pupils by engaging them in a number of comput...
Rosa Maria Bottino, Lucia Ferlino, Michela Ott, Ma...
111
Voted
HICSS
2003
IEEE
153views Biometrics» more  HICSS 2003»
15 years 8 months ago
Automatic Mediation between Incompatible Component Interaction Styles
Incompatibility of component interaction styles is identified as a major obstacle to interoperability when using off-the-shelf components or dealing with legacy software in compos...
Klaus-Peter Löhr