Matches in SemOpenAlex for { <https://semopenalex.org/work/W1958459002> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1958459002 abstract "Telephone services and features provide a challenging application domain for the development and the validation of real-time software. This paper reviews our experiment on incremental validation of services and features which has been carried out in collaboration with CNET-France Telecom. Because of the well-known feature interaction problem, telephone software can be considered as safety-critical software, and must exhibit qualities such as correctness and safety with very high assurance. For this class of software, the requirements engineering phase usually ends in a formal specification which is provided in some logic; therefore, the validation can be performed in a very rigorous and formal way using proof tools and/or specification-based testing techniques. Much critical software is reactive: it continuously reacts with its environment at its own speed. Therefore, it must satisfy some strong temporal causalities between external events, in order to bring about or maintain the desired relationships in the environment. We have developed a new approach for specification-based testing of synchronous reactive software and its associated environment. The specification language is LUSTRE, which is both a temporal logic and a synchronous data-flow programming language. We have successfully modelled a telecommunication system as a reactive software system; this allowed us to extensively apply our testing approach to this type of software. A synchronous model of a telecommunication system is described. A specification of the model is then given and the validation work is presented." @default.
- W1958459002 created "2016-06-24" @default.
- W1958459002 creator A5056667816 @default.
- W1958459002 creator A5064272853 @default.
- W1958459002 creator A5069318042 @default.
- W1958459002 date "2002-11-27" @default.
- W1958459002 modified "2023-09-24" @default.
- W1958459002 title "Telecommunication software validation using a synchronous approach" @default.
- W1958459002 cites W1514073466 @default.
- W1958459002 cites W1594982281 @default.
- W1958459002 cites W1606662178 @default.
- W1958459002 cites W1663179985 @default.
- W1958459002 cites W1995969393 @default.
- W1958459002 cites W2093203852 @default.
- W1958459002 cites W2147253199 @default.
- W1958459002 cites W2182562507 @default.
- W1958459002 cites W37556547 @default.
- W1958459002 cites W77453707 @default.
- W1958459002 cites W78382735 @default.
- W1958459002 doi "https://doi.org/10.1109/asset.1998.688241" @default.
- W1958459002 hasPublicationYear "2002" @default.
- W1958459002 type Work @default.
- W1958459002 sameAs 1958459002 @default.
- W1958459002 citedByCount "0" @default.
- W1958459002 crossrefType "proceedings-article" @default.
- W1958459002 hasAuthorship W1958459002A5056667816 @default.
- W1958459002 hasAuthorship W1958459002A5064272853 @default.
- W1958459002 hasAuthorship W1958459002A5069318042 @default.
- W1958459002 hasConcept C102780508 @default.
- W1958459002 hasConcept C115903868 @default.
- W1958459002 hasConcept C116253237 @default.
- W1958459002 hasConcept C127413603 @default.
- W1958459002 hasConcept C186846655 @default.
- W1958459002 hasConcept C199360897 @default.
- W1958459002 hasConcept C201677973 @default.
- W1958459002 hasConcept C21547014 @default.
- W1958459002 hasConcept C2777904410 @default.
- W1958459002 hasConcept C41008148 @default.
- W1958459002 hasConcept C48002344 @default.
- W1958459002 hasConcept C529173508 @default.
- W1958459002 hasConcept C55439883 @default.
- W1958459002 hasConcept C75606506 @default.
- W1958459002 hasConceptScore W1958459002C102780508 @default.
- W1958459002 hasConceptScore W1958459002C115903868 @default.
- W1958459002 hasConceptScore W1958459002C116253237 @default.
- W1958459002 hasConceptScore W1958459002C127413603 @default.
- W1958459002 hasConceptScore W1958459002C186846655 @default.
- W1958459002 hasConceptScore W1958459002C199360897 @default.
- W1958459002 hasConceptScore W1958459002C201677973 @default.
- W1958459002 hasConceptScore W1958459002C21547014 @default.
- W1958459002 hasConceptScore W1958459002C2777904410 @default.
- W1958459002 hasConceptScore W1958459002C41008148 @default.
- W1958459002 hasConceptScore W1958459002C48002344 @default.
- W1958459002 hasConceptScore W1958459002C529173508 @default.
- W1958459002 hasConceptScore W1958459002C55439883 @default.
- W1958459002 hasConceptScore W1958459002C75606506 @default.
- W1958459002 hasLocation W19584590021 @default.
- W1958459002 hasOpenAccess W1958459002 @default.
- W1958459002 hasPrimaryLocation W19584590021 @default.
- W1958459002 hasRelatedWork W1490677 @default.
- W1958459002 hasRelatedWork W1503502818 @default.
- W1958459002 hasRelatedWork W1527042423 @default.
- W1958459002 hasRelatedWork W1534283474 @default.
- W1958459002 hasRelatedWork W1566315049 @default.
- W1958459002 hasRelatedWork W1583860132 @default.
- W1958459002 hasRelatedWork W1585850508 @default.
- W1958459002 hasRelatedWork W2040378206 @default.
- W1958459002 hasRelatedWork W2055146545 @default.
- W1958459002 hasRelatedWork W2076722937 @default.
- W1958459002 hasRelatedWork W2276180638 @default.
- W1958459002 hasRelatedWork W2289989886 @default.
- W1958459002 hasRelatedWork W2327257661 @default.
- W1958459002 hasRelatedWork W2336882285 @default.
- W1958459002 hasRelatedWork W2471467496 @default.
- W1958459002 hasRelatedWork W2507138404 @default.
- W1958459002 hasRelatedWork W2576157757 @default.
- W1958459002 hasRelatedWork W2801971356 @default.
- W1958459002 hasRelatedWork W3167070212 @default.
- W1958459002 hasRelatedWork W525018 @default.
- W1958459002 isParatext "false" @default.
- W1958459002 isRetracted "false" @default.
- W1958459002 magId "1958459002" @default.
- W1958459002 workType "article" @default.