Matches in SemOpenAlex for { <https://semopenalex.org/work/W4323037650> ?p ?o ?g. }
Showing items 1 to 60 of
60
with 100 items per page.
- W4323037650 abstract "In this paper we advocate the study of misconceptions in the formal methods domain by integrating quantitative and qualitative methods. In this domain, so far, misconceptions have mostly been studied with qualitative methods, typically via interviews with less than 20 subjects. We discuss workflows for (1) determining the commonness of qualitatively established misconceptions by quantitative means; and for (2) the initial discovery of misconceptions by quantitative methods followed by qualitative assessments." @default.
- W4323037650 created "2023-03-04" @default.
- W4323037650 creator A5023740993 @default.
- W4323037650 creator A5086631278 @default.
- W4323037650 creator A5086919480 @default.
- W4323037650 date "2023-03-02" @default.
- W4323037650 modified "2023-10-17" @default.
- W4323037650 title "Discovering and Quantifying Misconceptions in Formal Methods Using Intelligent Tutoring Systems" @default.
- W4323037650 cites W2012669829 @default.
- W4323037650 cites W2022950187 @default.
- W4323037650 cites W2096329292 @default.
- W4323037650 cites W2766624855 @default.
- W4323037650 cites W3099546535 @default.
- W4323037650 doi "https://doi.org/10.1145/3545945.3569806" @default.
- W4323037650 hasPublicationYear "2023" @default.
- W4323037650 type Work @default.
- W4323037650 citedByCount "0" @default.
- W4323037650 crossrefType "proceedings-article" @default.
- W4323037650 hasAuthorship W4323037650A5023740993 @default.
- W4323037650 hasAuthorship W4323037650A5086631278 @default.
- W4323037650 hasAuthorship W4323037650A5086919480 @default.
- W4323037650 hasBestOaLocation W43230376501 @default.
- W4323037650 hasConcept C134306372 @default.
- W4323037650 hasConcept C144024400 @default.
- W4323037650 hasConcept C177212765 @default.
- W4323037650 hasConcept C190248442 @default.
- W4323037650 hasConcept C2522767166 @default.
- W4323037650 hasConcept C3018587665 @default.
- W4323037650 hasConcept C33923547 @default.
- W4323037650 hasConcept C36289849 @default.
- W4323037650 hasConcept C36503486 @default.
- W4323037650 hasConcept C41008148 @default.
- W4323037650 hasConcept C77088390 @default.
- W4323037650 hasConceptScore W4323037650C134306372 @default.
- W4323037650 hasConceptScore W4323037650C144024400 @default.
- W4323037650 hasConceptScore W4323037650C177212765 @default.
- W4323037650 hasConceptScore W4323037650C190248442 @default.
- W4323037650 hasConceptScore W4323037650C2522767166 @default.
- W4323037650 hasConceptScore W4323037650C3018587665 @default.
- W4323037650 hasConceptScore W4323037650C33923547 @default.
- W4323037650 hasConceptScore W4323037650C36289849 @default.
- W4323037650 hasConceptScore W4323037650C36503486 @default.
- W4323037650 hasConceptScore W4323037650C41008148 @default.
- W4323037650 hasConceptScore W4323037650C77088390 @default.
- W4323037650 hasLocation W43230376501 @default.
- W4323037650 hasOpenAccess W4323037650 @default.
- W4323037650 hasPrimaryLocation W43230376501 @default.
- W4323037650 hasRelatedWork W115678524 @default.
- W4323037650 hasRelatedWork W1544898319 @default.
- W4323037650 hasRelatedWork W2075559931 @default.
- W4323037650 hasRelatedWork W2081035100 @default.
- W4323037650 hasRelatedWork W2186681962 @default.
- W4323037650 hasRelatedWork W2218737892 @default.
- W4323037650 hasRelatedWork W2497175360 @default.
- W4323037650 hasRelatedWork W3118799476 @default.
- W4323037650 hasRelatedWork W3206324740 @default.
- W4323037650 hasRelatedWork W3207098447 @default.
- W4323037650 isParatext "false" @default.
- W4323037650 isRetracted "false" @default.
- W4323037650 workType "article" @default.