Sciweavers

1943 search results - page 72 / 389
» Software and higher education
Sort
View
CORR
2006
Springer
122views Education» more  CORR 2006»
13 years 7 months ago
Coupling Methodology within the Software Platform Alliances
: CEA, ANDRA and EDF are jointly developing the software platform ALLIANCES which aim is to produce a tool for the simulation of nuclear waste storage and disposal repository. This...
Philippe Montarnal, Alain Dimier, Estelle Deville,...
CSEE
2008
Springer
13 years 9 months ago
The Current State of Software Engineering Masters Degree Programs
A broad coalition of professionals from academia, industry, and government, under sponsorship of the US Department of Defense, is building a new model curriculum for a Masters Deg...
Arthur B. Pyster, Richard Turner, Devanandham Henr...
CORR
2008
Springer
155views Education» more  CORR 2008»
13 years 7 months ago
Software dependability modeling using an industry-standard architecture description language
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...
Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun, ...
CSSE
2008
IEEE
14 years 2 months ago
Model Curriculum Construction of Embedded System in Zhejiang University
Embedded systems have been used widely promoted by the advancement of semiconductor technology. This also makes embedded system education a challenge for the universities. The cur...
Tianzhou Chen, Qingsong Shi, Hu Wei, Jolly Wang, N...
CORR
2006
Springer
106views Education» more  CORR 2006»
13 years 7 months ago
Checkbochs: Use Hardware to Check Software
In this paper, we present a system called Checkbochs, a machine simulator that checks rules about its guest operating system and applications at the hardware level. The properties...
Sorav Bansal