Matches in SemOpenAlex for { <https://semopenalex.org/work/W50561653> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W50561653 endingPage "348" @default.
- W50561653 startingPage "345" @default.
- W50561653 abstract "The Abstract State Machine (ASM) method proposes the concept of ground models for analyzing a target system based on pseudo-code-like descriptions for reasoning about system properties in terms of state machine runs over abstract data structures. This highly iterative process builds on stepwise refinement of ground models that evolve with progressing understanding of functional system requirements. Usually, as complexity increases, reorganization of a model’s internal structure helps enhance its flexibility and robustness. While this approach is common practice, the underlying principles are usually left implicit. In this paper, we propose refactoring patterns to restructure abstract machine models with the goal of improving their intelligibility and maintainability." @default.
- W50561653 created "2016-06-24" @default.
- W50561653 creator A5000957933 @default.
- W50561653 creator A5025844676 @default.
- W50561653 creator A5064049181 @default.
- W50561653 date "2012-01-01" @default.
- W50561653 modified "2023-09-24" @default.
- W50561653 title "Refactoring Abstract State Machine Models" @default.
- W50561653 cites W2068831082 @default.
- W50561653 cites W3021451495 @default.
- W50561653 cites W4230958226 @default.
- W50561653 cites W4233311787 @default.
- W50561653 doi "https://doi.org/10.1007/978-3-642-30885-7_28" @default.
- W50561653 hasPublicationYear "2012" @default.
- W50561653 type Work @default.
- W50561653 sameAs 50561653 @default.
- W50561653 citedByCount "6" @default.
- W50561653 countsByYear W505616532013 @default.
- W50561653 countsByYear W505616532015 @default.
- W50561653 countsByYear W505616532016 @default.
- W50561653 countsByYear W505616532018 @default.
- W50561653 countsByYear W505616532019 @default.
- W50561653 countsByYear W505616532020 @default.
- W50561653 crossrefType "book-chapter" @default.
- W50561653 hasAuthorship W50561653A5000957933 @default.
- W50561653 hasAuthorship W50561653A5025844676 @default.
- W50561653 hasAuthorship W50561653A5064049181 @default.
- W50561653 hasConcept C104317684 @default.
- W50561653 hasConcept C105795698 @default.
- W50561653 hasConcept C115903868 @default.
- W50561653 hasConcept C143587482 @default.
- W50561653 hasConcept C145243422 @default.
- W50561653 hasConcept C152752567 @default.
- W50561653 hasConcept C154945302 @default.
- W50561653 hasConcept C160713754 @default.
- W50561653 hasConcept C167822520 @default.
- W50561653 hasConcept C185592680 @default.
- W50561653 hasConcept C199360897 @default.
- W50561653 hasConcept C2777904410 @default.
- W50561653 hasConcept C2780598303 @default.
- W50561653 hasConcept C33923547 @default.
- W50561653 hasConcept C41008148 @default.
- W50561653 hasConcept C55493867 @default.
- W50561653 hasConcept C63479239 @default.
- W50561653 hasConceptScore W50561653C104317684 @default.
- W50561653 hasConceptScore W50561653C105795698 @default.
- W50561653 hasConceptScore W50561653C115903868 @default.
- W50561653 hasConceptScore W50561653C143587482 @default.
- W50561653 hasConceptScore W50561653C145243422 @default.
- W50561653 hasConceptScore W50561653C152752567 @default.
- W50561653 hasConceptScore W50561653C154945302 @default.
- W50561653 hasConceptScore W50561653C160713754 @default.
- W50561653 hasConceptScore W50561653C167822520 @default.
- W50561653 hasConceptScore W50561653C185592680 @default.
- W50561653 hasConceptScore W50561653C199360897 @default.
- W50561653 hasConceptScore W50561653C2777904410 @default.
- W50561653 hasConceptScore W50561653C2780598303 @default.
- W50561653 hasConceptScore W50561653C33923547 @default.
- W50561653 hasConceptScore W50561653C41008148 @default.
- W50561653 hasConceptScore W50561653C55493867 @default.
- W50561653 hasConceptScore W50561653C63479239 @default.
- W50561653 hasLocation W505616531 @default.
- W50561653 hasOpenAccess W50561653 @default.
- W50561653 hasPrimaryLocation W505616531 @default.
- W50561653 hasRelatedWork W1525365308 @default.
- W50561653 hasRelatedWork W1560860389 @default.
- W50561653 hasRelatedWork W1637866372 @default.
- W50561653 hasRelatedWork W1924643194 @default.
- W50561653 hasRelatedWork W2395302981 @default.
- W50561653 hasRelatedWork W2403188685 @default.
- W50561653 hasRelatedWork W2568509224 @default.
- W50561653 hasRelatedWork W2756266070 @default.
- W50561653 hasRelatedWork W2953968504 @default.
- W50561653 hasRelatedWork W50561653 @default.
- W50561653 isParatext "false" @default.
- W50561653 isRetracted "false" @default.
- W50561653 magId "50561653" @default.
- W50561653 workType "book-chapter" @default.