Sign In
Sign Up
Experiences using lightweight formal methods for requirements modeling
S. M. Easterbrook
-
/
5
0 votes
Fault Detection
Computer Aided Design
Software Engineering
Design Patterns
3.9
30 votes
Clean Code
4.4
35 votes
Masters of Doom
4.1
32 votes
The Cathedral and the Bazaar
4.3
16 votes
Don't Make Me Think
4.1
15 votes
Code Complete
4.2
22 votes
The Mythical Man-Month
4.2
28 votes
Microserfs
4.0
18 votes
Hackers
4.1
21 votes
Structure and Interpretation of Computer Programs (SICP)
4.4
21 votes
The Soul of a New Machine
4.1
15 votes
The Difference Engine
3.3
22 votes
Coders at Work
4.0
18 votes
Code
4.3
21 votes
The Psychology of Everyday Things
4.1
52 votes
Halting State
3.5
18 votes
Thea Stilton Mouseford Academy The Mysterious Love Letter
4.4
21 votes
Algorithms to Live By
4.0
37 votes
The Technique of the Mystery Story
3.1
16 votes
The Pragmatic Programmer
4.4
41 votes
In the Beginning...Was the Command Line
3.7
22 votes
Ghost in the wires
4.1
17 votes
Player Piano
3.8
27 votes
"A" is for Alibi
3.7
15 votes
One Of Us Is Lying
4.2
27 votes
The house of the four winds
3.7
27 votes
A Murder Is Announced
4.3
16 votes
The Innovators
3.9
18 votes
Nate The Great (Nate The Great)
4.6
16 votes
The Body In The Library
3.8
17 votes
JavaScript
4.1
30 votes
One for the Money
4.0
22 votes
Hackers & painters
4.0
16 votes
1st to Die (Women's Murder Club)
4.5
22 votes
Blood Rites
4.1
38 votes
Steve Jobs
4.1
141 votes
The Big Sleep
4.2
15 votes
Mercury and me
4.0
20 votes
The Manager's Path
4.3
15 votes
The Murder of Roger Ackroyd
4.1
51 votes
A Study in Scarlet
3.9
82 votes
The Maltese Falcon
3.5
30 votes
The Boxcar Children
4.2
33 votes
Dirk Gently's Holistic Detective Agency
4.0
30 votes
Farewell, My Lovely
3.7
17 votes
Foxglove Summer (Rivers of London 5)
4.4
19 votes
Fear Street - Lights Out
4.0
15 votes
City of stairs
4.2
17 votes