Matches in SemOpenAlex for { <https://semopenalex.org/work/W1504170657> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W1504170657 abstract "Cette these traite de la problematique de la generation de jeux de tests a partir d'une specification logicielle. En particulier nous nous interesserons au langage de specification CO-OPN(Concurrent Object-Oriented Petri Nets) [1, 2], base sur les reseaux algebriques etendus grâce a des mechanismes objets et de distribution. Pour traiter ce probleme nous avons du revoir le langage CO-OPN. En effet la semantique du langage ayant ete definie par iterations successives, celle-ci s'est averee inadaptee a la generation de jeux de tests. Nous proposons a travers notre travail une nouvelle version de CO-OPN ou la syntaxe et la semantique ont ete completement revues et qui integrent les travaux precedents ou des descriptions precises et formelles ont ete employes..." @default.
- W1504170657 created "2016-06-24" @default.
- W1504170657 creator A5065021856 @default.
- W1504170657 creator A5071649157 @default.
- W1504170657 date "2009-01-01" @default.
- W1504170657 modified "2023-09-27" @default.
- W1504170657 title "SATEL — A test intention language for object-oriented specifications of reactive systems" @default.
- W1504170657 hasPublicationYear "2009" @default.
- W1504170657 type Work @default.
- W1504170657 sameAs 1504170657 @default.
- W1504170657 citedByCount "4" @default.
- W1504170657 countsByYear W15041706572014 @default.
- W1504170657 countsByYear W15041706572016 @default.
- W1504170657 crossrefType "dissertation" @default.
- W1504170657 hasAuthorship W1504170657A5065021856 @default.
- W1504170657 hasAuthorship W1504170657A5071649157 @default.
- W1504170657 hasConcept C138885662 @default.
- W1504170657 hasConcept C15708023 @default.
- W1504170657 hasConcept C199360897 @default.
- W1504170657 hasConcept C2781238097 @default.
- W1504170657 hasConcept C41008148 @default.
- W1504170657 hasConcept C41895202 @default.
- W1504170657 hasConceptScore W1504170657C138885662 @default.
- W1504170657 hasConceptScore W1504170657C15708023 @default.
- W1504170657 hasConceptScore W1504170657C199360897 @default.
- W1504170657 hasConceptScore W1504170657C2781238097 @default.
- W1504170657 hasConceptScore W1504170657C41008148 @default.
- W1504170657 hasConceptScore W1504170657C41895202 @default.
- W1504170657 hasLocation W15041706571 @default.
- W1504170657 hasOpenAccess W1504170657 @default.
- W1504170657 hasPrimaryLocation W15041706571 @default.
- W1504170657 hasRelatedWork W106414053 @default.
- W1504170657 hasRelatedWork W109790147 @default.
- W1504170657 hasRelatedWork W12460826 @default.
- W1504170657 hasRelatedWork W1504201101 @default.
- W1504170657 hasRelatedWork W1511766332 @default.
- W1504170657 hasRelatedWork W1551058513 @default.
- W1504170657 hasRelatedWork W1576158467 @default.
- W1504170657 hasRelatedWork W1780200067 @default.
- W1504170657 hasRelatedWork W19563718 @default.
- W1504170657 hasRelatedWork W2950768989 @default.
- W1504170657 hasRelatedWork W3016511539 @default.
- W1504170657 hasRelatedWork W399049322 @default.
- W1504170657 hasRelatedWork W412072378 @default.
- W1504170657 hasRelatedWork W429188878 @default.
- W1504170657 hasRelatedWork W582716883 @default.
- W1504170657 hasRelatedWork W590495034 @default.
- W1504170657 hasRelatedWork W616042112 @default.
- W1504170657 hasRelatedWork W2300979631 @default.
- W1504170657 hasRelatedWork W2480948262 @default.
- W1504170657 hasRelatedWork W3086982541 @default.
- W1504170657 isParatext "false" @default.
- W1504170657 isRetracted "false" @default.
- W1504170657 magId "1504170657" @default.
- W1504170657 workType "dissertation" @default.