Login / Signup
Formal specifications better than function points for code sizing.
Mark Staples
Rafal Kolanski
Gerwin Klein
Corey Lewis
June Andronick
Toby C. Murray
D. Ross Jeffery
Len Bass
Published in:
ICSE (2013)
Keyphrases
</>
formal specification
object oriented design
code generation
specification languages
point sets
model checking
source code
reverse engineering
critical points
formal methods
specification language
process algebra
integrity constraints
open source
design methodology
relational databases
multi agent
knowledge base