Matches in SemOpenAlex for { <https://semopenalex.org/work/W1562485830> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W1562485830 endingPage "152" @default.
- W1562485830 startingPage "140" @default.
- W1562485830 abstract "AbstractThis paper argues that the education in formal methods cannot be located in a few distinguished courses. Rather it has to spread throughout the curriculum such that its spirit is found in many courses. To this end, one needs a way of presenting the underlying concepts of formal methods in an informal style that is amenable even to beginner students.KeywordsFormal MethodFormal ReasoningSoft SkillAbstract State MachineSolution PrincipleThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1562485830 created "2016-06-24" @default.
- W1562485830 creator A5051722965 @default.
- W1562485830 date "2004-01-01" @default.
- W1562485830 modified "2023-09-30" @default.
- W1562485830 title "Distributed Teaching of Formal Methods" @default.
- W1562485830 cites W2011606665 @default.
- W1562485830 cites W2034717157 @default.
- W1562485830 cites W2147543351 @default.
- W1562485830 cites W4231609110 @default.
- W1562485830 doi "https://doi.org/10.1007/978-3-540-30472-2_9" @default.
- W1562485830 hasPublicationYear "2004" @default.
- W1562485830 type Work @default.
- W1562485830 sameAs 1562485830 @default.
- W1562485830 citedByCount "2" @default.
- W1562485830 crossrefType "book-chapter" @default.
- W1562485830 hasAuthorship W1562485830A5051722965 @default.
- W1562485830 hasConcept C115903868 @default.
- W1562485830 hasConcept C142362112 @default.
- W1562485830 hasConcept C144024400 @default.
- W1562485830 hasConcept C145243422 @default.
- W1562485830 hasConcept C145420912 @default.
- W1562485830 hasConcept C153349607 @default.
- W1562485830 hasConcept C154945302 @default.
- W1562485830 hasConcept C167822520 @default.
- W1562485830 hasConcept C19417346 @default.
- W1562485830 hasConcept C199360897 @default.
- W1562485830 hasConcept C2776181820 @default.
- W1562485830 hasConcept C2776445246 @default.
- W1562485830 hasConcept C2985583900 @default.
- W1562485830 hasConcept C3017614220 @default.
- W1562485830 hasConcept C33923547 @default.
- W1562485830 hasConcept C41008148 @default.
- W1562485830 hasConcept C47177190 @default.
- W1562485830 hasConcept C48103436 @default.
- W1562485830 hasConcept C75606506 @default.
- W1562485830 hasConcept C98045186 @default.
- W1562485830 hasConceptScore W1562485830C115903868 @default.
- W1562485830 hasConceptScore W1562485830C142362112 @default.
- W1562485830 hasConceptScore W1562485830C144024400 @default.
- W1562485830 hasConceptScore W1562485830C145243422 @default.
- W1562485830 hasConceptScore W1562485830C145420912 @default.
- W1562485830 hasConceptScore W1562485830C153349607 @default.
- W1562485830 hasConceptScore W1562485830C154945302 @default.
- W1562485830 hasConceptScore W1562485830C167822520 @default.
- W1562485830 hasConceptScore W1562485830C19417346 @default.
- W1562485830 hasConceptScore W1562485830C199360897 @default.
- W1562485830 hasConceptScore W1562485830C2776181820 @default.
- W1562485830 hasConceptScore W1562485830C2776445246 @default.
- W1562485830 hasConceptScore W1562485830C2985583900 @default.
- W1562485830 hasConceptScore W1562485830C3017614220 @default.
- W1562485830 hasConceptScore W1562485830C33923547 @default.
- W1562485830 hasConceptScore W1562485830C41008148 @default.
- W1562485830 hasConceptScore W1562485830C47177190 @default.
- W1562485830 hasConceptScore W1562485830C48103436 @default.
- W1562485830 hasConceptScore W1562485830C75606506 @default.
- W1562485830 hasConceptScore W1562485830C98045186 @default.
- W1562485830 hasLocation W15624858301 @default.
- W1562485830 hasOpenAccess W1562485830 @default.
- W1562485830 hasPrimaryLocation W15624858301 @default.
- W1562485830 hasRelatedWork W1524361563 @default.
- W1562485830 hasRelatedWork W1647785984 @default.
- W1562485830 hasRelatedWork W1677321822 @default.
- W1562485830 hasRelatedWork W193389882 @default.
- W1562485830 hasRelatedWork W2050798168 @default.
- W1562485830 hasRelatedWork W3153795633 @default.
- W1562485830 hasRelatedWork W645632851 @default.
- W1562485830 hasRelatedWork W922274335 @default.
- W1562485830 hasRelatedWork W952855136 @default.
- W1562485830 hasRelatedWork W2584893283 @default.
- W1562485830 isParatext "false" @default.
- W1562485830 isRetracted "false" @default.
- W1562485830 magId "1562485830" @default.
- W1562485830 workType "book-chapter" @default.