FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W120366370> ?p ?o ?g. }

• W120366370 abstract "The creation of a simulation model, like the creation of any software product, is guided by principles and procedures that have been reasonably well established within the software engineering community. In the context of a simulation, we need to be able to characterize the dynamic behavior of the system, and such characterization should be expressed in a format that is as clear and unambiguous as possible. Wherever feasible, formal approaches should be used. One of these formal techniques, the DEVS formalism, has gained popularity in recent years. Although some efforts have been dedicated to the Validation and Verification (V&V) of DEVS models, this is an open research area with interesting opportunities for application of advanced software engineering techniques. Indeed, it appears that thanks to the characteristics of DEVS models and the fact that DEVS models can be executed (e.g., the CD++ toolkit allows the use of DEVS and Cell-DEVS formalisms) well-known software testing techniques are worth investigating for the V&V of DEVS models. In this article, we show these similarities and discuss open research paths in the field of DEVS modeling Verification and Validation by means of testing." @default.
• W120366370 created "2016-06-24" @default.
• W120366370 creator A5007057846 @default.
• W120366370 creator A5030054278 @default.
• W120366370 date "2005-01-01" @default.
• W120366370 modified "2023-10-01" @default.
• W120366370 title "Towards the Verification and Validation of DEVS Models" @default.
• W120366370 cites W139173026 @default.
• W120366370 cites W1531725896 @default.
• W120366370 cites W1577384748 @default.
• W120366370 cites W1590462283 @default.
• W120366370 cites W1596127723 @default.
• W120366370 cites W172108143 @default.
• W120366370 cites W1910771831 @default.
• W120366370 cites W1925475221 @default.
• W120366370 cites W1983555736 @default.
• W120366370 cites W1992639336 @default.
• W120366370 cites W2004929506 @default.
• W120366370 cites W2010245779 @default.
• W120366370 cites W2011762419 @default.
• W120366370 cites W2019793857 @default.
• W120366370 cites W2020538887 @default.
• W120366370 cites W2097311876 @default.
• W120366370 cites W2100425664 @default.
• W120366370 cites W2103082747 @default.
• W120366370 cites W2110441383 @default.
• W120366370 cites W2119582290 @default.
• W120366370 cites W2124300773 @default.
• W120366370 cites W2142266413 @default.
• W120366370 cites W2143251912 @default.
• W120366370 cites W2146343552 @default.
• W120366370 cites W2146909240 @default.
• W120366370 cites W2152567089 @default.
• W120366370 cites W2159765281 @default.
• W120366370 cites W2161825580 @default.
• W120366370 cites W2168531441 @default.
• W120366370 cites W2180718388 @default.
• W120366370 cites W2267176325 @default.
• W120366370 cites W3010856131 @default.
• W120366370 hasPublicationYear "2005" @default.
• W120366370 type Work @default.
• W120366370 sameAs 120366370 @default.
• W120366370 citedByCount "9" @default.
• W120366370 countsByYear W1203663702012 @default.
• W120366370 countsByYear W1203663702014 @default.
• W120366370 countsByYear W1203663702015 @default.
• W120366370 countsByYear W1203663702018 @default.
• W120366370 crossrefType "journal-article" @default.
• W120366370 hasAuthorship W120366370A5007057846 @default.
• W120366370 hasAuthorship W120366370A5030054278 @default.
• W120366370 hasConcept C105795698 @default.
• W120366370 hasConcept C115903868 @default.
• W120366370 hasConcept C126433048 @default.
• W120366370 hasConcept C151730666 @default.
• W120366370 hasConcept C167343916 @default.
• W120366370 hasConcept C171018156 @default.
• W120366370 hasConcept C199360897 @default.
• W120366370 hasConcept C2524010 @default.
• W120366370 hasConcept C2777904410 @default.
• W120366370 hasConcept C2779343474 @default.
• W120366370 hasConcept C33923547 @default.
• W120366370 hasConcept C41008148 @default.
• W120366370 hasConcept C44154836 @default.
• W120366370 hasConcept C68757728 @default.
• W120366370 hasConcept C86803240 @default.
• W120366370 hasConceptScore W120366370C105795698 @default.
• W120366370 hasConceptScore W120366370C115903868 @default.
• W120366370 hasConceptScore W120366370C126433048 @default.
• W120366370 hasConceptScore W120366370C151730666 @default.
• W120366370 hasConceptScore W120366370C167343916 @default.
• W120366370 hasConceptScore W120366370C171018156 @default.
• W120366370 hasConceptScore W120366370C199360897 @default.
• W120366370 hasConceptScore W120366370C2524010 @default.
• W120366370 hasConceptScore W120366370C2777904410 @default.
• W120366370 hasConceptScore W120366370C2779343474 @default.
• W120366370 hasConceptScore W120366370C33923547 @default.
• W120366370 hasConceptScore W120366370C41008148 @default.
• W120366370 hasConceptScore W120366370C44154836 @default.
• W120366370 hasConceptScore W120366370C68757728 @default.
• W120366370 hasConceptScore W120366370C86803240 @default.
• W120366370 hasLocation W1203663701 @default.
• W120366370 hasOpenAccess W120366370 @default.
• W120366370 hasPrimaryLocation W1203663701 @default.
• W120366370 hasRelatedWork W103786485 @default.
• W120366370 hasRelatedWork W124414156 @default.
• W120366370 hasRelatedWork W1483422122 @default.
• W120366370 hasRelatedWork W1487536269 @default.
• W120366370 hasRelatedWork W1512146121 @default.
• W120366370 hasRelatedWork W1513470120 @default.
• W120366370 hasRelatedWork W2001598892 @default.
• W120366370 hasRelatedWork W2089204618 @default.
• W120366370 hasRelatedWork W2109610120 @default.
• W120366370 hasRelatedWork W2128513456 @default.
• W120366370 hasRelatedWork W2130195901 @default.
• W120366370 hasRelatedWork W2146909240 @default.
• W120366370 hasRelatedWork W2166958932 @default.
• W120366370 hasRelatedWork W2169895769 @default.
• W120366370 hasRelatedWork W2277176891 @default.
• W120366370 hasRelatedWork W2541728168 @default.
• W120366370 hasRelatedWork W2549863208 @default.

• next