Sciweavers

16725 search results - page 186 / 3345

» Engineering Software Correctness

96

CSEE
2001
Springer

95views Software Engineering» more CSEE 2001»

Systems Failures: An Approach to Building a Coping Strategy

15 years 7 months ago

Systems Failures: An Approach to Building a Coping Strategy

Download www.eis.mdx.ac.uk

John Donaldson, John Jenkins

claim paper

Read More »

137

EMSOFT
2001
Springer

121views Software Engineering» more EMSOFT 2001»

Directions in Functional Programming for Real(-Time) Applications

15 years 7 months ago

Directions in Functional Programming for Real(-Time) Applications

Download embedded.eecs.berkeley.edu

Walid Taha, Paul Hudak, Zhanyong Wan

claim paper

Read More »

105

EMSOFT
2001
Springer

139views Software Engineering» more EMSOFT 2001»

Embedded Systems and Real-Time Programming

15 years 7 months ago

Embedded Systems and Real-Time Programming

Download rtsys.informatik.uni-kiel.de

Niklaus Wirth

claim paper

Read More »

81

FASE
2001
Springer

85views Software Engineering» more FASE 2001»

Physical Programming: Beyond Mere Logic

15 years 7 months ago

Physical Programming: Beyond Mere Logic

Download www-emsoft02.imag.fr

Bran Selic

claim paper

Read More »

107

FOSSACS
2001
Springer

101views Software Engineering» more FOSSACS 2001»

Axioms for Recursion in Call-by-Value

15 years 7 months ago

Axioms for Recursion in Call-by-Value

Download www.kurims.kyoto-u.ac.jp

Masahito Hasegawa, Yoshihiko Kakutani

claim paper

Read More »

« Prev « First page 186 / 3345 Last » Next »