Searching for "Assertive Demons." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Specification Variables: Between the Angel and the Demon
- … of assertion and demonic updateg 8r (9m (fp:mg; [ q:m: ]):r:) ) S:r: fdenition of con…
- Cited by 2 (0 self) – Add To MetaCart
-
A Reconfigurable Design-for-Debug Infrastructure for SoCs”, DAC’06
- …Cs. The debug tools can dynamically configure assertions in DEMONs. Since most assertions check relations…
- Cited by 6 (0 self) – Add To MetaCart
-
A Study of The Fragile Base Class Problem
- … relating initial and final state spaces is defined by a sequential composition of assertion and demonic…
- Cited by 33 (1 self) – Add To MetaCart
-
Characterizing Determinacy in Kleene Algebras
- …) is called type implication, an operation which is useful for dealing with assertions in demonic semantics…
- Cited by 10 (5 self) – Add To MetaCart
-
The Fragile Base Class Problem and Its Solution
- … postcondition relating initial and final state spaces is defined by a composition of assertion and demonic…
- Cited by 8 (0 self) – Add To MetaCart
-
Transformational Development of Logic Programs from Executable Specifications - Schema-Based Visual and Textual Composition of Logic Programs
- … encapsulation, multiple inheritance, assertions/demons, optional functional notation, and handling of dynamic…
- Cited by 4 (1 self) – Add To MetaCart
-
Software Development Based on Executable Specifications and Transformations
- … and instances with typed attributes, relations, data encapsulation, multiple inheritance, assertions/demons…
- Add To MetaCart
Showing 1 through 7.
