1908 search results - page 192 / 382 » How to teach software modeling |
139
click to vote
FSEN
2007
Springer
15 years 11 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
159
click to vote
SEKE
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we attempt to study and investigate ontology development and maintenance frameworks from a domain-centric point of view. By frameworks we mean the structures which ...
143
click to vote
IPPS
2006
IEEE
15 years 11 months ago
2006
IEEE
The growing reliance on services provided by software applications places a high premium on the reliable and efficient operation of these applications. A number of these applicat...
184
click to vote
TVLSI
2008
15 years 4 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
138
click to vote
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...