Matches in SemOpenAlex for { <https://semopenalex.org/work/W2089268152> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2089268152 endingPage "207" @default.
- W2089268152 startingPage "195" @default.
- W2089268152 abstract "Errors, inconsistencies, or confusing points are noted in a variety of published algorithms, many of which are being used as examples in formulating or teaching principles of such modern programming methodologies as formal specification, systematic construction, and correctness proving. Common properties of these points of contention are abstracted. These properties are then used to pinpoint possible causes of the errors and to formulate general guidelines which might help to avoid further errors. The common characteristic of mathematical rigor and reasoning in these examples is noted, leading to some discussion about fallibility in mathematics, and its relationship to fallibility in these programming methodologies. The overriding goal is to cast a more realistic perspective on the methodologies, particularly with respect to older methodologies, such as testing, and to provide constructive recommendations for their improvement." @default.
- W2089268152 created "2016-06-24" @default.
- W2089268152 creator A5044343318 @default.
- W2089268152 creator A5048367277 @default.
- W2089268152 date "1976-09-01" @default.
- W2089268152 modified "2023-10-17" @default.
- W2089268152 title "Observations of Fallibility in Applications of Modern Programming Methodologies" @default.
- W2089268152 cites W1965765328 @default.
- W2089268152 cites W1978367838 @default.
- W2089268152 cites W1986513559 @default.
- W2089268152 cites W2005671875 @default.
- W2089268152 cites W2012659712 @default.
- W2089268152 cites W2026335217 @default.
- W2089268152 cites W2051877193 @default.
- W2089268152 cites W2055151562 @default.
- W2089268152 cites W2084570579 @default.
- W2089268152 cites W2160363852 @default.
- W2089268152 cites W2611862403 @default.
- W2089268152 cites W2987977008 @default.
- W2089268152 cites W4231791389 @default.
- W2089268152 cites W4239702739 @default.
- W2089268152 doi "https://doi.org/10.1109/tse.1976.233815" @default.
- W2089268152 hasPublicationYear "1976" @default.
- W2089268152 type Work @default.
- W2089268152 sameAs 2089268152 @default.
- W2089268152 citedByCount "82" @default.
- W2089268152 countsByYear W20892681522012 @default.
- W2089268152 countsByYear W20892681522014 @default.
- W2089268152 countsByYear W20892681522020 @default.
- W2089268152 crossrefType "journal-article" @default.
- W2089268152 hasAuthorship W2089268152A5044343318 @default.
- W2089268152 hasAuthorship W2089268152A5048367277 @default.
- W2089268152 hasConcept C115903868 @default.
- W2089268152 hasConcept C12713177 @default.
- W2089268152 hasConcept C136197465 @default.
- W2089268152 hasConcept C154945302 @default.
- W2089268152 hasConcept C162324750 @default.
- W2089268152 hasConcept C199360897 @default.
- W2089268152 hasConcept C2778701210 @default.
- W2089268152 hasConcept C41008148 @default.
- W2089268152 hasConcept C539667460 @default.
- W2089268152 hasConcept C55439883 @default.
- W2089268152 hasConcept C75606506 @default.
- W2089268152 hasConcept C98045186 @default.
- W2089268152 hasConceptScore W2089268152C115903868 @default.
- W2089268152 hasConceptScore W2089268152C12713177 @default.
- W2089268152 hasConceptScore W2089268152C136197465 @default.
- W2089268152 hasConceptScore W2089268152C154945302 @default.
- W2089268152 hasConceptScore W2089268152C162324750 @default.
- W2089268152 hasConceptScore W2089268152C199360897 @default.
- W2089268152 hasConceptScore W2089268152C2778701210 @default.
- W2089268152 hasConceptScore W2089268152C41008148 @default.
- W2089268152 hasConceptScore W2089268152C539667460 @default.
- W2089268152 hasConceptScore W2089268152C55439883 @default.
- W2089268152 hasConceptScore W2089268152C75606506 @default.
- W2089268152 hasConceptScore W2089268152C98045186 @default.
- W2089268152 hasIssue "3" @default.
- W2089268152 hasLocation W20892681521 @default.
- W2089268152 hasOpenAccess W2089268152 @default.
- W2089268152 hasPrimaryLocation W20892681521 @default.
- W2089268152 hasRelatedWork W1977144985 @default.
- W2089268152 hasRelatedWork W2026335217 @default.
- W2089268152 hasRelatedWork W2142545871 @default.
- W2089268152 hasRelatedWork W2149144703 @default.
- W2089268152 hasRelatedWork W2556057931 @default.
- W2089268152 hasRelatedWork W2973962686 @default.
- W2089268152 hasRelatedWork W3091728393 @default.
- W2089268152 hasRelatedWork W3206116316 @default.
- W2089268152 hasRelatedWork W4213257091 @default.
- W2089268152 hasRelatedWork W4250105839 @default.
- W2089268152 hasVolume "SE-2" @default.
- W2089268152 isParatext "false" @default.
- W2089268152 isRetracted "false" @default.
- W2089268152 magId "2089268152" @default.
- W2089268152 workType "article" @default.