Matches in SemOpenAlex for { <https://semopenalex.org/work/W2063598889> ?p ?o ?g. }
Showing items 1 to 48 of
48
with 100 items per page.
- W2063598889 endingPage "198" @default.
- W2063598889 startingPage "195" @default.
- W2063598889 abstract "Abstract For formal methods technology transfer to succeed, we must do two things: (1) integrate formal methods into basic university programming courses, and (2) improve the methods until they are better suited for practical application. Formal methods cannot be an “add-on” that is taught after programmers acquire bad habits, and they must produce documents that are easier to read than the programs that they describe." @default.
- W2063598889 created "2016-06-24" @default.
- W2063598889 creator A5081601500 @default.
- W2063598889 date "1998-03-01" @default.
- W2063598889 modified "2023-09-26" @default.
- W2063598889 title "“Formal methods” technology transfer will fail" @default.
- W2063598889 cites W2082434633 @default.
- W2063598889 doi "https://doi.org/10.1016/s0164-1212(97)00166-0" @default.
- W2063598889 hasPublicationYear "1998" @default.
- W2063598889 type Work @default.
- W2063598889 sameAs 2063598889 @default.
- W2063598889 citedByCount "23" @default.
- W2063598889 countsByYear W20635988892013 @default.
- W2063598889 countsByYear W20635988892015 @default.
- W2063598889 countsByYear W20635988892016 @default.
- W2063598889 crossrefType "journal-article" @default.
- W2063598889 hasAuthorship W2063598889A5081601500 @default.
- W2063598889 hasConcept C112930515 @default.
- W2063598889 hasConcept C144133560 @default.
- W2063598889 hasConcept C2985879086 @default.
- W2063598889 hasConcept C41008148 @default.
- W2063598889 hasConcept C56739046 @default.
- W2063598889 hasConceptScore W2063598889C112930515 @default.
- W2063598889 hasConceptScore W2063598889C144133560 @default.
- W2063598889 hasConceptScore W2063598889C2985879086 @default.
- W2063598889 hasConceptScore W2063598889C41008148 @default.
- W2063598889 hasConceptScore W2063598889C56739046 @default.
- W2063598889 hasIssue "3" @default.
- W2063598889 hasLocation W20635988891 @default.
- W2063598889 hasOpenAccess W2063598889 @default.
- W2063598889 hasPrimaryLocation W20635988891 @default.
- W2063598889 hasRelatedWork W2022356393 @default.
- W2063598889 hasRelatedWork W2093578348 @default.
- W2063598889 hasRelatedWork W2349586706 @default.
- W2063598889 hasRelatedWork W2358668433 @default.
- W2063598889 hasRelatedWork W2376932109 @default.
- W2063598889 hasRelatedWork W2382290278 @default.
- W2063598889 hasRelatedWork W2390279801 @default.
- W2063598889 hasRelatedWork W2461168214 @default.
- W2063598889 hasRelatedWork W2748952813 @default.
- W2063598889 hasRelatedWork W2899084033 @default.
- W2063598889 hasVolume "40" @default.
- W2063598889 isParatext "false" @default.
- W2063598889 isRetracted "false" @default.
- W2063598889 magId "2063598889" @default.
- W2063598889 workType "article" @default.