Matches in SemOpenAlex for { <https://semopenalex.org/work/W430857908> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W430857908 endingPage "14" @default.
- W430857908 startingPage "8" @default.
- W430857908 abstract "The paper is concerned with the practical realities of using formal specifications in the implementation of complex systems, such as C3MIS, with the objective of ensuring safety or security. It first considers the question of what is meant by a formal specification, why formal specifications are increasingly being demanded in defence systems and why there appears to be a problem with achieving the objectives set for their use. The problems are discussed in more detail, with reference to a particular implementation project, although details have been simplified and modified for pedagogical and security reasons. Finally, the paper discusses what, in the author's view, is and is not practicable to expect from formal specifications in the near to medium term. >" @default.
- W430857908 created "2016-06-24" @default.
- W430857908 creator A5011107326 @default.
- W430857908 date "1989-05-02" @default.
- W430857908 modified "2023-09-23" @default.
- W430857908 title "Experience of implementation from a formal specification" @default.
- W430857908 hasPublicationYear "1989" @default.
- W430857908 type Work @default.
- W430857908 sameAs 430857908 @default.
- W430857908 citedByCount "0" @default.
- W430857908 crossrefType "journal-article" @default.
- W430857908 hasAuthorship W430857908A5011107326 @default.
- W430857908 hasConcept C102315432 @default.
- W430857908 hasConcept C111498074 @default.
- W430857908 hasConcept C112930515 @default.
- W430857908 hasConcept C115903868 @default.
- W430857908 hasConcept C116253237 @default.
- W430857908 hasConcept C121332964 @default.
- W430857908 hasConcept C14331664 @default.
- W430857908 hasConcept C144133560 @default.
- W430857908 hasConcept C177264268 @default.
- W430857908 hasConcept C199360897 @default.
- W430857908 hasConcept C41008148 @default.
- W430857908 hasConcept C61797465 @default.
- W430857908 hasConcept C62520636 @default.
- W430857908 hasConcept C75606506 @default.
- W430857908 hasConceptScore W430857908C102315432 @default.
- W430857908 hasConceptScore W430857908C111498074 @default.
- W430857908 hasConceptScore W430857908C112930515 @default.
- W430857908 hasConceptScore W430857908C115903868 @default.
- W430857908 hasConceptScore W430857908C116253237 @default.
- W430857908 hasConceptScore W430857908C121332964 @default.
- W430857908 hasConceptScore W430857908C14331664 @default.
- W430857908 hasConceptScore W430857908C144133560 @default.
- W430857908 hasConceptScore W430857908C177264268 @default.
- W430857908 hasConceptScore W430857908C199360897 @default.
- W430857908 hasConceptScore W430857908C41008148 @default.
- W430857908 hasConceptScore W430857908C61797465 @default.
- W430857908 hasConceptScore W430857908C62520636 @default.
- W430857908 hasConceptScore W430857908C75606506 @default.
- W430857908 hasLocation W4308579081 @default.
- W430857908 hasOpenAccess W430857908 @default.
- W430857908 hasPrimaryLocation W4308579081 @default.
- W430857908 hasRelatedWork W1528726871 @default.
- W430857908 hasRelatedWork W1553040004 @default.
- W430857908 hasRelatedWork W1601203870 @default.
- W430857908 hasRelatedWork W1965289615 @default.
- W430857908 hasRelatedWork W20028144 @default.
- W430857908 hasRelatedWork W2039430275 @default.
- W430857908 hasRelatedWork W2050308324 @default.
- W430857908 hasRelatedWork W2105614320 @default.
- W430857908 hasRelatedWork W2113805068 @default.
- W430857908 hasRelatedWork W2158860339 @default.
- W430857908 hasRelatedWork W2163022780 @default.
- W430857908 hasRelatedWork W2170656014 @default.
- W430857908 hasRelatedWork W2182675218 @default.
- W430857908 hasRelatedWork W2410095208 @default.
- W430857908 hasRelatedWork W2514561269 @default.
- W430857908 hasRelatedWork W2602600070 @default.
- W430857908 hasRelatedWork W3023046132 @default.
- W430857908 hasRelatedWork W3186717497 @default.
- W430857908 hasRelatedWork W970949390 @default.
- W430857908 hasRelatedWork W1565821952 @default.
- W430857908 isParatext "false" @default.
- W430857908 isRetracted "false" @default.
- W430857908 magId "430857908" @default.
- W430857908 workType "article" @default.