Matches in SemOpenAlex for { <https://semopenalex.org/work/W2558975586> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2558975586 abstract "Students often learn formal methods as part of a software engineering degree programme, without applying these formal methods outside of the specific module(s) dedicated to this subject. In particular, software engineering students often have to build a significant application/program/system in a substantial project at the end of their programme (in order to demonstrate the application of the things they have learned during the previous taught modules). Our experience shows that the majority of students do not use formal methods in this project work. We report on feedback from the minority of students who did choose to use formal methods in their projects, and give examples of where this was a help and where it was a hindrance." @default.
- W2558975586 created "2016-12-08" @default.
- W2558975586 creator A5066199472 @default.
- W2558975586 date "2016-11-29" @default.
- W2558975586 modified "2023-09-27" @default.
- W2558975586 title "When Students Choose to Use Event-B in their Software Engineering Projects" @default.
- W2558975586 cites W130601223 @default.
- W2558975586 cites W1556900989 @default.
- W2558975586 cites W1559526797 @default.
- W2558975586 cites W1559870885 @default.
- W2558975586 cites W1643750614 @default.
- W2558975586 cites W1971486022 @default.
- W2558975586 cites W1987064735 @default.
- W2558975586 cites W2061533537 @default.
- W2558975586 cites W2063598889 @default.
- W2558975586 cites W2122241918 @default.
- W2558975586 cites W2136448357 @default.
- W2558975586 cites W2168737053 @default.
- W2558975586 cites W263830843 @default.
- W2558975586 cites W2726604903 @default.
- W2558975586 cites W95898634 @default.
- W2558975586 hasPublicationYear "2016" @default.
- W2558975586 type Work @default.
- W2558975586 sameAs 2558975586 @default.
- W2558975586 citedByCount "0" @default.
- W2558975586 crossrefType "posted-content" @default.
- W2558975586 hasAuthorship W2558975586A5066199472 @default.
- W2558975586 hasConcept C110354214 @default.
- W2558975586 hasConcept C115903868 @default.
- W2558975586 hasConcept C121332964 @default.
- W2558975586 hasConcept C127413603 @default.
- W2558975586 hasConcept C136764020 @default.
- W2558975586 hasConcept C18762648 @default.
- W2558975586 hasConcept C199360897 @default.
- W2558975586 hasConcept C2777855551 @default.
- W2558975586 hasConcept C2777904410 @default.
- W2558975586 hasConcept C2779662365 @default.
- W2558975586 hasConcept C41008148 @default.
- W2558975586 hasConcept C62520636 @default.
- W2558975586 hasConcept C75606506 @default.
- W2558975586 hasConcept C78519656 @default.
- W2558975586 hasConceptScore W2558975586C110354214 @default.
- W2558975586 hasConceptScore W2558975586C115903868 @default.
- W2558975586 hasConceptScore W2558975586C121332964 @default.
- W2558975586 hasConceptScore W2558975586C127413603 @default.
- W2558975586 hasConceptScore W2558975586C136764020 @default.
- W2558975586 hasConceptScore W2558975586C18762648 @default.
- W2558975586 hasConceptScore W2558975586C199360897 @default.
- W2558975586 hasConceptScore W2558975586C2777855551 @default.
- W2558975586 hasConceptScore W2558975586C2777904410 @default.
- W2558975586 hasConceptScore W2558975586C2779662365 @default.
- W2558975586 hasConceptScore W2558975586C41008148 @default.
- W2558975586 hasConceptScore W2558975586C62520636 @default.
- W2558975586 hasConceptScore W2558975586C75606506 @default.
- W2558975586 hasConceptScore W2558975586C78519656 @default.
- W2558975586 hasLocation W25589755861 @default.
- W2558975586 hasOpenAccess W2558975586 @default.
- W2558975586 hasPrimaryLocation W25589755861 @default.
- W2558975586 hasRelatedWork W135085464 @default.
- W2558975586 hasRelatedWork W1575104524 @default.
- W2558975586 hasRelatedWork W1584459784 @default.
- W2558975586 hasRelatedWork W1712723923 @default.
- W2558975586 hasRelatedWork W1972439486 @default.
- W2558975586 hasRelatedWork W2184296098 @default.
- W2558975586 hasRelatedWork W2184336818 @default.
- W2558975586 hasRelatedWork W2294896924 @default.
- W2558975586 hasRelatedWork W2526252923 @default.
- W2558975586 hasRelatedWork W2580036402 @default.
- W2558975586 hasRelatedWork W2601902097 @default.
- W2558975586 hasRelatedWork W2604967571 @default.
- W2558975586 hasRelatedWork W2624172464 @default.
- W2558975586 hasRelatedWork W2767286859 @default.
- W2558975586 hasRelatedWork W2915313012 @default.
- W2558975586 hasRelatedWork W2974925192 @default.
- W2558975586 hasRelatedWork W3098129642 @default.
- W2558975586 hasRelatedWork W3100828494 @default.
- W2558975586 hasRelatedWork W3112872895 @default.
- W2558975586 hasRelatedWork W2091052353 @default.
- W2558975586 isParatext "false" @default.
- W2558975586 isRetracted "false" @default.
- W2558975586 magId "2558975586" @default.
- W2558975586 workType "article" @default.