Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099592803> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2099592803 abstract "Model extraction provides a means of automatically generating a model from an existing implementation, thus overcoming the problem of creating an abstraction of a system that can be used for validation and verification of properties. However, the use of model extraction creates a new problem, which is the gap between the constructs and data types of modern programming languages and the more abstract languages used to describe models. Bridging this gap using the correct mapping is essential to make the model useful for any sort of analysis. This paper describes some basic concepts and ideas involving model extraction and the most relevant existing approaches, considering their strengths and weaknesses. It also discusses the work that has been done on model extraction in our research group and challenges still open regarding the extraction of models from code." @default.
- W2099592803 created "2016-06-24" @default.
- W2099592803 creator A5061207202 @default.
- W2099592803 date "2013-10-01" @default.
- W2099592803 modified "2023-09-27" @default.
- W2099592803 title "Behaviour Model Extraction from Software" @default.
- W2099592803 cites W1539163926 @default.
- W2099592803 cites W1559498556 @default.
- W2099592803 cites W1596552075 @default.
- W2099592803 cites W175329226 @default.
- W2099592803 cites W1989445634 @default.
- W2099592803 cites W1994350081 @default.
- W2099592803 cites W2004865374 @default.
- W2099592803 cites W2082000355 @default.
- W2099592803 cites W2101512909 @default.
- W2099592803 cites W2111419012 @default.
- W2099592803 cites W2115309705 @default.
- W2099592803 cites W2116973066 @default.
- W2099592803 cites W2124081952 @default.
- W2099592803 cites W2130805777 @default.
- W2099592803 cites W2159348178 @default.
- W2099592803 cites W231787917 @default.
- W2099592803 doi "https://doi.org/10.1109/weit.2013.19" @default.
- W2099592803 hasPublicationYear "2013" @default.
- W2099592803 type Work @default.
- W2099592803 sameAs 2099592803 @default.
- W2099592803 citedByCount "1" @default.
- W2099592803 countsByYear W20995928032016 @default.
- W2099592803 crossrefType "proceedings-article" @default.
- W2099592803 hasAuthorship W2099592803A5061207202 @default.
- W2099592803 hasConcept C111472728 @default.
- W2099592803 hasConcept C115903868 @default.
- W2099592803 hasConcept C124101348 @default.
- W2099592803 hasConcept C124304363 @default.
- W2099592803 hasConcept C138885662 @default.
- W2099592803 hasConcept C174348530 @default.
- W2099592803 hasConcept C199360897 @default.
- W2099592803 hasConcept C23123220 @default.
- W2099592803 hasConcept C2777904410 @default.
- W2099592803 hasConcept C31258907 @default.
- W2099592803 hasConcept C41008148 @default.
- W2099592803 hasConcept C63882131 @default.
- W2099592803 hasConcept C67186912 @default.
- W2099592803 hasConcept C88548561 @default.
- W2099592803 hasConceptScore W2099592803C111472728 @default.
- W2099592803 hasConceptScore W2099592803C115903868 @default.
- W2099592803 hasConceptScore W2099592803C124101348 @default.
- W2099592803 hasConceptScore W2099592803C124304363 @default.
- W2099592803 hasConceptScore W2099592803C138885662 @default.
- W2099592803 hasConceptScore W2099592803C174348530 @default.
- W2099592803 hasConceptScore W2099592803C199360897 @default.
- W2099592803 hasConceptScore W2099592803C23123220 @default.
- W2099592803 hasConceptScore W2099592803C2777904410 @default.
- W2099592803 hasConceptScore W2099592803C31258907 @default.
- W2099592803 hasConceptScore W2099592803C41008148 @default.
- W2099592803 hasConceptScore W2099592803C63882131 @default.
- W2099592803 hasConceptScore W2099592803C67186912 @default.
- W2099592803 hasConceptScore W2099592803C88548561 @default.
- W2099592803 hasLocation W20995928031 @default.
- W2099592803 hasOpenAccess W2099592803 @default.
- W2099592803 hasPrimaryLocation W20995928031 @default.
- W2099592803 hasRelatedWork W137976737 @default.
- W2099592803 hasRelatedWork W1504651774 @default.
- W2099592803 hasRelatedWork W1565263828 @default.
- W2099592803 hasRelatedWork W1999473061 @default.
- W2099592803 hasRelatedWork W2052803392 @default.
- W2099592803 hasRelatedWork W2099592803 @default.
- W2099592803 hasRelatedWork W2104592615 @default.
- W2099592803 hasRelatedWork W2347219288 @default.
- W2099592803 hasRelatedWork W2999447470 @default.
- W2099592803 hasRelatedWork W3160136729 @default.
- W2099592803 isParatext "false" @default.
- W2099592803 isRetracted "false" @default.
- W2099592803 magId "2099592803" @default.
- W2099592803 workType "article" @default.