Sciweavers

1943 search results - page 195 / 389
» Software and higher education
Sort
View
ERCIM
2008
78views more  ERCIM 2008»
15 years 6 months ago
Test Coverage Analysis and Preservation for Requirements-Based Testing
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
Raimund Kirner, Susanne Kandl
ECEASST
2010
15 years 4 months ago
Testing as a Certification Approach
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...
Alberto Simões, Nuno Carvalho, José ...
VLSI
2012
Springer
14 years 2 months ago
A Signature-Based Power Model for MPSoC on FPGA
e technique is based on abstract execution profiles, called event signatures, and it operates at a higher level of abstraction than, for example, commonly used instruction-set sim...
Roberta Piscitelli, Andy D. Pimentel
ICALT
2003
IEEE
15 years 12 months ago
Gaining Computational Literacy by Creating Hybrid Aesthetic Learning Spaces
Although the technical skills of pupils are quite high, the current approach to gain media literacy still focusses on updating software applying skills, rather than exploring the ...
Daniela Reimann, Michael Herczeg, Thomas Winkler, ...
AVI
2008
15 years 7 months ago
Visualizing program similarity in the Ac plagiarism detection system
Programming assignments are easy to plagiarize in such a way as to foil casual reading by graders. Graders can resort to automatic plagiarism detection systems, which can generate...
Manuel Freire