Specification and Refinement in General Correctness

doi 10.14236/ewic/nfm1998.8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

BCS Learning & Development

Related search

General Correctness: A Unification of Partial and Total Correctness

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
1985English

Consistency and Refinement for Partial Specification in Z

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

: Specification and Refinement of Safety-Critical Java Programs

Science of Computer Programming
Software
2019English

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

Annual Review in Automatic Programming
1985English

General Specification Testing With Locally Misspecified Models

Econometric Theory
EconomicsEconometricsSocial Sciences
2010English

Refinement Multidimensional Dynamic Inequalities With General Kernels and Measures

Journal of Inequalities and Applications
CombinatoricsApplied MathematicsAnalysisDiscrete Mathematics
2019English

A Formal Specification of the Correctness Criteria for Concurrent Executions of a Transaction System in Real Time Databases.

Journal of Computer Science and Cybernetics
2012English

Modular Supervisory Control With General Indecomposable Specification Languages

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy