Sciweavers

1724 search results - page 184 / 345
» Critical issues in interaction design
Sort
View
SNPD
2008
13 years 11 months ago
An Approach to Modeling Software Safety
: Software for safety-critical systems has to deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Software safety is a co...
M. Ben Swarup, P. Seetha Ramaiah
EMSOFT
2011
Springer
12 years 10 months ago
Software certification: coding, code, and coders
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
Klaus Havelund, Gerard J. Holzmann
CIKM
2008
Springer
14 years 11 days ago
Feasibility of a primarily digital research library
This position paper explores the issues related to the feasibility of having a primarily digital research library support the teaching and research needs of a university. The Asia...
Geneva L. Henry, Lisa M. Spiro
ICSE
2005
IEEE-ACM
14 years 10 months ago
Informatics: A Novel, Contextualized Approach to Software Engineering Education
Over the past decade, it has been established that a good education in software engineering requires a specialized program of study different from traditional computer science prog...
André van der Hoek, David G. Kay, Debra J. ...
AINA
2007
IEEE
14 years 4 months ago
Sim-PowerCMP: A Detailed Simulator for Energy Consumption Analysis in Future Embedded CMP Architectures
Continuous improvements in integration scale have made major microprocessor vendors to move to designs that integrate several processor cores on the same chip. Chip-multiprocessor...
Antonio Flores, Juan L. Aragón, Manuel E. A...