Steve King
Steve King
york.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Ravenscar‐Java: A high‐integrity profile for real‐time Java
J Kwon, A Wellings, S King
Concurrency and Computation: Practice and Experience 17 (5‐6), 681-713, 2005
1542005
Is proof more cost-effective than testing?
S King, J Hammond, R Chapman, A Pryor
IEEE Transactions on software Engineering 26 (8), 675-686, 2000
139*2000
CICS project report experiences and results from the use of Z in IBM
I Houston, S King
International Symposium of VDM Europe, 588-596, 1991
1271991
Z and the refinement calculus
S King
International Symposium of VDM Europe, 164-188, 1990
1131990
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings
D Bert, JP Bowen, MC Henson, K Robinson
Springer, 2003
55*2003
Z, Grammar and Concrete and Abstract Syntaxes
S King, IH Sørensen, J Woodcock
Oxford University. Computing Laboratory. Programming Research Group, 1988
371988
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29-September 2, 2000 Proceedings
JP Bowen, S Dunne, A Galloway, S King
Springer, 2003
322003
Assessment of the Java programming language for use in high integrity systems
J Kwon, A Wellings, S King
Acm sigplan notices 38 (4), 34-46, 2003
322003
The value of verification: Positive experience of industrial proof
S King, J Hammond, R Chapman, A Pryor
International Symposium on Formal Methods, 1527-1545, 1999
271999
Exits in the refinement calculus
S King, C Morgan
Formal aspects of computing 7 (1), 54-76, 1995
271995
ZB 2005: Formal Specification and Development in Z and B
H Treharne, S King, MC Henson, SA Schneider
4th international conference of B and Z users, Guildford, UK, 2005
212005
Towards an integrated model checker for railway signalling data
M Huber, S King
International Symposium of Formal Methods Europe, 204-223, 2002
212002
A formal architecture for the 3APL agent programming language
M d’Inverno, K Hindriks, M Luck
International Conference of B and Z Users, 168-187, 2000
212000
From specification, through design to code: a case study in refinement, formal methods
S King
Theory and practice, 103-137, 1989
161989
The CICS application programming interface: Program control
S King
IBM Hursley Park Technical Report TR12 302, 1990
111990
Type-constrained generics for Z
SH Valentine, I Toyn, S Stepney, S King
International Conference of B and Z Users, 250-263, 2000
92000
Mathematics for specification and design: The problem with lifts
JCP Woodcock, S King, IH Sorensen
Fourth International Workshop on Software Specification and Design, 265-268, 1987
81987
Predictable memory utilization in the Ravenscar-Java profile
J Kwon, A Wellings, S King
Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2003
72003
Using the spark toolset for showing the absence of run-time errors in safety-critical software
D Foulger, S King
International Conference on Reliable Software Technologies, 229-240, 2001
72001
Specification and design of a library system
S King, IH Sørensen
McDermid [284], 1989
71989
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20