Matches in SemOpenAlex for { <https://semopenalex.org/work/W2895875039> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2895875039 abstract "In this article, we present a requirements engineering curriculum in the context of an undergraduate course on software engineering for students of computer science. The novelty of our approach is a broadened scope. We complement the discussion of established notions and concepts with the concept of formal methods, i.e., specification notations with precisely defined, formal syntax and semantics. To this end, we have chosen one very simple formal notation, the well-known decision tables, which allows us to give a comprehensive definition of syntax and semantics, and precise notions of completeness, consistency, vacuity, etc. in one lecture. The didactical idea is that if students are exposed to one comprehensive example, it should be significantly easier to adapt to one of the numerous formal specification notations in use (or about to be in use) in their future workplace. To complete the picture of the spectrum of formal notations, the curriculum includes Live Sequence Charts as a more expressive formal notation (which comes at the price of a more complex definition), again with comprehensive definition of syntax and semantics. The effectiveness of our curriculum is evaluated on empirical data from three seasons of teaching this curriculum." @default.
- W2895875039 created "2018-10-26" @default.
- W2895875039 creator A5017966584 @default.
- W2895875039 date "2018-08-01" @default.
- W2895875039 modified "2023-10-02" @default.
- W2895875039 title "An Undergraduate Requirements Engineering Curriculum with Formal Methods" @default.
- W2895875039 cites W1514239202 @default.
- W2895875039 cites W2328916847 @default.
- W2895875039 cites W2481726056 @default.
- W2895875039 cites W2501313306 @default.
- W2895875039 cites W4244729347 @default.
- W2895875039 doi "https://doi.org/10.1109/reet.2018.00006" @default.
- W2895875039 hasPublicationYear "2018" @default.
- W2895875039 type Work @default.
- W2895875039 sameAs 2895875039 @default.
- W2895875039 citedByCount "7" @default.
- W2895875039 countsByYear W28958750392019 @default.
- W2895875039 countsByYear W28958750392020 @default.
- W2895875039 countsByYear W28958750392021 @default.
- W2895875039 countsByYear W28958750392022 @default.
- W2895875039 crossrefType "proceedings-article" @default.
- W2895875039 hasAuthorship W2895875039A5017966584 @default.
- W2895875039 hasConcept C115903868 @default.
- W2895875039 hasConcept C116253237 @default.
- W2895875039 hasConcept C146499914 @default.
- W2895875039 hasConcept C154945302 @default.
- W2895875039 hasConcept C15744967 @default.
- W2895875039 hasConcept C184337299 @default.
- W2895875039 hasConcept C19417346 @default.
- W2895875039 hasConcept C199360897 @default.
- W2895875039 hasConcept C33923547 @default.
- W2895875039 hasConcept C41008148 @default.
- W2895875039 hasConcept C45357846 @default.
- W2895875039 hasConcept C47177190 @default.
- W2895875039 hasConcept C60048249 @default.
- W2895875039 hasConcept C75606506 @default.
- W2895875039 hasConcept C94375191 @default.
- W2895875039 hasConceptScore W2895875039C115903868 @default.
- W2895875039 hasConceptScore W2895875039C116253237 @default.
- W2895875039 hasConceptScore W2895875039C146499914 @default.
- W2895875039 hasConceptScore W2895875039C154945302 @default.
- W2895875039 hasConceptScore W2895875039C15744967 @default.
- W2895875039 hasConceptScore W2895875039C184337299 @default.
- W2895875039 hasConceptScore W2895875039C19417346 @default.
- W2895875039 hasConceptScore W2895875039C199360897 @default.
- W2895875039 hasConceptScore W2895875039C33923547 @default.
- W2895875039 hasConceptScore W2895875039C41008148 @default.
- W2895875039 hasConceptScore W2895875039C45357846 @default.
- W2895875039 hasConceptScore W2895875039C47177190 @default.
- W2895875039 hasConceptScore W2895875039C60048249 @default.
- W2895875039 hasConceptScore W2895875039C75606506 @default.
- W2895875039 hasConceptScore W2895875039C94375191 @default.
- W2895875039 hasLocation W28958750391 @default.
- W2895875039 hasOpenAccess W2895875039 @default.
- W2895875039 hasPrimaryLocation W28958750391 @default.
- W2895875039 hasRelatedWork W1490183133 @default.
- W2895875039 hasRelatedWork W1502188990 @default.
- W2895875039 hasRelatedWork W1541085282 @default.
- W2895875039 hasRelatedWork W1562467008 @default.
- W2895875039 hasRelatedWork W2039091235 @default.
- W2895875039 hasRelatedWork W2098059862 @default.
- W2895875039 hasRelatedWork W2121507724 @default.
- W2895875039 hasRelatedWork W27605384 @default.
- W2895875039 hasRelatedWork W4232794203 @default.
- W2895875039 hasRelatedWork W4255157163 @default.
- W2895875039 isParatext "false" @default.
- W2895875039 isRetracted "false" @default.
- W2895875039 magId "2895875039" @default.
- W2895875039 workType "article" @default.