The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "REFINE"( http://dblp.L3S.de/Venues/REFINE )

URL (DBLP): http://dblp.uni-trier.de/db/conf/refine

Publication years (Num. hits)
1992 (20) 1994 (16) 2002 (21) 2005 (14)
Publication types (Num. hits)
inproceedings(67) proceedings(4)
Venues (Conferences, Journals, ...)
REFINE(71)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

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