Consistency and Refinement for Partial Specification in Z

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-60973-3_93
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Specification and Refinement in General Correctness

1998English

IO-refinement in Z

1998English

A Single Complete Refinement Rule for Z

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2000English

: Specification and Refinement of Safety-Critical Java Programs

Science of Computer Programming
Software
2019English

Algorithm Refinement for Stochastic Partial Differential Equations

AIP Conference Proceedings
AstronomyPhysics
2003English

A Domain Equation for Refinement of Partial Systems

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2004English

Language Independent Refinement Using Partial Modeling

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Maintaining Cross Viewpoint Consistency Using Z

1995English

Interaction, Specification Refinement, and Tradeoff Exploration in Optimization-Based Design of Engineering Systems

Annual Review in Automatic Programming
1985English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy