Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155236304> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2155236304 abstract "necessity of formal methods education has developed from its increasing assimilation into systems development within industry. Organizations responsible for a wide range of applications have found it necessary to find an improved means of intellectual control over their complex system development and that formal methods can meet this need. To this end, the International Survey of Industrial Applications of Formal Methods concluded and recommended: The current educational base in the US is weak in teaching formal methods in the context of software engineering . . . There is a clear need for improved integration of formal methods techniques with other software engineering practices[2]There exists a number of articles in the current literature expressing the belief that the current educational program offered for a computer science degree does not stress the fundamental mathematical and engineering principles that should form the basis of software engineering[3,4,5,6]. theory learned in mathematics and science classes is applied in other engineering classes, but unfortunately has not been applied in software engineering. inability to apply logic in practical circumstances prevents the student from doing the systematic analysis necessary to solve practical problems.For these reasons, it is desirable to include the definition and application of a formal method into the undergraduate curriculum with the goal of increasing the complex problem solving skills of the software engineer. Formal analysis should be introduced early into the undergraduate curriculum to ensure substantial learning, use, and training in formal methods application." @default.
- W2155236304 created "2016-06-24" @default.
- W2155236304 creator A5005161974 @default.
- W2155236304 creator A5049073875 @default.
- W2155236304 creator A5080725087 @default.
- W2155236304 date "2005-08-25" @default.
- W2155236304 modified "2023-09-25" @default.
- W2155236304 title "Teaching formal methods early in the software engineering cirriculum" @default.
- W2155236304 cites W1525223041 @default.
- W2155236304 cites W2008673589 @default.
- W2155236304 cites W2063598889 @default.
- W2155236304 cites W2073742092 @default.
- W2155236304 cites W2075680193 @default.
- W2155236304 doi "https://doi.org/10.1109/csee.2000.827022" @default.
- W2155236304 hasPublicationYear "2005" @default.
- W2155236304 type Work @default.
- W2155236304 sameAs 2155236304 @default.
- W2155236304 citedByCount "1" @default.
- W2155236304 crossrefType "proceedings-article" @default.
- W2155236304 hasAuthorship W2155236304A5005161974 @default.
- W2155236304 hasAuthorship W2155236304A5049073875 @default.
- W2155236304 hasAuthorship W2155236304A5080725087 @default.
- W2155236304 hasConcept C110354214 @default.
- W2155236304 hasConcept C115903868 @default.
- W2155236304 hasConcept C127413603 @default.
- W2155236304 hasConcept C15744967 @default.
- W2155236304 hasConcept C182500959 @default.
- W2155236304 hasConcept C186846655 @default.
- W2155236304 hasConcept C19417346 @default.
- W2155236304 hasConcept C199360897 @default.
- W2155236304 hasConcept C2777904410 @default.
- W2155236304 hasConcept C41008148 @default.
- W2155236304 hasConcept C47177190 @default.
- W2155236304 hasConcept C529173508 @default.
- W2155236304 hasConcept C75606506 @default.
- W2155236304 hasConceptScore W2155236304C110354214 @default.
- W2155236304 hasConceptScore W2155236304C115903868 @default.
- W2155236304 hasConceptScore W2155236304C127413603 @default.
- W2155236304 hasConceptScore W2155236304C15744967 @default.
- W2155236304 hasConceptScore W2155236304C182500959 @default.
- W2155236304 hasConceptScore W2155236304C186846655 @default.
- W2155236304 hasConceptScore W2155236304C19417346 @default.
- W2155236304 hasConceptScore W2155236304C199360897 @default.
- W2155236304 hasConceptScore W2155236304C2777904410 @default.
- W2155236304 hasConceptScore W2155236304C41008148 @default.
- W2155236304 hasConceptScore W2155236304C47177190 @default.
- W2155236304 hasConceptScore W2155236304C529173508 @default.
- W2155236304 hasConceptScore W2155236304C75606506 @default.
- W2155236304 hasLocation W21552363041 @default.
- W2155236304 hasOpenAccess W2155236304 @default.
- W2155236304 hasPrimaryLocation W21552363041 @default.
- W2155236304 hasRelatedWork W134650165 @default.
- W2155236304 hasRelatedWork W1586530982 @default.
- W2155236304 hasRelatedWork W1914318296 @default.
- W2155236304 hasRelatedWork W1977526323 @default.
- W2155236304 hasRelatedWork W1991229184 @default.
- W2155236304 hasRelatedWork W2035407614 @default.
- W2155236304 hasRelatedWork W2057590346 @default.
- W2155236304 hasRelatedWork W2106683263 @default.
- W2155236304 hasRelatedWork W2108476560 @default.
- W2155236304 hasRelatedWork W2124623505 @default.
- W2155236304 hasRelatedWork W2131132121 @default.
- W2155236304 hasRelatedWork W2132172118 @default.
- W2155236304 hasRelatedWork W2186532739 @default.
- W2155236304 hasRelatedWork W2346790846 @default.
- W2155236304 hasRelatedWork W2548714451 @default.
- W2155236304 hasRelatedWork W2566194978 @default.
- W2155236304 hasRelatedWork W3037616453 @default.
- W2155236304 hasRelatedWork W756025981 @default.
- W2155236304 hasRelatedWork W1859951550 @default.
- W2155236304 hasRelatedWork W2113706091 @default.
- W2155236304 isParatext "false" @default.
- W2155236304 isRetracted "false" @default.
- W2155236304 magId "2155236304" @default.
- W2155236304 workType "article" @default.