TheScienceofComputingand theEngineeringofSoftware TonyHoare - PowerPoint PPT Presentation

The
Science
of
Computing
and the
Engineering
of
Software Tony
Hoare Qcon
Conference 11
March
2009 1

Science Engineering • pure
scientist engineering
scientist .......... scientific
engineer practicing
engineer 2

Science Engineering • long‐term • short‐term 3

Science Engineering • long‐term • short‐term • idealism • compromise 4

Science Engineering • long‐term • short‐term • idealism • compromise • certainty • risk
management 5

Science Engineering • long‐term • short‐term • idealism • compromise • certainty • risk
management • perfection • adequacy 6

Science Engineering • long‐term • short‐term • idealism • compromise • certainty • risk
management • perfection • adequacy • generality • specificity 7

Science Engineering • long‐term • short‐term • idealism • compromise • certainty • risk
management • perfection • adequacy • generality • specificity • separation • integration 8

Science Engineering • long‐term • short‐term • idealism • compromise • certainty • risk
management • perfection • adequacy • generality • specificity • separation • integration • unification • diversity 9

Science Engineering • long‐term • short‐term • idealism • compromise • certainty • risk
management • perfection • adequacy • generality • specificity • separation • integration • unification • diversity • originality • best
practice 10

Science Engineering • long‐term • short‐term • idealism • compromise • certainty • risk
management • perfection • adequacy • generality • specificity • separation • integration • unification • diversity • originality • best
practice • formality • intuition 11

Science Engineering • long‐term • short‐term • idealism • compromise • certainty • risk • perfection • adequacy • generality • specificity • separation • amalgamation • unification • diversity • originality • best
practice • formality • intuition • correctness • dependability 12

The
Science
of
Computing 13

The
Science
of
Computing 14

The
Science
of
Computing 15

The
Science
of
Computing 16

The
Science
of
Computing 17

Science
delivers
results • as
a
software
engineering
toolset covering
all
phases
of
software
development – specification,

design,
coding,
testing, modification,
evolution,
... integrating
the
services
of – 
program
analysers,
type
checkers,
theorem provers,
code
generators,
test
case
generators,
... 18

Domain
Models • describe
the
real
world – ...
things,
people,
requirements,
constraints • in
natural
language, • with
diagrams,
pictures,
examples, • and
mathematical
or
logical
formulae – where
appropriate. • Compare
scientific
ontology,
knowledge
based systems,
common
sense
reasoning
(Cyc)
... 19

Specification
and
design
patterns • Cover
a
range
of
alternative
designs – listing
the
necessary
decisions – and
the
criteria
for
taking
them • Well‐structured
for
generality/specificity • Supported
by
tools – Development
environments,
animators,
analysers and
code
generators.... 20

Technology
transfer Science
of
correctness 


Design
automation Program
analysis 






Engineering
of
dependability 21

One
day
... • Software
will
be
the
most
reliable
component of
every
product
which
contains
it. • Software
engineering
will
be
the
most dependable
of
all
engineering
professions. • Because
of
the
successful
interplay
of research – 
into
the
science
of
programming – and
the
engineering
of
software 22