960 resultados para QA76 Computer software

Visualisation of refinements

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Compilation of specifications

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Specification-based retrieval strategies for module reuse

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Supporting component-based reuse in CARE

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Don't care non-determinism in logic program refinement

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Model checking Object-Z classes: Some experiments with FDR

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Encoding Object-Z in Isabelle-HOL

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Specifying mode requirements for embedded systems

Relevância:

80.00% 80.00%

Publicador:

Veja mais

A formal basis for a program compilation proof tool

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Property verification of asynchronous systems

Relevância:

80.00% 80.00%

Publicador:

Veja mais

A Z Based approach to verifying security protocols

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Specification matching of state-based modular components

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Verifying program transformations using partial correctness semantics

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Using Z to animate Object-Z specifications

Relevância:

80.00% 80.00%

Publicador:

Veja mais