Matches in SemOpenAlex for { <https://semopenalex.org/work/W4241494725> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4241494725 endingPage "316" @default.
- W4241494725 startingPage "312" @default.
- W4241494725 abstract "This paper reports on a two-course sequence for undergraduate students that provides them with an intensive course in formal specification methods and a traditional software design course. The specification course provides an appreciation for the use of rigorous specification methods within the software lifecycle. The manual nature of developing a formal specification provides the appropriate justification for the projects in the software design course in which the students create useful tools to aid the development of a formal specification. Within the project course, the students developed the first prototype of a graphical editor for building Z specifications. We discuss the building of the editing tool and its integration into the software engineering curriculum." @default.
- W4241494725 created "2022-05-12" @default.
- W4241494725 creator A5088977884 @default.
- W4241494725 date "1995-03-15" @default.
- W4241494725 modified "2023-10-17" @default.
- W4241494725 title "Integrating a formal specification course with a software projects course via an editing tool" @default.
- W4241494725 cites W2012042196 @default.
- W4241494725 cites W2170486381 @default.
- W4241494725 cites W4214596062 @default.
- W4241494725 cites W4250483971 @default.
- W4241494725 cites W4251108993 @default.
- W4241494725 cites W4252715450 @default.
- W4241494725 doi "https://doi.org/10.1145/199691.199836" @default.
- W4241494725 hasPublicationYear "1995" @default.
- W4241494725 type Work @default.
- W4241494725 citedByCount "0" @default.
- W4241494725 crossrefType "journal-article" @default.
- W4241494725 hasAuthorship W4241494725A5088977884 @default.
- W4241494725 hasBestOaLocation W42414947251 @default.
- W4241494725 hasConcept C102780508 @default.
- W4241494725 hasConcept C115903868 @default.
- W4241494725 hasConcept C116253237 @default.
- W4241494725 hasConcept C127413603 @default.
- W4241494725 hasConcept C146978453 @default.
- W4241494725 hasConcept C186846655 @default.
- W4241494725 hasConcept C199360897 @default.
- W4241494725 hasConcept C2777552389 @default.
- W4241494725 hasConcept C2777904410 @default.
- W4241494725 hasConcept C41008148 @default.
- W4241494725 hasConcept C529173508 @default.
- W4241494725 hasConcept C75606506 @default.
- W4241494725 hasConcept C80291951 @default.
- W4241494725 hasConceptScore W4241494725C102780508 @default.
- W4241494725 hasConceptScore W4241494725C115903868 @default.
- W4241494725 hasConceptScore W4241494725C116253237 @default.
- W4241494725 hasConceptScore W4241494725C127413603 @default.
- W4241494725 hasConceptScore W4241494725C146978453 @default.
- W4241494725 hasConceptScore W4241494725C186846655 @default.
- W4241494725 hasConceptScore W4241494725C199360897 @default.
- W4241494725 hasConceptScore W4241494725C2777552389 @default.
- W4241494725 hasConceptScore W4241494725C2777904410 @default.
- W4241494725 hasConceptScore W4241494725C41008148 @default.
- W4241494725 hasConceptScore W4241494725C529173508 @default.
- W4241494725 hasConceptScore W4241494725C75606506 @default.
- W4241494725 hasConceptScore W4241494725C80291951 @default.
- W4241494725 hasIssue "1" @default.
- W4241494725 hasLocation W42414947251 @default.
- W4241494725 hasOpenAccess W4241494725 @default.
- W4241494725 hasPrimaryLocation W42414947251 @default.
- W4241494725 hasRelatedWork W1591736212 @default.
- W4241494725 hasRelatedWork W1911633385 @default.
- W4241494725 hasRelatedWork W2072171199 @default.
- W4241494725 hasRelatedWork W2116177699 @default.
- W4241494725 hasRelatedWork W2127984352 @default.
- W4241494725 hasRelatedWork W2138281007 @default.
- W4241494725 hasRelatedWork W2143813917 @default.
- W4241494725 hasRelatedWork W3048422056 @default.
- W4241494725 hasRelatedWork W38760930 @default.
- W4241494725 hasRelatedWork W4241494725 @default.
- W4241494725 hasVolume "27" @default.
- W4241494725 isParatext "false" @default.
- W4241494725 isRetracted "false" @default.
- W4241494725 workType "article" @default.