John Derrick
John Derrick
Потвърден имейл адрес: sheffield.ac.uk
Заглавие
Позовавания
Позовавания
Година
Using formal specifications to support testing
RM Hierons, K Bogdanov, JP Bowen, R Cleaveland, J Derrick, J Dick, ...
ACM Computing Surveys (CSUR) 41 (2), 1-76, 2009
4092009
Refinement in Z and object-Z: foundations and advanced applications
J Derrick, EA Boiten
Springer Science & Business Media, 2013
3872013
What is ecosystem health and why should we worry about it
BD Haskell, BG Norton, R Costanza
Ecosystem health: New goals for environmental management, 3-19, 1992
369*1992
Stretching tacit knowledge beyond a local fix? Global spaces of learning in advertising professional service firms
JR Faulconbridge
Journal of Economic Geography 6 (4), 517-540, 2006
2982006
Inferring extended finite state machine models from software executions
N Walkinshaw, R Taylor, J Derrick
Empirical Software Engineering 21 (3), 811-853, 2016
1322016
Specification, refinement and verification of concurrent systems—an integration of Object-Z and CSP
G Smith, J Derrick
Formal Methods in System Design 18 (3), 249-284, 2001
1012001
A formal framework for viewpoint consistency
H Bowman, MWA Steen, EA Boiten, J Derrick
Formal Methods in System Design 21 (2), 111-166, 2002
742002
Mechanically verified proof obligations for linearizability
J Derrick, G Schellhorn, H Wehrheim
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (1), 1-43, 2011
732011
FDTs for ODP
H Bowman, J Derrick, PF Linington, M Steen
Computer Standards and Interfaces 17 (5-6), 457-479, 1995
711995
Refinement and verification of concurrent systems specified in Object-Z and CSP
G Smith, J Derrick
First IEEE international conference on Formal engineering methods, 293-302, 1997
681997
Viewpoint consistency in ODP
E Boiten, H Bowman, J Derrick, P Linington, M Steen
Computer Networks 34 (3), 503-537, 2000
672000
Author obliged to submit paper before 4 july: Policies in an enterprise specification
J Cole, J Derrick, Z Milosevic, K Raymond
International Workshop on Policies for Distributed Systems and Networks, 1-17, 2001
622001
Viewpoint consistency in ODP, a general interpretation
H Bowman, EA Boiten, J Derrick, MWA Steen
Formal methods for open object-based distributed systems, 189-204, 1997
611997
Verifying linearisability with potential linearisation points
J Derrick, G Schellhorn, H Wehrheim
International Symposium on Formal Methods, 323-337, 2011
572011
Relational concurrent refinement
J Derrick, E Boiten
Formal Aspects of Computing 15 (2-3), 182-214, 2003
552003
Formalising ODP enterprise policies
MWA Steen, J Derrick
Proceedings Third International Enterprise Distributed Object Computing …, 1999
551999
IO-refinement in Z
EA Boiten, J Derrick
Springer Verlag, 1998
541998
Analysis of a multimedia stream using stochastic process algebra
H Bowman, JW Bryans, J Derrick
The Computer Journal 44 (4), 230-245, 2001
532001
Constructive consistency checking for partial specification in Z
E Boiten, J Derrick, H Bowman, M Steen
Science of Computer Programming 35 (1), 29-75, 1999
531999
Increasing functional coverage by inductive testing: A case study
N Walkinshaw, K Bogdanov, J Derrick, J Paris
IFIP International Conference on Testing Software and Systems, 126-141, 2010
522010
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20