DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Refinement (computing)
Refinement (computing)
Multifocal: a Strategic Bidirectional Transformation Language for XML Schemas
Refinement Session Types
From Action System to Distributed Systems: the Refinement Approach
A Theory of Software Product Line Refinement
Design Engineering.Pdf
Developing Reliable Software Using Object-Oriented Formal Specification and Refinement [Extended Abstract Prepared 24 March 2003]
Supporting by Light-Weight Specifications the Liskov
A Refinement Based Method for Developing Distributed Protocols
Checking Model Transformation Refinement
Scaling Step-Wise Refinement
Contracts-Refinement Proof System for Component-Based Embedded Systems
Metadata and Digital Library Development
Prorgram Development by Stepwise Refinement: Case Studies Using
Model Refinement in the Model Driven Architecture Context
Library-Based Scalable Refinement Checking for Contract-Based Design
Arcangel: a Tactic Language for Refinement
Information Hiding Abstraction & Refinement
Verification of High-Level Transformations With
Top View
Automatic Refinement for Event-B Through Annotated Patterns
Creating a Bi-Directional Source-To-Source Compiler Using
Verifying and Constructing Abstract TLA Specifications
Data Refinement of Predicate Transformers
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: an Approach Based on System Identification
Interpreting the B-Method in the Refinement Calculus
Assurance Via Model Transformations and Their Hierarchical Refinement