| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kevin Lano, Kelly Androutsopoulos, David Clark 0001 |
Refinement Patterns for UML.  |
REFINE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Colvin, Simon Doherty, Lindsay Groves |
Verifying Concurrent Data Structures by Simulation. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001, Jim Woodcock 0001 |
Angelic Nondeterminism and Unifying Theories of Programming. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Graeme Smith 0001, John Derrick |
Model Checking Downward Simulations. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Diyaa-Addein Atiya, Steve King 0001, Jim Woodcock 0001 |
Simpler Reasoning About System Properties: a Proof-by-Refinement Technique. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Henson, Besnik Kajtazi |
The Specification Logic vZ. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Deutsch, Martin C. Henson |
An Analysis of Operation-Refinement in an Abortive Paradigm. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fiona Polack, Susan Stepney |
Emergent Properties Do Not Refine. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack |
Refinement via Consistency Checking in MDA. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve A. Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne |
Tank Monitoring: A pAMN Case Study. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Preface. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christie Bolton |
Using the Alloy Analyzer to Verify Data Refinement in Z. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Susan Stepney, Howard Chivers |
Breaking the Model: Finalisation and a Taxonomy of Security Attacks. |
REFINE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten (eds.) |
Proceedings of the REFINE 2005 Workshop, REFINE 2005, Guildford, UK, April 2005 |
REFINE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Kai Engelhardt |
Towards a refinement theory that supports reasoning about knowledge and time for multiple agents. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Wildman, Colin J. Fidge |
The variety of variables in computer-aided real-time programming. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Anlauff, Asuman Sünbül |
Towards component based systems: refining connectors. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Davies, Charles Crichton |
Concurrency and refinement in the UML. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu |
Refinement of actions in a real-time process algebra with a true concurrency model. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Antónia Lopes, José Luiz Fiadeiro |
Superposition: Composition vs refinement of non-deterministic action-based systems. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Susan Stepney, Fiona Polack, Ian Toyn |
Refactoring in maintenance and development of Z specifications. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Yngve Lamo, Michal Walicki |
Composition and refinement of specifications and parameterised data types. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralph-Johan Back, Joakim von Wright |
Compositional Action System Refinement. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Dunne |
Junctive Compositions of specifications in total, general correctness. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Márcio Cornélio, Ana Cavalcanti 0001, Augusto Sampaio |
Refactoring by Transformation. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eerke A. Boiten, John Derrick |
Unifying concurrent and relational refinement. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Groves |
Refinement and the Z schema calculus. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian J. Hilton, Jon G. Hall |
Refining specifications to programmable logic. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig |
Contract-based mutation testing in the refinement calculus. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Harald Fecher, Mila E. Majster-Cederbaum |
Taking decisions late: end-based choice combined with action refinement. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christie Bolton, Jim Davies |
A comparison of refinement orderings and their associated simulation rules. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten, Jim Woodcock 0001, Joakim von Wright |
Preface. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Sekerinski |
Tabular verification and refinement. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
Refinement of actions in Circus. |
Refine |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten, Jim Woodcock 0001, Joakim von Wright (eds.) |
BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002 |
Refine |
2002 |
DBLP BibTeX RDF |
|
| 1 | Lindsay Groves |
Deriving language recognition algorithms: A case study in combining program specialisation and data refinement. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joakim von Wright |
Program Refinement by Theorem Prover. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin J. Fidge |
Proof Obligations for Real-Time Refinement. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Ainsworth, Peter J. L. Wallis |
Co-Refinement. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard P. Haughton, Kevin Lano |
Testing and Safety Analysis of AM (Abstract Machine) Specifications. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano, Howard P. Haughton |
Improving the Process of System Specification and Refinement in B. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska 0001 |
Formal Semantics for Ward & Mellor's Transformation Schemas. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan |
Using Refinement to Understand Architectural Connection. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Lano |
Refinement in Object-Oriented Specification Languages. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodore S. Norvell |
Machine Code Programs are Predicates Too. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Ledru, Pierre Collette |
Environment-based Development of Reactive Systems. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David Till (eds.) |
6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994 |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui |
Operation Semantics with Read and Write Frames. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiwen Xu, Jifeng He 0001 |
Laws of Parallel Programming with Shared Variables. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Bieber, Nora Boulahia-Cuppens |
Formal Development of Authentication Protocols. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond G. Nickson, Lindsay J. Groves |
Metavariables and Conditional Refinements in the Refinement Calculus. |
Refine |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | J. C. P. Woodcock |
Implementing Promoted Operations in Z. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Lindsay Groves, Raymond G. Nickson, Mark Utting |
A Tactic Driven Refinement Tool. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ketil Stølen |
Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiwen Xu, Jifeng He 0001 |
A case study in formally developing state-based parallel programs - the Dutch National Torus. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones, Roger C. Shaw, B. Tim Denvir (eds.) |
5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Clement |
Using Metavariables in Natural Deduction Proofs. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger Bishop Jones |
Methods and Tools for the Verification of Critical Properties. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick O'Ferrall |
Opening Address. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Job Zwiers, J. Coenen, Willem P. de Roever |
A Note on Compositional Refinement. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Naftalin |
A Model of the Refinement Process. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing |
Revisiting Abstraction Functions For Reasoning About Concurrency. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Cau, Ruurd Kuiper 0001, Willem-Paul de Roever |
Formalising Dijkstra's Development Strategy within Stark's Formalism. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin P. Ward |
A Recursion Removal Theorem. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Grundy |
A Window Inference Tool for Refinement. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Milner |
Concurrent Processes as Objects. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Morten Elvang-Gøransson |
Classification of Refinements in VDM. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | José N. Oliveira |
Software Reification using the SETS Calculus. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew M. Gravell |
Constructive Refinement of First Order Specifications. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | C. T. Sennett |
Demonstrating the Compliance of Ada Programs with Z Specifications. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin O'Halloran |
Refinement and Confidentiality. |
Refine |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license