Searching for "The ASM Refinement Method." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
The ASM ground model method as a foundation of requirements engineering
- … ground models with the stepwise refinement method of ASMs described in [12] allows one to link…
- Cited by 17 (9 self) – Add To MetaCart
-
Linking architectural and component level system views by abstract state machines
- … assumptions. For this the practicality of the ASM refinement method is crucial, namely for faithfully…
- Cited by 1 (1 self) – Add To MetaCart
-
Abstract State Machines: A Method for High-Level System Design and Analysis
- … details is supported by the ASM refinement method explained in Sect. 5. – Model change, a combination…
- Cited by 118 (16 self) – Add To MetaCart
-
Exploiting abstraction for specification reuse. The Java/C♯ case study
- … three tasks (see [2] for a general description of the ASM refinement method). Extension of the ASM…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 4.
