Flick Club LogoFlick Club Logo

Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request

Ben L. Di Vito

Verification Computer Programs Space Shuttles
The Mythical Man-Month
4.2 28 votes
Structure and Interpretation of Computer Programs (SICP)
4.4 21 votes
Coders at Work
4.0 18 votes
Masters of Doom
4.1 32 votes
Hackers
4.1 21 votes
JavaScript
4.1 30 votes
Hackers & painters
4.0 16 votes
The Cathedral and the Bazaar
4.3 16 votes
Code
4.3 21 votes
The Pragmatic Programmer
4.4 41 votes
In the Beginning...Was the Command Line
3.7 22 votes
Ark Angel
4.1 16 votes
The Reality Dysfunction
3.8 24 votes
Astrophysics for People in a Hurry
4.6 22 votes
Record of a Spaceborn Few
4.1 22 votes
Network Effect
4.3 50 votes
Chasm City
3.9 18 votes
Leviathan wakes
4.2 137 votes
Packing for Mars
4.1 18 votes
2010: odyssey two
3.7 35 votes
The Collapsing Empire (The Interdependency Book 1)
4.1 46 votes
Children of Dune
4.0 28 votes
Deadhouse gates
4.4 24 votes
The Stars, Like Dust
3.3 21 votes
We Are Legion
4.2 15 votes
Old Man’s War
4.2 98 votes
Revelation Space
3.6 42 votes
Glasshouse
3.9 22 votes
Pale Blue Dot
4.6 25 votes
Saturn's Children
3.6 16 votes
Thinking in systems
4.4 22 votes
Charlie and the Great Glass Elevator
3.4 46 votes
The C Programming Language
4.3 36 votes
The Long Way to a Small, Angry Planet
4.1 70 votes
Persepolis Rising (The Expanse Book 7)
4.3 41 votes
Fuzzy Nation
4.3 20 votes
The Soul of a New Machine
4.1 15 votes
The Android's Dream
4.0 21 votes
Caliban's war
4.3 98 votes
Armor
3.8 15 votes
The magic of thinking big
4.7 15 votes
Judas unchained
4.3 17 votes
Leviathan Falls
4.4 17 votes
Algorithms to Live By
4.0 37 votes
Ghost in the wires
4.1 17 votes
House of Suns
4.1 23 votes
The Forever War
4.1 84 votes
Ancillary Sword
4.0 49 votes