Matches in SemOpenAlex for { <https://semopenalex.org/work/W1557740222> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1557740222 startingPage "190" @default.
- W1557740222 abstract "During the last, few years' lightweight approaches to formal development methods have been proposed in order to facilitate the technological transfer of formal methods. ?Lightweight? means that a precise and unambiguous formal specification language is used in order to raise the quality of a system's description, without focusing on proofs [1]. This article presents the results and experiences gained in an industrial project where VDM ++ , an object oriented extension of the Vienna Development Method, has been applied in such a lightweight manner. In the joint project of the Austrian company Frequent is and the Technical University Graz [2], a safety critical voice communication system (VCS) for air-traffic control has been specified and validated. It serves as the sole communication system between the pilots, the air-traffic control personnel at the tower, the ground personnel on the runways, other parties external to the airport and even other airports. During the formal specification of the VCS system a total number of 64 ambiguous, contradictory or incomplete issues have been detected in the various documents of the system. These issues have been summarized in a catalogue of questions. All of them have been resolved, supported by system experts." @default.
- W1557740222 created "2016-06-24" @default.
- W1557740222 creator A5009450062 @default.
- W1557740222 creator A5017597474 @default.
- W1557740222 date "2000-06-19" @default.
- W1557740222 modified "2023-09-26" @default.
- W1557740222 title "Requirements Validation of a Voice Communication System Used in Air Traffic Control" @default.
- W1557740222 hasPublicationYear "2000" @default.
- W1557740222 type Work @default.
- W1557740222 sameAs 1557740222 @default.
- W1557740222 citedByCount "0" @default.
- W1557740222 crossrefType "proceedings-article" @default.
- W1557740222 hasAuthorship W1557740222A5009450062 @default.
- W1557740222 hasAuthorship W1557740222A5017597474 @default.
- W1557740222 hasConcept C10138342 @default.
- W1557740222 hasConcept C108710211 @default.
- W1557740222 hasConcept C115903868 @default.
- W1557740222 hasConcept C116253237 @default.
- W1557740222 hasConcept C119599485 @default.
- W1557740222 hasConcept C127413603 @default.
- W1557740222 hasConcept C146978453 @default.
- W1557740222 hasConcept C154945302 @default.
- W1557740222 hasConcept C162324750 @default.
- W1557740222 hasConcept C166957645 @default.
- W1557740222 hasConcept C166961238 @default.
- W1557740222 hasConcept C17500928 @default.
- W1557740222 hasConcept C182306322 @default.
- W1557740222 hasConcept C22212356 @default.
- W1557740222 hasConcept C2524010 @default.
- W1557740222 hasConcept C2775924081 @default.
- W1557740222 hasConcept C33923547 @default.
- W1557740222 hasConcept C41008148 @default.
- W1557740222 hasConcept C74448152 @default.
- W1557740222 hasConcept C75606506 @default.
- W1557740222 hasConcept C81155309 @default.
- W1557740222 hasConcept C95457728 @default.
- W1557740222 hasConceptScore W1557740222C10138342 @default.
- W1557740222 hasConceptScore W1557740222C108710211 @default.
- W1557740222 hasConceptScore W1557740222C115903868 @default.
- W1557740222 hasConceptScore W1557740222C116253237 @default.
- W1557740222 hasConceptScore W1557740222C119599485 @default.
- W1557740222 hasConceptScore W1557740222C127413603 @default.
- W1557740222 hasConceptScore W1557740222C146978453 @default.
- W1557740222 hasConceptScore W1557740222C154945302 @default.
- W1557740222 hasConceptScore W1557740222C162324750 @default.
- W1557740222 hasConceptScore W1557740222C166957645 @default.
- W1557740222 hasConceptScore W1557740222C166961238 @default.
- W1557740222 hasConceptScore W1557740222C17500928 @default.
- W1557740222 hasConceptScore W1557740222C182306322 @default.
- W1557740222 hasConceptScore W1557740222C22212356 @default.
- W1557740222 hasConceptScore W1557740222C2524010 @default.
- W1557740222 hasConceptScore W1557740222C2775924081 @default.
- W1557740222 hasConceptScore W1557740222C33923547 @default.
- W1557740222 hasConceptScore W1557740222C41008148 @default.
- W1557740222 hasConceptScore W1557740222C74448152 @default.
- W1557740222 hasConceptScore W1557740222C75606506 @default.
- W1557740222 hasConceptScore W1557740222C81155309 @default.
- W1557740222 hasConceptScore W1557740222C95457728 @default.
- W1557740222 hasLocation W15577402221 @default.
- W1557740222 hasOpenAccess W1557740222 @default.
- W1557740222 hasPrimaryLocation W15577402221 @default.
- W1557740222 hasRelatedWork W1598325867 @default.
- W1557740222 hasRelatedWork W163740313 @default.
- W1557740222 hasRelatedWork W1837280341 @default.
- W1557740222 hasRelatedWork W1963943145 @default.
- W1557740222 hasRelatedWork W1979227409 @default.
- W1557740222 hasRelatedWork W2048658932 @default.
- W1557740222 hasRelatedWork W2120373110 @default.
- W1557740222 hasRelatedWork W2133534940 @default.
- W1557740222 hasRelatedWork W2148029421 @default.
- W1557740222 hasRelatedWork W2186450507 @default.
- W1557740222 hasRelatedWork W2334177299 @default.
- W1557740222 hasRelatedWork W2336176538 @default.
- W1557740222 hasRelatedWork W2383776266 @default.
- W1557740222 hasRelatedWork W24691558 @default.
- W1557740222 hasRelatedWork W2616994845 @default.
- W1557740222 hasRelatedWork W3005658473 @default.
- W1557740222 hasRelatedWork W3021917135 @default.
- W1557740222 hasRelatedWork W3032981050 @default.
- W1557740222 hasRelatedWork W594150719 @default.
- W1557740222 hasRelatedWork W2181196764 @default.
- W1557740222 isParatext "false" @default.
- W1557740222 isRetracted "false" @default.
- W1557740222 magId "1557740222" @default.
- W1557740222 workType "article" @default.