Search results for "h-refinement"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	Victor L. Winter, James M. Boyle	Proving refinement transformations for deriving high-assurance software.	HASE	1996	DBLP DOI BibTeX RDF	refinement transformation proving, high-assurance software engineering, refinement-based approach, TAMPR transformation system, automated refinement, semantic framework, automated reasoning system, software engineering, program transformations, program verification, stepwise refinement, high-level specification
79	Flávio Oquendo	pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	architecture refinement languages, formal development techniques, software architectures, stepwise refinement
69	Michael Parrish, Michael J. Borden, Matthew L. Staten, Steven E. Benzley	A Selective Approach to Conformal Refinement of Unstructured Hexahedral Finite Element Meshes.	IMR	2007	DBLP DOI BibTeX RDF
67	Moshe Deutsch, Martin C. Henson	An analysis of refinement in an abortive paradigm.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Operation-refinement, Specification language, Data-refinement, Specification logic
66	Ralph-Johan Back	Refinement Calculus, Part II: Parallel and Reactive Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
66	Yunfeng Wang, Bixin Li, Jun Pang 0001, Ming Zha, Guoliang Zheng	A Formal Software Development Approach Based on COOZ and Refinement Calculus.	TOOLS (31)	1999	DBLP DOI BibTeX RDF	formal development method, formal specification, object-oriented, refinement calculus
63	Brendan P. Mahony, Ian J. Hayes	A Case-Study in Timed Refinement: A Mine Pump.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness
63	Eerke A. Boiten, John Derrick, Gerhard Schellhorn	Relational concurrent refinement part II: Internal operations and outputs.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Process algebraic semantics, Failures-divergences refinement, Internal operations, Mechanisation, KIV, Simulations, Deadlock, Z, Data refinement, Outputs
62	John Derrick, Eerke A. Boiten	Relational Concurrent Refinement.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Failures-divergences, Finalisation, Simulation, Refinement, Process algebra, Z, Readiness
60	Michael J. Butler, Mairead Meagher	Performing Algorithmic Refinement before Data Refinement in B.	ZB	2000	DBLP DOI BibTeX RDF
59	Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock	09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems.	Refinement Based Methods for the Construction of Dependable Systems	2009	DBLP BibTeX RDF
58	Zizhen Wang, Hanpin Wang, Naijun Zhan	Refinement of models of software components.	SAC	2010	DBLP DOI BibTeX RDF	CB-MDD, rCOS, trace refinement, data refinement
58	Steve Reeves, David Streader	Comparison of Data and Process Refinement.	ICFEM	2003	DBLP DOI BibTeX RDF	process refinement, sub-typing, Z, labelled transition systems, data refinement
57	Junhua Ding, Lian Mo, Xudong He	An approach for specification construction using property-preserving refinement patterns.	SAC	2008	DBLP DOI BibTeX RDF	software architecture, refinement, property-preserving
57	Michael Leuschel, Michael J. Butler	Automatic Refinement Checking for B.	ICFEM	2005	DBLP DOI BibTeX RDF	Constraints.1, Model Checking, Animation, Logic Programming, Tool Support, B-Method, Refinement Checking
57	Richard Banach, Michael Poppleton	Retrenchment, Refinement, and Simulation.	ZB	2000	DBLP DOI BibTeX RDF	Simulation, Refinement, B-Method, Retrenchment
54	John Derrick, Heike Wehrheim	Using Coupled Simulations in Non-atomic Refinement.	ZB	2003	DBLP DOI BibTeX RDF	Non-atomic refinement, coupled simulations, Z, action refinement
53	Flávio Oquendo	Formally refining software architectures with pi-ARL: a case study.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	formal development techniques, software architectures, case study, stepwise refinement
53	Liang Zhao 0022, Xiaojian Liu, Zhiming Liu 0001, Zongyan Qiu	Graph transformations for object-oriented refinement.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Class graph, Structure refinement, Object-orientation, Graph transformation, Normal form, Object graph
52	Qingtang Jiang	Compactly Supported Orthogonal and Biorthogonal sqrt 5-Refinement Wavelets With 4-Fold Symmetry.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
52	Mark Denford, John Leaney, Tim O'Neill	Non-Functional Refinement of Computer Based Systems Architecture.	ECBS	2004	DBLP DOI BibTeX RDF
51	Anna Mikhajlova, Emil Sekerinski	Class Refinement and Interface Refinement in Object-Oriented Programs.	FME	1997	DBLP DOI BibTeX RDF
51	Jean-Raymond Abrial, Michael J. Butler, Rajev Joshi, Elena Troubitsyna, J. C. P. Woodcock (eds.)	Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009	Refinement Based Methods for the Construction of Dependable Systems	2009	DBLP BibTeX RDF
50	Bernhard K. Aichernig	The Commuting V-Diagram.	CSL	2003	DBLP DOI BibTeX RDF	formal methods, refinement, contracts, specification-based testing, refinement calculus
49	Marielle Doche, Andrew M. Gravell	Extraction of Abstraction Invariants for Data Refinement.	ZB	2002	DBLP DOI BibTeX RDF	failure refinement, distributed system, Formal specification, CSP, B, data refinement
49	Czeslaw Jeske, Richard Banach	Minimally and Maximally Abstract Retrenchments.	IFM	2002	DBLP DOI BibTeX RDF	Integration, Refinement, Retrenchment
48	Jiafeng Guo, Gu Xu, Hang Li 0001, Xueqi Cheng	A unified and discriminative model for query refinement.	SIGIR	2008	DBLP DOI BibTeX RDF	web search, conditional random fields, query refinement
48	Kaisa Sere, Marina Waldén	Data Refinement of Remote Procedures.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Remote procedures, Atomicity refinement, Action systems
48	Robert Darimont, Axel van Lamsweerde	Formal Refinement Patterns for Goal-Driven Requirements Elaboration.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	goal-drive requirements engineering, reuse of specifications and proof, formal methods, design patterns, refinement
48	Rob Gerth	Foundations of Compositional Program Refinement - Safety Properties.	REX Workshop	1989	DBLP DOI BibTeX RDF	algebraic process theory, assertional methods, (pre-)congruence, simulation, communication, concurrency, refinement, implementation, completeness, behavior, compositionality, transition system, full abstractness, shared variables
45	Panagiotis Manolios, Sudarshan K. Srinivasan	Automatic verification of safety and liveness for pipelined machines using WEB refinement.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	flushing, pipelined machines, verification, refinement, SAT, bisimulation, commitment, liveness, Refinement maps
45	François Duchaine, Henri Champliaud	Structured mesh generation by kriging with local refinement with a new elliptic scheme.	Eng. Comput.	2007	DBLP DOI BibTeX RDF	Quality mesh, Octree refinement scheme, Elliptic refinement scheme, Kriging, Quadrilateral meshes
45	Ron van der Meyden, Yoram Moses	On Refinement and Temporal Annotations.	FTRTFT	2000	DBLP DOI BibTeX RDF	temporal refinement calculi, temporal logic, Refinement calculus
45	Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider	Correct Architecture Refinement.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	refinement patterns, relative correctness, Software architecture, formal methods, composition, hierarchy, stepwise refinement
45	Neelam Soundarajan	Refining Interactions in a Distributed System.	FAABS	2000	DBLP DOI BibTeX RDF	Interaction refinement, Communication traces, Correctness criteria
44	Steve Reeves, David Streader	Data refinement and singleton failures refinement are not equivalent.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Singleton failures refinement, Data refinement
44	Ralph-Johan Back, Joakim von Wright	Refinement Calculus, Part I: Sequential Nondeterministic Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
44	Bernhard Beckert, Steffen Schlager	Software Verification with Integrated Data Type Refinement for Integer Arithmetic.	IFM	2004	DBLP DOI BibTeX RDF	UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic
44	Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko	Reformulation: A Way to Combine Dynamic Properties and B Refinement.	FME	2001	DBLP DOI BibTeX RDF	Verification of PLTL properties, Combination of proof and model-checking, Refinement development
44	Bengt Jonsson 0001, Amir Pnueli, Camilla Rump	Proving Refinement Using Transduction.	Distributed Comput.	1999	DBLP DOI BibTeX RDF	Delayed simulation, Verification, Specification, Temporal logic, Refinement, Sequential consistency, Transduction
44	Richard Banach, Michael Poppleton	Sharp Retrenchment, Modulated Refinement and Simulation.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Simulation, Refinement, B-Method, Retrenchment
43	Steve A. Schneider, Helen Treharne	Changing System Interfaces Consistently: A New Refinement Strategy for CSP\|\|B.	IFM	2009	DBLP DOI BibTeX RDF
43	Hui Song, Yanchun Sun, Li Zhou, Gang Huang 0001	Towards Instant Automatic Model Refinement Based on OCL.	APSEC	2007	DBLP DOI BibTeX RDF
43	Christie Bolton, Jim Davies	Refinement in Object-Z and CSP.	IFM	2002	DBLP DOI BibTeX RDF
42	Mun Choon Chan, Yow-Jian Lin, Xin Wang	A Scalable Monitoring Approach for Service Level Agreements Validation.	ICNP	2000	DBLP DOI BibTeX RDF	scalable monitoring, service level agreements validation, service provider network, QoS measurements, polling mechanisms, ill-behaved flows, aggregation and refinement based monitoring, dynamic QoS data aggregation/refinement, reasoning engine, quality of service, quality of service, Internet, histogram, inference mechanisms, simulation results, telecommunication traffic, computer network management, overhead, network nodes, traffic loads, computerised monitoring, Internet service provider, selective refinement, network management system
41	Eerke A. Boiten, John Derrick	Modelling Divergence in Relational Concurrent Refinement.	IFM	2009	DBLP DOI BibTeX RDF	internal operations, process algebraic refinement preorders, simulations, divergence, Data refinement
41	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Refinement preserving approximations for the design and verification of heterogeneous systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization
41	Pierre Alliez, Nathalie Laurent, Henri Sanson, Francis J. M. Schmitt	Efficient view-dependent refinement of 3D meshes using sqrt{3}-subdivision.	Vis. Comput.	2003	DBLP DOI BibTeX RDF	Device-driven refinement, Surface reconstruction, Subdivision surfaces, View-dependent refinement, Adaptive visualization
41	Jürgen Dingel	A Refinement Calculus for Shared-Variable Parallel and Distributed Programming.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Assumption-commitment reasoning, Formal program development, Parallel programming, Program transformation, Refinement, Refinement calculus, Trace semantics, Systematic programming
41	Luiz Velho 0001	Semi-Regular 4-8 Refinement and Box Spline Surfaces.	SIBGRAPI	2000	DBLP DOI BibTeX RDF	semi-regular 4-8 refinement, box spline surfaces, mesh refinement method, semiregular 3-direction hierarchical structure, control meshes, 2D manifolds, conforming variable-resolution mesh extraction, spatially varying adaptation functions, generalized four direction box spline surfaces, subdivision surfaces, splines (mathematics), smoothing method, arbitrary topology, subdivision scheme
40	Jianmin Jiang, Jinzhao Wu	The Preservation of Interleaving Equivalences.	ICECCS	2005	DBLP DOI BibTeX RDF	bundle action transitions, interleaving equivalences, action refinement, Event structures
40	Jamie Shield, Ian J. Hayes	Refining Object-Oriented Invariants and Dynamic Constraints.	APSEC	2002	DBLP DOI BibTeX RDF	history properties, Object-orientation, invariants, refinement calculus
40	Mar Yah Said, Michael J. Butler, Colin F. Snook	Language and Tool Support for Class and State Machine Refinement in UML-B.	FM	2009	DBLP DOI BibTeX RDF	UML, Formal specification, Refinement, Event-B, Visual modelling languages
40	Guido Boella, Souhila Kaci, Leendert W. N. van der Torre	Dynamics in argumentation with single extensions: attack refinement and the grounded extension.	AAMAS (2)	2009	DBLP BibTeX RDF	abstract argumentation, argumentation refinement, dynamics of argumentation, argumentation theory
40	Yan Chen 0001, Fei Xie, Jin Yang 0006	Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.	DAC	2008	DBLP DOI BibTeX RDF	automatic abstraction refinement, generalized symbolic trajectory evaluation, model checking
40	Torsten Adolph, Willi Schönauer	Parallelization of the Mesh Refinement Algorithm of the FDEM Program Package.	PARA	2006	DBLP DOI BibTeX RDF	Non-linear PDEs, Black-box solver, Parallelization, Error estimate, Unstructured grid, Finite difference method, Mesh refinement
40	José Nuno Oliveira, César Jesus Rodrigues	Pointfree Factorization of Operation Refinement.	FM	2006	DBLP DOI BibTeX RDF	reusable theories, refinement, Theoretical foundations, calculation
40	Tayfun Elmas, Serdar Tasiran, Shaz Qadeer	VYRD: verifYing concurrent programs by runtime refinement-violation detection.	PLDI	2005	DBLP DOI BibTeX RDF	refinement, runtime verification, concurrent data structures
40	John Derrick, Graeme Smith 0001	Structural Refinement of Systems Specified in Object-Z and CSP.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	ensp, Integrated formal methods, Refinement, CSP, Object-Z
40	Amel Mammar, Régine Laleau	Design of an Automatic Prover Dedicated to the Refinement of Database Applications.	FME	2003	DBLP DOI BibTeX RDF	Refinement process, Proof reuse, B method, Data-intensive applications
40	Samar Abdi, Dongwan Shin, Daniel Gajski	Automatic communication refinement for system level design.	DAC	2003	DBLP DOI BibTeX RDF	system bus, communication, system modeling, system level design, model refinement
40	Ana Cavalcanti 0001, David A. Naumann	Forward Simulation for Data Refinement of Classes.	FME	2002	DBLP DOI BibTeX RDF	soundness of simulation, program analysis and verification, object-orientation, data refinement
40	Willy Dörfler, Oleg Iliev, Dimitar Stoyanov, Daniela Vassileva	On a Multigrid Adaptive Refinement Solver for Saturated Non-Newtonian Flow in Porous Media.	Numerical Methods and Application	2002	DBLP DOI BibTeX RDF	nonlinear multigrid, non-Newtonian flow in porous media, adaptive refinement
40	Mila E. Majster-Cederbaum, Jinzhao Wu	Action Refinement for True Concurrent Real Time.	ICECCS	2001	DBLP DOI BibTeX RDF	timed event structure, timed process algebra, action refinement, true concurrency
40	Ralph-Johan Back, Joakim von Wright	Encoding, Decoding and Data Refinement.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Predicate transformer semantics, Abstraction, Galois connection, Data refinement
40	Susan Craw, Robin Boswell, Ray Rowe	Knowledge Refinement to Debug and Maintain a Tablet Formulation System.	ICTAI	1997	DBLP DOI BibTeX RDF	Design Knowledge Based Systems, Knowledge Acquisition, Knowledge Refinement
40	Rob Gerth, Ruurd Kuiper 0001, John Segers	Interface Refinement in Reactive Systems (Extended Abstract).	CONCUR	1992	DBLP DOI BibTeX RDF	interface change, leads to property, ?-automata, concurrency, temporal logic, refinement, transition systems
40	David R. Forsey, Richard H. Bartels	Hierarchical B-spline refinement.	SIGGRAPH	1988	DBLP DOI BibTeX RDF	free-form surface editing, refinement, subdivision, splines
39	Nina Amla, Kenneth L. McMillan	A Hybrid of Counterexample-Based and Proof-Based Abstraction.	FMCAD	2004	DBLP DOI BibTeX RDF
39	Brendan P. Mahony	The Least Conjunctive Refinement and Promotion in the Refinement Calculus.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Frame typing, Z, Refinement calculus, Promotion, Predicate transformers
39	Jason O. Hallstrom, Neelam Soundarajan	Reusing Patterns through Design Refinement.	ICSR	2009	DBLP DOI BibTeX RDF
39	Augusto Sampaio, Jim Woodcock 0001, Ana Cavalcanti 0001	Refinement in Circus.	FME	2002	DBLP DOI BibTeX RDF	unifying theories of programming, distribution, CSP, Z
39	Liviu Badea	A Refinement Operator for Theories.	ILP	2001	DBLP DOI BibTeX RDF
39	Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko	Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.	FASE	2000	DBLP DOI BibTeX RDF
38	Juha Plosila, Kaisa Sere	Action Systems in Pipelined Processor Design.	ASYNC	1997	DBLP DOI BibTeX RDF	pipelined processor design, asynchronous pipelined microprocessors, hazard situations, verifying refinement steps, circuit implementation, speed-independent techniques, refinement calculus, refinement calculus, action systems
37	Gruia-Catalin Roman, Rose F. Gamble, William E. Ball	Formal Derivation of Rule-Based Programs.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	efficient concurrent rule-based programs, initial rule-based program, program derivation strategy, UNITY programs, correct rule-based program, static knowledge base, formal specification, parallel programming, logic programming, knowledge based systems, computational model, Swarm, OPS5, specification refinement, correctness criteria, program refinement
36	Qingtang Jiang, S. L. Lee	Spectral properties of matrix continuous refinement operators.	Adv. Comput. Math.	1997	DBLP DOI BibTeX RDF	matrix continuous refinement operators, matrix continuous refinement equations, power iteration, spectrum
36	A. Udaya Shankar, Simon S. Lam	A Stepwise Refinement Heuristic for Protocol Construction.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	conditional refinement, cyclic sequence numbers, message lifetimes, interfaces, stepwise refinement, sliding window protocols, assertional reasoning
36	Pankaj Jalote	Functional Refinement and Nested Objects for Object-Oriented Design.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	nested objects, progressive object refinement, software engineering, Ada, Ada, object-oriented programming, object-oriented design, stepwise refinement, nesting
36	Jifeng He 0001	Various Simulations and Refinements.	REX Workshop	1989	DBLP DOI BibTeX RDF	Hiding Refinement, Simulation, Refinement, Labelled Transition System
36	Gogul Balakrishnan, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta	Refining the control structure of loops using static analysis.	EMSOFT	2009	DBLP DOI BibTeX RDF	loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
36	Rob T. Udink, Joost N. Kok	On the Relation Between Unity Properties and Sequences of States.	REX Workshop	1992	DBLP DOI BibTeX RDF	Semantic models - Unity, program refinement
35	Thomas Martin Deserno, Mark Oliver Güld, Bartosz Plodowski, Klaus Spitzer 0001, Berthold B. Wein, Henning Schubert, Hermann Ney, Thomas Seidl 0001	Extended Query Refinement for Medical Image Retrieval.	J. Digit. Imaging	2008	DBLP DOI BibTeX RDF	usability, Graphical user interface (GUI), relevance feedback, query refinement, web-based interface
35	Gavin Lowe	Specification of communicating processes: temporal logic versus refusals-based refinement.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Refinement testing, Specification, Temporal logic, CSP, Refusals
35	Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil	Test Purpose Concretization through Symbolic Action Refinement.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose
35	Carlos Gonzalía, Annabelle McIver	Automating Refinement Checking in Probabilistic System Design.	ICFEM	2007	DBLP DOI BibTeX RDF	algebraic rewriting system for probability, linear satisfiability, refinement, Probabilistic systems, probabilistic verification
35	Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue	Refinement of actions for real-time concurrent systems with causal ambiguity.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Causal ambiguity, Timed bundle event structure with causal ambiguity, Concurrency, Action refinement
35	Bing Li, Chao Wang 0001, Fabio Somenzi	Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Unsatisfiability proof, Bounded model checking, Satisfiability problem, Abstraction refinement
35	Michael Huth 0001	Refinement is complete for implementations.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Modal transition systems, Implementation relation, Model checking, Refinement
35	Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan	Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity.	ICFEM	2004	DBLP DOI BibTeX RDF	causal ambiguity, timed event structure with causal ambiguity, Concurrency, action refinement
35	Reiner Kraft 0001, Jason Y. Zien	Mining anchor text for query refinement.	WWW	2004	DBLP DOI BibTeX RDF	web search, rank, query refinement, anchor text
35	Jinzhao Wu, Houguang Yue	Towards Action Refinement for Concurrent Systems with Causal Ambiguity.	SEFM	2004	DBLP DOI BibTeX RDF	causal ambiguity, event structures with causal ambiguity, Concurrency, action refinement
35	Christophe Darlot, Jacques Julliand, Olga Kouchnarenko	Refinement Preserves PLTL Properties.	ZB	2003	DBLP DOI BibTeX RDF	Presevation of PLTL properties, B event systems, Refinement development
35	Walter Dosch, Sönke Magnussen	Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.	SERA	2003	DBLP DOI BibTeX RDF	Higher-order algebraic specification, refinement of data structure, algebraic implementation, transformation system
35	Mila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher	Action Refinement from a Logical Point of View.	VMCAI	2003	DBLP DOI BibTeX RDF	verification, specification, modal logics, reactive systems, action refinement
35	Junyu Peng, Samar Abdi, Daniel Gajski	Automatic Model Refinement for Fast Architecture Exploration.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	architecture exploration, model refinement
35	Cara MacNish	A Note on the Refinement of Nonmonotonic Knowledge Bases.	Knowl. Inf. Syst.	2000	DBLP DOI BibTeX RDF	Refinement, Nonmonotonic reasoning, Default logic
35	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
35	Manfred Broy	Compositional refinement of interactive systems.	J. ACM	1997	DBLP DOI BibTeX RDF	specification, refinement, interactive systems
35	Lucia Pomello	Refinement of Concurrent Systems Based on Local State Transformations.	REX Workshop	1989	DBLP DOI BibTeX RDF	functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations