Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024060140> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2024060140 abstract "In a first course in formal methods for software engineers, the emphasis on the topic of logic should be on using (first-order predicate) logic to specify and formally describe properties. In this paper, we suggest using ERDs (Entity-Relationship Diagrams) as support for formalization exercises. Starting from graphical descriptions (ERDs) and textual informal specification of various constraints, students have to produce an equivalent textual and formal specification. We present the notation we use in our course (Spec), some heuristics to obtain the formal concepts from ERDs and a small example." @default.
- W2024060140 created "2016-06-24" @default.
- W2024060140 creator A5080766325 @default.
- W2024060140 date "1999-03-01" @default.
- W2024060140 modified "2023-10-16" @default.
- W2024060140 title "Exercises for teaching logic in a formal methods course" @default.
- W2024060140 cites W1964762971 @default.
- W2024060140 cites W2945526390 @default.
- W2024060140 doi "https://doi.org/10.1145/299649.299698" @default.
- W2024060140 hasPublicationYear "1999" @default.
- W2024060140 type Work @default.
- W2024060140 sameAs 2024060140 @default.
- W2024060140 citedByCount "2" @default.
- W2024060140 crossrefType "proceedings-article" @default.
- W2024060140 hasAuthorship W2024060140A5080766325 @default.
- W2024060140 hasBestOaLocation W20240601401 @default.
- W2024060140 hasConcept C100481476 @default.
- W2024060140 hasConcept C102993220 @default.
- W2024060140 hasConcept C111498074 @default.
- W2024060140 hasConcept C111919701 @default.
- W2024060140 hasConcept C116253237 @default.
- W2024060140 hasConcept C127705205 @default.
- W2024060140 hasConcept C146072743 @default.
- W2024060140 hasConcept C19689857 @default.
- W2024060140 hasConcept C199360897 @default.
- W2024060140 hasConcept C33923547 @default.
- W2024060140 hasConcept C41008148 @default.
- W2024060140 hasConcept C45357846 @default.
- W2024060140 hasConcept C75606506 @default.
- W2024060140 hasConcept C80444323 @default.
- W2024060140 hasConcept C94375191 @default.
- W2024060140 hasConceptScore W2024060140C100481476 @default.
- W2024060140 hasConceptScore W2024060140C102993220 @default.
- W2024060140 hasConceptScore W2024060140C111498074 @default.
- W2024060140 hasConceptScore W2024060140C111919701 @default.
- W2024060140 hasConceptScore W2024060140C116253237 @default.
- W2024060140 hasConceptScore W2024060140C127705205 @default.
- W2024060140 hasConceptScore W2024060140C146072743 @default.
- W2024060140 hasConceptScore W2024060140C19689857 @default.
- W2024060140 hasConceptScore W2024060140C199360897 @default.
- W2024060140 hasConceptScore W2024060140C33923547 @default.
- W2024060140 hasConceptScore W2024060140C41008148 @default.
- W2024060140 hasConceptScore W2024060140C45357846 @default.
- W2024060140 hasConceptScore W2024060140C75606506 @default.
- W2024060140 hasConceptScore W2024060140C80444323 @default.
- W2024060140 hasConceptScore W2024060140C94375191 @default.
- W2024060140 hasLocation W20240601401 @default.
- W2024060140 hasOpenAccess W2024060140 @default.
- W2024060140 hasPrimaryLocation W20240601401 @default.
- W2024060140 hasRelatedWork W1524361563 @default.
- W2024060140 hasRelatedWork W1591156284 @default.
- W2024060140 hasRelatedWork W2045204345 @default.
- W2024060140 hasRelatedWork W2156223462 @default.
- W2024060140 hasRelatedWork W2165949574 @default.
- W2024060140 hasRelatedWork W2240208030 @default.
- W2024060140 hasRelatedWork W2353178143 @default.
- W2024060140 hasRelatedWork W2576260943 @default.
- W2024060140 hasRelatedWork W2897842245 @default.
- W2024060140 hasRelatedWork W3097647232 @default.
- W2024060140 isParatext "false" @default.
- W2024060140 isRetracted "false" @default.
- W2024060140 magId "2024060140" @default.
- W2024060140 workType "article" @default.