Matches in SemOpenAlex for { <https://semopenalex.org/work/W1507639095> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1507639095 endingPage "394" @default.
- W1507639095 startingPage "385" @default.
- W1507639095 abstract "In the IBM Boeblingen Laboratory some software was experimentally developed in the framework of a traditional life-cycle model where precise semantics were introduced very early in the development process through the use of a formal specification method.As a typical example for these ongoing efforts, the development of a medium-size software product is presented where a first informal global data flow specification was described using simple graphical conventions. The result of this development step was refined and formalized using the formal specification technique proposed in [JON80]. The specification and design language SLAN-4 [BEI83] was used to document this specification. The experiences are outlined which were gained by this development approach." @default.
- W1507639095 created "2016-06-24" @default.
- W1507639095 creator A5047956771 @default.
- W1507639095 date "1985-01-01" @default.
- W1507639095 modified "2023-09-25" @default.
- W1507639095 title "Formalized software development in an industrial environment" @default.
- W1507639095 cites W1513344286 @default.
- W1507639095 cites W1585197271 @default.
- W1507639095 cites W2026370261 @default.
- W1507639095 cites W2079783106 @default.
- W1507639095 cites W2132764576 @default.
- W1507639095 doi "https://doi.org/10.1007/3-540-15199-0_25" @default.
- W1507639095 hasPublicationYear "1985" @default.
- W1507639095 type Work @default.
- W1507639095 sameAs 1507639095 @default.
- W1507639095 citedByCount "0" @default.
- W1507639095 crossrefType "book-chapter" @default.
- W1507639095 hasAuthorship W1507639095A5047956771 @default.
- W1507639095 hasBestOaLocation W15076390951 @default.
- W1507639095 hasConcept C115903868 @default.
- W1507639095 hasConcept C116253237 @default.
- W1507639095 hasConcept C127413603 @default.
- W1507639095 hasConcept C134306372 @default.
- W1507639095 hasConcept C171250308 @default.
- W1507639095 hasConcept C184337299 @default.
- W1507639095 hasConcept C192562407 @default.
- W1507639095 hasConcept C199360897 @default.
- W1507639095 hasConcept C201677973 @default.
- W1507639095 hasConcept C201995342 @default.
- W1507639095 hasConcept C2776542497 @default.
- W1507639095 hasConcept C2777904410 @default.
- W1507639095 hasConcept C33923547 @default.
- W1507639095 hasConcept C41008148 @default.
- W1507639095 hasConcept C489000 @default.
- W1507639095 hasConcept C529173508 @default.
- W1507639095 hasConcept C70388272 @default.
- W1507639095 hasConcept C75606506 @default.
- W1507639095 hasConcept C77088390 @default.
- W1507639095 hasConcept C90069079 @default.
- W1507639095 hasConceptScore W1507639095C115903868 @default.
- W1507639095 hasConceptScore W1507639095C116253237 @default.
- W1507639095 hasConceptScore W1507639095C127413603 @default.
- W1507639095 hasConceptScore W1507639095C134306372 @default.
- W1507639095 hasConceptScore W1507639095C171250308 @default.
- W1507639095 hasConceptScore W1507639095C184337299 @default.
- W1507639095 hasConceptScore W1507639095C192562407 @default.
- W1507639095 hasConceptScore W1507639095C199360897 @default.
- W1507639095 hasConceptScore W1507639095C201677973 @default.
- W1507639095 hasConceptScore W1507639095C201995342 @default.
- W1507639095 hasConceptScore W1507639095C2776542497 @default.
- W1507639095 hasConceptScore W1507639095C2777904410 @default.
- W1507639095 hasConceptScore W1507639095C33923547 @default.
- W1507639095 hasConceptScore W1507639095C41008148 @default.
- W1507639095 hasConceptScore W1507639095C489000 @default.
- W1507639095 hasConceptScore W1507639095C529173508 @default.
- W1507639095 hasConceptScore W1507639095C70388272 @default.
- W1507639095 hasConceptScore W1507639095C75606506 @default.
- W1507639095 hasConceptScore W1507639095C77088390 @default.
- W1507639095 hasConceptScore W1507639095C90069079 @default.
- W1507639095 hasLocation W15076390951 @default.
- W1507639095 hasOpenAccess W1507639095 @default.
- W1507639095 hasPrimaryLocation W15076390951 @default.
- W1507639095 hasRelatedWork W1507639095 @default.
- W1507639095 hasRelatedWork W1513140821 @default.
- W1507639095 hasRelatedWork W1539167095 @default.
- W1507639095 hasRelatedWork W1541085282 @default.
- W1507639095 hasRelatedWork W1551207508 @default.
- W1507639095 hasRelatedWork W1881220596 @default.
- W1507639095 hasRelatedWork W1964436108 @default.
- W1507639095 hasRelatedWork W2156223462 @default.
- W1507639095 hasRelatedWork W2160119094 @default.
- W1507639095 hasRelatedWork W2898425611 @default.
- W1507639095 isParatext "false" @default.
- W1507639095 isRetracted "false" @default.
- W1507639095 magId "1507639095" @default.
- W1507639095 workType "book-chapter" @default.