925 resultados para Experimental software engineering

Visualisation of refinements

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

Supporting component-based reuse in CARE

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

From process algebra to visual language

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Petrinette: a tool for the integrated analysis of petri nets and finite state machines

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Checking Z data refinements using an animation tool

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Towards a user-friendly design and verification environment

Relevância:

80.00% 80.00%

Publicador:

Veja mais

A translation of bounded Petri nets into finite state machines

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Experience in the design, implementation and use of a retargetable static binary translation framework

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

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