Sciweavers

1943 search results - page 72 / 389
» Software and higher education
Sort
View
CORR
2006
Springer
122views Education» more  CORR 2006»
15 years 6 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
15 years 8 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»
15 years 5 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
16 years 24 days 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»
15 years 6 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