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
Universal Soldier: The Return
3.0
2K votes
Up for Love
3.0
827 votes
Office Space
3.7
3K votes
Swiped
2.3
687 votes
Doubt
3.6
2K votes
TRON: Legacy
3.2
8K votes
Enola Holmes 2
3.7
2K votes
Azur & Asmar: The Princes' Quest
3.9
617 votes
Yves Saint Laurent
3.3
868 votes
Transcendence
3.0
6K votes
Gia
3.5
725 votes
Who Am I
3.8
2K votes
The Zero Theorem
3.0
2K votes
His Secret Life
3.6
546 votes
Welcome to the Punch
2.9
642 votes
Goal!
3.4
2K votes
S1m0ne
3.0
892 votes
The Net
3.0
2K votes
Splice
3.0
3K votes
Hackers
3.2
2K votes
Sweet Home Alabama
3.2
2K votes
Jobs
3.0
3K votes
Hellraiser: Bloodline
2.6
514 votes
Antitrust
3.0
509 votes
Ace Ventura: Pet Detective
3.3
6K votes
Beverly Hills Cop: Axel F
3.4
2K votes
Speed 2: Cruise Control
2.3
2K votes
Oxygen
3.3
2K votes
Luck
3.9
2K votes
Steve Jobs
3.4
5K votes
Elemental
3.8
5K votes
Single White Female
3.1
588 votes
BPM (Beats per Minute)
3.9
2K votes
Cube 2: Hypercube
2.7
2K votes
Whiteout
2.8
744 votes
Skiptrace
2.9
675 votes
Tron
3.3
3K votes
The Girl in the Spider's Web
3.0
2K votes
Deep Blue Sea
3.0
3K votes
The Wandering Earth II
3.6
556 votes
Keanu
3.0
2K votes
Striking Distance
2.9
802 votes
Scooby-Doo 2: Monsters Unleashed
3.0
3K votes
Anon
3.0
2K votes
Crooked House
3.2
895 votes
R.I.P.D.
2.9
4K votes
15 Minutes
3.0
705 votes
Last Night in Soho
3.6
4K votes