AC
2002
Springer
14 years 9 days ago
2002
Springer
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
AC
2002
Springer
14 years 9 days ago
2002
Springer
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...
AC
2002
Springer
14 years 9 days ago
2002
Springer
AC
2002
Springer
14 years 9 days ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
AC
2002
Springer
14 years 9 days ago
2002
Springer
AC
2002
Springer
14 years 9 days ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...