|
π
|
Internet of Things: realising the potential of a trusted smart world
37 auth.
Paul J. Taylor,
S. Allpress,
Madeline Carr,
Emil C. Lupu,
Norton Jb,
L. Smith,
J. Blackstock,
H. Boyes,
A. Hudson-Smith,
I. Brass,
Hassan Chizari,
R. Cooper,
P. Coulton,
Barnaby Craggs,
N. Davies,
...
D. D. Roure,
M. Elsden,
M. Huth,
Joseph Lindley,
C. Marple,
B. Mittelstadt,
R. Nicolescu,
Jason R. C. Nurse,
R. Proctor,
P. Radanliev,
A. Rashid,
D. Sgandurra,
A. Skatova,
M. Taddeo,
L. Tanczer,
R. Vieira-Steiner,
J. Watson,
Sandra Wachter,
S. Wakenshaw,
G. Carvalho,
Rj Thompson,
P. Westbury
|
4 |
2018 |
4
π
|
|
π
|
Flexible Formality Practical Experience with Agile Formal Methods
12 auth.
Philipp Kant,
K. Hammond,
Duncan Coutts,
James Chapman,
Nicholas Clarke,
Jared Corduan,
...
N. Davies,
Javier DΓaz,
Matthias GΓΌdemann,
W. Jeltsch,
Marcin Szamotulski,
P. Vinogradova
|
2 |
2020 |
2
π
|
|
π¬
|
Mind Your Outcomes: The ΞQSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study
S. H. Haeri,
P. Thompson,
N. Davies,
P. V. Roy,
K. Hammond,
James Chapman
|
2 |
2022 |
2
π¬
|
|
π¦
|
SEI-based Process Improvement Efforts at Digital
N. Davies,
Margaret M. Dumont
|
0 |
1993 |
0
π¦
|
|
π¬
|
Mind Your Outcomes: The βQ approach to Quality-Centric Systems Development and Its Application to a Blockchain Case-Study
S. H. Haeri,
P. Thompson,
N. Davies,
P. Van Roy,
K. Hammond,
James Chapman
|
0 |
2021 |
0
π¬
|
