|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 131 occurrences of 76 keywords
|
|
|
|
|
Results
Found 118 publication records. Showing 118 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | R. D. Arthan |
Analysis of Compiled Code: A Prototype Formal Model.  |
ZB  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith |
Recursive Schema Definitions in Object-Z. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Henson, Steve Reeves |
Program Development and Specification Refinement in the Schema Calculus. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Helen Treharne, Steve A. Schneider |
How to Drive a B Machine. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
Programming Calculi, Embedded Systems, CSP, B-Method, Combining Formalisms |
| 1 | Ian Toyn, Samuel H. Valentine, David A. Duffy |
On Mutually Recursive Free Types in Z. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Stepney, David Cooper |
Formal Methods for Industrial Products. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko |
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
B Refinement Design, Verification, Specification, Dynamic properties, Event Systems |
| 1 | Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King 0001 (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 DOI BibTeX RDF |
|
| 1 | David A. Duffy, Jürgen Giesl |
Closure Induction in a Z-Like Language. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cooper, Susan Stepney |
Segregation with Communication. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark d'Inverno, Koen V. Hindriks, Michael Luck |
A Formal Architecture for the 3APL Agent Programming Language. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Butler, Mairead Meagher |
Performing Algorithmic Refinement before Data Refinement in B. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach, Michael Poppleton |
Retrenchment, Refinement, and Simulation. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
Simulation, Refinement, B-Method, Retrenchment |
| 1 | Ken Robinson |
Reconciling Axiomatic and Model-Based Specifications Using the B Method. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
formal specification, refinement, B Method, axiomatic, model-based |
| 1 | Pierre Bontron, Marie-Laure Potet |
Automatic Construction of Validated B Components from Structured Developments. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Matthews, Paul A. Swatman |
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
requirements determination, formal specification, Z, fuzzy set theory |
| 1 | Ralph Miarka, Eerke A. Boiten, John Derrick |
Guards, Preconditions, and Refinement in Z. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Stoddart |
An Execution Architecture for GSL. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
Animation, Virtual Machines, Reversible Computation, B |
Displaying result #101 - #118 of 118 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license