Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288287777> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W4288287777 abstract "We present Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances, to be used mainly in an educational context. By introducing the notion of secret paragraphs and commands in the models, it also allows the distribution and automatic evaluation of simple specification challenges, a useful mechanism that enables students to learn relational logic at their own pace. Alloy4Fun stores all versions of shared and analyzed models, as well as derivation trees that depict how those models evolved over time: this wealth of information can be mined by researchers or tutors to identify, for example, learning breakdowns in the class or typical mistakes made by students and other Alloy users. A beta version of Alloy4Fun was already used in two formal methods courses, and we present some results of this preliminary evaluation." @default.
- W4288287777 created "2022-07-28" @default.
- W4288287777 creator A5016740410 @default.
- W4288287777 creator A5021277508 @default.
- W4288287777 creator A5033941123 @default.
- W4288287777 creator A5035029856 @default.
- W4288287777 creator A5040416986 @default.
- W4288287777 creator A5068751710 @default.
- W4288287777 creator A5069927997 @default.
- W4288287777 creator A5089316264 @default.
- W4288287777 date "2019-07-04" @default.
- W4288287777 modified "2023-10-16" @default.
- W4288287777 title "Sharing and Learning Alloy on the Web" @default.
- W4288287777 doi "https://doi.org/10.48550/arxiv.1907.02275" @default.
- W4288287777 hasPublicationYear "2019" @default.
- W4288287777 type Work @default.
- W4288287777 citedByCount "0" @default.
- W4288287777 crossrefType "posted-content" @default.
- W4288287777 hasAuthorship W4288287777A5016740410 @default.
- W4288287777 hasAuthorship W4288287777A5021277508 @default.
- W4288287777 hasAuthorship W4288287777A5033941123 @default.
- W4288287777 hasAuthorship W4288287777A5035029856 @default.
- W4288287777 hasAuthorship W4288287777A5040416986 @default.
- W4288287777 hasAuthorship W4288287777A5068751710 @default.
- W4288287777 hasAuthorship W4288287777A5069927997 @default.
- W4288287777 hasAuthorship W4288287777A5089316264 @default.
- W4288287777 hasBestOaLocation W42882877771 @default.
- W4288287777 hasConcept C111472728 @default.
- W4288287777 hasConcept C120665830 @default.
- W4288287777 hasConcept C121332964 @default.
- W4288287777 hasConcept C13280743 @default.
- W4288287777 hasConcept C136764020 @default.
- W4288287777 hasConcept C138885662 @default.
- W4288287777 hasConcept C151730666 @default.
- W4288287777 hasConcept C154945302 @default.
- W4288287777 hasConcept C192209626 @default.
- W4288287777 hasConcept C205649164 @default.
- W4288287777 hasConcept C2777212361 @default.
- W4288287777 hasConcept C2777526511 @default.
- W4288287777 hasConcept C2779343474 @default.
- W4288287777 hasConcept C2780586882 @default.
- W4288287777 hasConcept C41008148 @default.
- W4288287777 hasConcept C86803240 @default.
- W4288287777 hasConcept C89611455 @default.
- W4288287777 hasConceptScore W4288287777C111472728 @default.
- W4288287777 hasConceptScore W4288287777C120665830 @default.
- W4288287777 hasConceptScore W4288287777C121332964 @default.
- W4288287777 hasConceptScore W4288287777C13280743 @default.
- W4288287777 hasConceptScore W4288287777C136764020 @default.
- W4288287777 hasConceptScore W4288287777C138885662 @default.
- W4288287777 hasConceptScore W4288287777C151730666 @default.
- W4288287777 hasConceptScore W4288287777C154945302 @default.
- W4288287777 hasConceptScore W4288287777C192209626 @default.
- W4288287777 hasConceptScore W4288287777C205649164 @default.
- W4288287777 hasConceptScore W4288287777C2777212361 @default.
- W4288287777 hasConceptScore W4288287777C2777526511 @default.
- W4288287777 hasConceptScore W4288287777C2779343474 @default.
- W4288287777 hasConceptScore W4288287777C2780586882 @default.
- W4288287777 hasConceptScore W4288287777C41008148 @default.
- W4288287777 hasConceptScore W4288287777C86803240 @default.
- W4288287777 hasConceptScore W4288287777C89611455 @default.
- W4288287777 hasLocation W42882877771 @default.
- W4288287777 hasOpenAccess W4288287777 @default.
- W4288287777 hasPrimaryLocation W42882877771 @default.
- W4288287777 hasRelatedWork W1546415126 @default.
- W4288287777 hasRelatedWork W18977309 @default.
- W4288287777 hasRelatedWork W1987137857 @default.
- W4288287777 hasRelatedWork W2230691193 @default.
- W4288287777 hasRelatedWork W2352339580 @default.
- W4288287777 hasRelatedWork W2748952813 @default.
- W4288287777 hasRelatedWork W2951264516 @default.
- W4288287777 hasRelatedWork W4248389398 @default.
- W4288287777 hasRelatedWork W2247596074 @default.
- W4288287777 hasRelatedWork W2751656612 @default.
- W4288287777 isParatext "false" @default.
- W4288287777 isRetracted "false" @default.
- W4288287777 workType "article" @default.