Matches in SemOpenAlex for { <https://semopenalex.org/work/W2055629453> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2055629453 endingPage "444" @default.
- W2055629453 startingPage "433" @default.
- W2055629453 abstract "Formal specifications (algebraic) are given for an informally specified small subsystem of the Change Management Automatic Build System. A comparison of the two specifications shows that although informal specifications are easier to read, the formal specifications are clearer, specify operation domains precisely, define the interaction between the operations, show the incompleteness of the informal specifications and are devoid of implementation details. The formal specifications pointed to the need of a function not in the subsystem whose inclusion would improve the system design. This inclusion is now being considered. However, the use of algebraic specifications requires practice and experience. Although the formal specification of large systems is somewhat impractical at the moment, experience in using formal specifications can lead to better informal specifications." @default.
- W2055629453 created "2016-06-24" @default.
- W2055629453 creator A5052917957 @default.
- W2055629453 date "1982-05-01" @default.
- W2055629453 modified "2023-09-25" @default.
- W2055629453 title "Specifications: Formal and informal—a case study" @default.
- W2055629453 cites W2015874281 @default.
- W2055629453 cites W2134338128 @default.
- W2055629453 cites W2134984189 @default.
- W2055629453 doi "https://doi.org/10.1002/spe.4380120505" @default.
- W2055629453 hasPublicationYear "1982" @default.
- W2055629453 type Work @default.
- W2055629453 sameAs 2055629453 @default.
- W2055629453 citedByCount "26" @default.
- W2055629453 countsByYear W20556294532013 @default.
- W2055629453 countsByYear W20556294532014 @default.
- W2055629453 crossrefType "journal-article" @default.
- W2055629453 hasAuthorship W2055629453A5052917957 @default.
- W2055629453 hasConcept C102315432 @default.
- W2055629453 hasConcept C111498074 @default.
- W2055629453 hasConcept C115903868 @default.
- W2055629453 hasConcept C116253237 @default.
- W2055629453 hasConcept C134306372 @default.
- W2055629453 hasConcept C14036430 @default.
- W2055629453 hasConcept C14331664 @default.
- W2055629453 hasConcept C146072743 @default.
- W2055629453 hasConcept C199360897 @default.
- W2055629453 hasConcept C33923547 @default.
- W2055629453 hasConcept C41008148 @default.
- W2055629453 hasConcept C75606506 @default.
- W2055629453 hasConcept C78458016 @default.
- W2055629453 hasConcept C86803240 @default.
- W2055629453 hasConcept C9376300 @default.
- W2055629453 hasConceptScore W2055629453C102315432 @default.
- W2055629453 hasConceptScore W2055629453C111498074 @default.
- W2055629453 hasConceptScore W2055629453C115903868 @default.
- W2055629453 hasConceptScore W2055629453C116253237 @default.
- W2055629453 hasConceptScore W2055629453C134306372 @default.
- W2055629453 hasConceptScore W2055629453C14036430 @default.
- W2055629453 hasConceptScore W2055629453C14331664 @default.
- W2055629453 hasConceptScore W2055629453C146072743 @default.
- W2055629453 hasConceptScore W2055629453C199360897 @default.
- W2055629453 hasConceptScore W2055629453C33923547 @default.
- W2055629453 hasConceptScore W2055629453C41008148 @default.
- W2055629453 hasConceptScore W2055629453C75606506 @default.
- W2055629453 hasConceptScore W2055629453C78458016 @default.
- W2055629453 hasConceptScore W2055629453C86803240 @default.
- W2055629453 hasConceptScore W2055629453C9376300 @default.
- W2055629453 hasIssue "5" @default.
- W2055629453 hasLocation W20556294531 @default.
- W2055629453 hasOpenAccess W2055629453 @default.
- W2055629453 hasPrimaryLocation W20556294531 @default.
- W2055629453 hasRelatedWork W1520778375 @default.
- W2055629453 hasRelatedWork W1921676103 @default.
- W2055629453 hasRelatedWork W1988166986 @default.
- W2055629453 hasRelatedWork W2045204345 @default.
- W2055629453 hasRelatedWork W2123440589 @default.
- W2055629453 hasRelatedWork W2143067915 @default.
- W2055629453 hasRelatedWork W2156223462 @default.
- W2055629453 hasRelatedWork W2234831441 @default.
- W2055629453 hasRelatedWork W2256847765 @default.
- W2055629453 hasRelatedWork W2897842245 @default.
- W2055629453 hasVolume "12" @default.
- W2055629453 isParatext "false" @default.
- W2055629453 isRetracted "false" @default.
- W2055629453 magId "2055629453" @default.
- W2055629453 workType "article" @default.