Matches in SemOpenAlex for { <https://semopenalex.org/work/W1569356527> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1569356527 endingPage "413" @default.
- W1569356527 startingPage "405" @default.
- W1569356527 abstract "AbstractAbstract State Machines have long played a valuable role as a catalyst for inquiry into software problems. In the ASM literature, however, there is a tendency to omit reflection on the process of ASM-based design and analysis, focusing instead on final, complete ASM products. As educators, we believe it is important to expose our students to a full, explicit process of inquiry, using ASMs as a vehicle to motivate active questioning. We report on our experiences in bringing ASM-based inquiry to the classroom. A course plan that combines ASMs and Problem Frames has proved effective in eliciting critical inquiry among students.Keywordsformal methodssoftware requirementseducation refinementinquiry" @default.
- W1569356527 created "2016-06-24" @default.
- W1569356527 creator A5003556834 @default.
- W1569356527 creator A5033295321 @default.
- W1569356527 date "2010-01-01" @default.
- W1569356527 modified "2023-09-25" @default.
- W1569356527 title "Abstract State Machines and the Inquiry Process" @default.
- W1569356527 cites W1515598480 @default.
- W1569356527 cites W1818561783 @default.
- W1569356527 cites W19851560 @default.
- W1569356527 cites W1998333922 @default.
- W1569356527 cites W2063162149 @default.
- W1569356527 cites W2073984834 @default.
- W1569356527 cites W2093235213 @default.
- W1569356527 cites W2144546294 @default.
- W1569356527 cites W2164271289 @default.
- W1569356527 cites W2234536257 @default.
- W1569356527 cites W2488946417 @default.
- W1569356527 cites W2491668716 @default.
- W1569356527 cites W4230958226 @default.
- W1569356527 doi "https://doi.org/10.1007/978-3-642-15025-8_19" @default.
- W1569356527 hasPublicationYear "2010" @default.
- W1569356527 type Work @default.
- W1569356527 sameAs 1569356527 @default.
- W1569356527 citedByCount "0" @default.
- W1569356527 crossrefType "book-chapter" @default.
- W1569356527 hasAuthorship W1569356527A5003556834 @default.
- W1569356527 hasAuthorship W1569356527A5033295321 @default.
- W1569356527 hasConcept C115903868 @default.
- W1569356527 hasConcept C145243422 @default.
- W1569356527 hasConcept C145420912 @default.
- W1569356527 hasConcept C154945302 @default.
- W1569356527 hasConcept C15744967 @default.
- W1569356527 hasConcept C166957645 @default.
- W1569356527 hasConcept C167822520 @default.
- W1569356527 hasConcept C199360897 @default.
- W1569356527 hasConcept C2776505523 @default.
- W1569356527 hasConcept C2777904410 @default.
- W1569356527 hasConcept C41008148 @default.
- W1569356527 hasConcept C48103436 @default.
- W1569356527 hasConcept C65682993 @default.
- W1569356527 hasConcept C95457728 @default.
- W1569356527 hasConcept C98045186 @default.
- W1569356527 hasConceptScore W1569356527C115903868 @default.
- W1569356527 hasConceptScore W1569356527C145243422 @default.
- W1569356527 hasConceptScore W1569356527C145420912 @default.
- W1569356527 hasConceptScore W1569356527C154945302 @default.
- W1569356527 hasConceptScore W1569356527C15744967 @default.
- W1569356527 hasConceptScore W1569356527C166957645 @default.
- W1569356527 hasConceptScore W1569356527C167822520 @default.
- W1569356527 hasConceptScore W1569356527C199360897 @default.
- W1569356527 hasConceptScore W1569356527C2776505523 @default.
- W1569356527 hasConceptScore W1569356527C2777904410 @default.
- W1569356527 hasConceptScore W1569356527C41008148 @default.
- W1569356527 hasConceptScore W1569356527C48103436 @default.
- W1569356527 hasConceptScore W1569356527C65682993 @default.
- W1569356527 hasConceptScore W1569356527C95457728 @default.
- W1569356527 hasConceptScore W1569356527C98045186 @default.
- W1569356527 hasLocation W15693565271 @default.
- W1569356527 hasOpenAccess W1569356527 @default.
- W1569356527 hasPrimaryLocation W15693565271 @default.
- W1569356527 hasRelatedWork W1527748782 @default.
- W1569356527 hasRelatedWork W1535355150 @default.
- W1569356527 hasRelatedWork W1562923968 @default.
- W1569356527 hasRelatedWork W1608533439 @default.
- W1569356527 hasRelatedWork W176278463 @default.
- W1569356527 hasRelatedWork W1907552590 @default.
- W1569356527 hasRelatedWork W1970447495 @default.
- W1569356527 hasRelatedWork W2000110740 @default.
- W1569356527 hasRelatedWork W2009766686 @default.
- W1569356527 hasRelatedWork W2025779593 @default.
- W1569356527 hasRelatedWork W2059621337 @default.
- W1569356527 hasRelatedWork W2154614087 @default.
- W1569356527 hasRelatedWork W2189560108 @default.
- W1569356527 hasRelatedWork W2337188368 @default.
- W1569356527 hasRelatedWork W2517608104 @default.
- W1569356527 hasRelatedWork W2791733740 @default.
- W1569356527 hasRelatedWork W2797883428 @default.
- W1569356527 hasRelatedWork W2887257968 @default.
- W1569356527 hasRelatedWork W3009456168 @default.
- W1569356527 hasRelatedWork W1654596177 @default.
- W1569356527 isParatext "false" @default.
- W1569356527 isRetracted "false" @default.
- W1569356527 magId "1569356527" @default.
- W1569356527 workType "book-chapter" @default.