|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
|
|
Results
Found 22 publication records. Showing 22 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King |
The Use of Model Transformation in the INESS Project.  |
FMCO  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jagun Kwon, Andy J. Wellings, Steve King |
Ravenscar-Java: a high-integrity profile for real-time Java. |
Concurrency - Practice and Experience |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Diyaa-Addein Atiya, Steve King, Jim Woodcock |
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Diyaa-Addein Atiya, Steve King |
Extending Ravenscar with CSP Channels. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Helen Treharne, Steve King, Martin C. Henson, Steve A. Schneider (eds.) |
ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings |
ZB |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jagun Kwon, Andy J. Wellings, Steve King |
Assessment of the Java programming language for use in high integrity systems. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Bert, Jonathan P. Bowen, Steve King, Marina A. Waldén (eds.) |
ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings |
ZB |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jagun Kwon, Andy J. Wellings, Steve King |
Predictable Memory Utilization in the Ravenscar-Java Profile. (PDF / PS) |
ISORC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Diyaa-Addein Atiya, Steve King, Jim Woodcock |
A Circus Semantics for Ravenscar Protected Objects. |
FME |
2003 |
DBLP DOI BibTeX RDF |
Ravenscar, Ada Protected Objects, Formal Semantics, Z, Circus |
| 1 | Michael Huber, Steve King |
Towards an Integrated Model Checker for Railway Signalling Data. |
FME |
2002 |
DBLP DOI BibTeX RDF |
Data verification, hidden formal methods, model checking |
| 1 | Jagun Kwon, Andy J. Wellings, Steve King |
Ravenscar-Java: a high integrity profile for real-time Java. |
Java Grande |
2002 |
DBLP DOI BibTeX RDF |
profile, real-time Java, high integrity systems |
| 1 | Darren Foulger, Steve King |
Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor |
Is Proof More Cost-Effective Than Testing? |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
specification proof, code proof, proof vs. testing, formal specification, Safety-critical software, industrial case study, SPARK |
| 1 | Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King (eds.) |
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 |
ZB |
2000 |
DBLP BibTeX RDF |
|
| 1 | Samuel H. Valentine, Ian Toyn, Susan Stepney, Steve King |
Type-Constrained Generics for Z. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Toyn, Samuel H. Valentine, Susan Stepney, Steve King |
Typechecking Z. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve King, Carroll Morgan |
An Iterator Construct for the Refinement Calculus. |
IWFM |
2000 |
DBLP BibTeX RDF |
|
| 1 | Steve King |
`The Standard Logic for Z': A Clarification. |
Formal Asp. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Specification languages, Specification logic |
| 1 | Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor |
The Value of Verification: Positive Experience of Industrial Proof. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve King, Carroll Morgan |
Exits in the Refinement Calculus. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Houston, Steve King |
CICS Project Report: Experiences and Results from the use of Z in IBM. |
VDM Europe |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve King |
Z and the Refinement Calculus. |
VDM Europe |
1990 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #22 of 22 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")