1005 search results - page 104 / 201 » Formal Software Development in MAYA |
127
click to vote
SIGADA
2005
Springer
15 years 10 months ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
140
click to vote
EUROMICRO
1996
IEEE
15 years 8 months ago
1996
IEEE
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
130
click to vote
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
152
click to vote
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
150
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...