Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567147371> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W1567147371 endingPage "166" @default.
- W1567147371 startingPage "152" @default.
- W1567147371 abstract "Formal Specifications become more and more important in the development of software, especially, but not only in the area of high integrity systems. Testing as a method to validate the functionality of a system against the specification will keep its justification also in a development process using formal specifications." @default.
- W1567147371 created "2016-06-24" @default.
- W1567147371 creator A5015799337 @default.
- W1567147371 date "1995-01-01" @default.
- W1567147371 modified "2023-09-25" @default.
- W1567147371 title "Improving software tests using Z Specifications" @default.
- W1567147371 cites W1495194932 @default.
- W1567147371 cites W1542040340 @default.
- W1567147371 cites W1787500456 @default.
- W1567147371 cites W1889835726 @default.
- W1567147371 cites W2052603522 @default.
- W1567147371 cites W2059204751 @default.
- W1567147371 doi "https://doi.org/10.1007/3-540-60271-2_118" @default.
- W1567147371 hasPublicationYear "1995" @default.
- W1567147371 type Work @default.
- W1567147371 sameAs 1567147371 @default.
- W1567147371 citedByCount "56" @default.
- W1567147371 countsByYear W15671473712012 @default.
- W1567147371 countsByYear W15671473712013 @default.
- W1567147371 countsByYear W15671473712014 @default.
- W1567147371 countsByYear W15671473712015 @default.
- W1567147371 countsByYear W15671473712016 @default.
- W1567147371 countsByYear W15671473712017 @default.
- W1567147371 countsByYear W15671473712018 @default.
- W1567147371 crossrefType "book-chapter" @default.
- W1567147371 hasAuthorship W1567147371A5015799337 @default.
- W1567147371 hasConcept C115903868 @default.
- W1567147371 hasConcept C199360897 @default.
- W1567147371 hasConcept C2777904410 @default.
- W1567147371 hasConcept C2984328558 @default.
- W1567147371 hasConcept C41008148 @default.
- W1567147371 hasConceptScore W1567147371C115903868 @default.
- W1567147371 hasConceptScore W1567147371C199360897 @default.
- W1567147371 hasConceptScore W1567147371C2777904410 @default.
- W1567147371 hasConceptScore W1567147371C2984328558 @default.
- W1567147371 hasConceptScore W1567147371C41008148 @default.
- W1567147371 hasLocation W15671473711 @default.
- W1567147371 hasOpenAccess W1567147371 @default.
- W1567147371 hasPrimaryLocation W15671473711 @default.
- W1567147371 hasRelatedWork W1527862632 @default.
- W1567147371 hasRelatedWork W2112962394 @default.
- W1567147371 hasRelatedWork W2118300983 @default.
- W1567147371 hasRelatedWork W2135396778 @default.
- W1567147371 hasRelatedWork W2166247150 @default.
- W1567147371 hasRelatedWork W2382501300 @default.
- W1567147371 hasRelatedWork W2740990710 @default.
- W1567147371 hasRelatedWork W3137189469 @default.
- W1567147371 hasRelatedWork W4235530921 @default.
- W1567147371 hasRelatedWork W4243252198 @default.
- W1567147371 isParatext "false" @default.
- W1567147371 isRetracted "false" @default.
- W1567147371 magId "1567147371" @default.
- W1567147371 workType "book-chapter" @default.