Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990249550> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1990249550 abstract "Most conventional e-assessment systems are not suited for examining analytic, creative and constructive skills and the few existing ones have too limited functionality to appropriately support Computer Science assessments. On this account the e-assessment system EASy has been developed which e.g. provides relevant exercise modules for Computer Science tasks. Recently the system has been extended by a module for the computer-supported examination of software verification proofs based on the Hoare Logic. In this work we discuss this module and evaluate its applicability, usability and acceptance in terms of a lecture on Formal Specification." @default.
- W1990249550 created "2016-06-24" @default.
- W1990249550 creator A5000750484 @default.
- W1990249550 creator A5001965543 @default.
- W1990249550 creator A5046373292 @default.
- W1990249550 creator A5048747275 @default.
- W1990249550 date "2010-09-01" @default.
- W1990249550 modified "2023-09-25" @default.
- W1990249550 title "Computer-Supported Assessment of Software Verification Proofs" @default.
- W1990249550 cites W2072730234 @default.
- W1990249550 cites W2103544203 @default.
- W1990249550 cites W2331701368 @default.
- W1990249550 cites W2987907651 @default.
- W1990249550 cites W3199948499 @default.
- W1990249550 doi "https://doi.org/10.1109/iceit.2010.5607766" @default.
- W1990249550 hasPublicationYear "2010" @default.
- W1990249550 type Work @default.
- W1990249550 sameAs 1990249550 @default.
- W1990249550 citedByCount "2" @default.
- W1990249550 countsByYear W19902495502012 @default.
- W1990249550 crossrefType "proceedings-article" @default.
- W1990249550 hasAuthorship W1990249550A5000750484 @default.
- W1990249550 hasAuthorship W1990249550A5001965543 @default.
- W1990249550 hasAuthorship W1990249550A5046373292 @default.
- W1990249550 hasAuthorship W1990249550A5048747275 @default.
- W1990249550 hasConcept C105795698 @default.
- W1990249550 hasConcept C108710211 @default.
- W1990249550 hasConcept C111498074 @default.
- W1990249550 hasConcept C115903868 @default.
- W1990249550 hasConcept C149091818 @default.
- W1990249550 hasConcept C186846655 @default.
- W1990249550 hasConcept C199360897 @default.
- W1990249550 hasConcept C2524010 @default.
- W1990249550 hasConcept C2777904410 @default.
- W1990249550 hasConcept C33054407 @default.
- W1990249550 hasConcept C33923547 @default.
- W1990249550 hasConcept C41008148 @default.
- W1990249550 hasConcept C48002344 @default.
- W1990249550 hasConceptScore W1990249550C105795698 @default.
- W1990249550 hasConceptScore W1990249550C108710211 @default.
- W1990249550 hasConceptScore W1990249550C111498074 @default.
- W1990249550 hasConceptScore W1990249550C115903868 @default.
- W1990249550 hasConceptScore W1990249550C149091818 @default.
- W1990249550 hasConceptScore W1990249550C186846655 @default.
- W1990249550 hasConceptScore W1990249550C199360897 @default.
- W1990249550 hasConceptScore W1990249550C2524010 @default.
- W1990249550 hasConceptScore W1990249550C2777904410 @default.
- W1990249550 hasConceptScore W1990249550C33054407 @default.
- W1990249550 hasConceptScore W1990249550C33923547 @default.
- W1990249550 hasConceptScore W1990249550C41008148 @default.
- W1990249550 hasConceptScore W1990249550C48002344 @default.
- W1990249550 hasLocation W19902495501 @default.
- W1990249550 hasOpenAccess W1990249550 @default.
- W1990249550 hasPrimaryLocation W19902495501 @default.
- W1990249550 hasRelatedWork W1573022308 @default.
- W1990249550 hasRelatedWork W2063477593 @default.
- W1990249550 hasRelatedWork W2103972622 @default.
- W1990249550 hasRelatedWork W2391949149 @default.
- W1990249550 hasRelatedWork W280188670 @default.
- W1990249550 hasRelatedWork W3015867552 @default.
- W1990249550 hasRelatedWork W4294889299 @default.
- W1990249550 hasRelatedWork W47563837 @default.
- W1990249550 hasRelatedWork W61995002 @default.
- W1990249550 hasRelatedWork W72285135 @default.
- W1990249550 isParatext "false" @default.
- W1990249550 isRetracted "false" @default.
- W1990249550 magId "1990249550" @default.
- W1990249550 workType "article" @default.