Sciweavers

932 search results - page 37 / 187
» Software Reliability Engineering: A Roadmap
Sort
View
SIGSOFT
2010
ACM
13 years 8 months ago
Separation of concerns for dependable software design
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
Daniel Jackson, Eunsuk Kang
ASWEC
2005
IEEE
14 years 4 months ago
Virtual Machines, Managed Code and Component Technology
machines have been used as an implementation mechanism for programming languages for more than thirty years. In their latest incarnation execution engines based on virtual machine...
John Gough
AC
2002
Springer
13 years 10 months ago
Software Fault Prevention by Language Choice: Why C is Not My Favorite Language
How much does the choice of a programming language influence the prevalence of bugs in the resulting code? It seems obvious that at the level at which individuals write new progra...
Richard J. Fateman
ISSRE
2005
IEEE
14 years 4 months ago
PORT: A Price-Oriented Reliable Transport Protocol for Wireless Sensor Networks
In wireless sensor networks, to obtain reliability and minimize energy consumption, a dynamic rate-control and congestion-avoidance transport scheme is very important. We notice t...
Yangfan Zhou, Michael R. Lyu
FM
2009
Springer
171views Formal Methods» more  FM 2009»
14 years 5 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...