FRINK Linked Data Fragments server

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

• W2168717281 abstract "In the past many different methodologies have been devised to support software development and different sets of methodologies have been developed to support the analysis of software artefacts. We have identified this mismatch as one of the causes of the poor reliability of embedded systems software. The issue with software development styles is that they are “analysis-agnostic.” They do not try to structure the code in a way that lends itself to analysis. The analysis is usually applied post-mortem after the software was developed and it requires a large amount of effort. The issue with software analysis methodologies is that they do not exploit available information about the system being analyzed.In this thesis we address the above issues by developing a new methodology, called “analysis-aware” design, that links software development styles with the capabilities of analysis tools. This methodology forms the basis of a framework for interactive software development. The framework consists of an executable specification language and a set of analysis tools based on static analysis, testing, and model checking. The language enforces an analysis-friendly code structure and offers primitives that allow users to implement their own testers and model checkers directly in the language. We introduce a new approach to static analysis that takes advantage of the capabilities of a rule-based engine. We have applied the analysis-aware methodology to the development of a smart home application." @default.
• W2168717281 created "2016-06-24" @default.
• W2168717281 creator A5006062153 @default.
• W2168717281 creator A5040812387 @default.
• W2168717281 creator A5048005371 @default.
• W2168717281 date "2014-01-01" @default.
• W2168717281 modified "2023-09-27" @default.
• W2168717281 title "Analysis-aware design of embedded systems software" @default.
• W2168717281 cites W1487472891 @default.
• W2168717281 cites W1489391022 @default.
• W2168717281 cites W1498432697 @default.
• W2168717281 cites W1517173520 @default.
• W2168717281 cites W1532097571 @default.
• W2168717281 cites W1537084112 @default.
• W2168717281 cites W1550112417 @default.
• W2168717281 cites W1553894716 @default.
• W2168717281 cites W1557561422 @default.
• W2168717281 cites W1565541828 @default.
• W2168717281 cites W157156687 @default.
• W2168717281 cites W1580328473 @default.
• W2168717281 cites W1583826417 @default.
• W2168717281 cites W1587480419 @default.
• W2168717281 cites W1589289166 @default.
• W2168717281 cites W1611084195 @default.
• W2168717281 cites W1710734607 @default.
• W2168717281 cites W1850929791 @default.
• W2168717281 cites W1887412317 @default.
• W2168717281 cites W1896092679 @default.
• W2168717281 cites W1943502734 @default.
• W2168717281 cites W1959256509 @default.
• W2168717281 cites W2002934700 @default.
• W2168717281 cites W2008626182 @default.
• W2168717281 cites W2009489720 @default.
• W2168717281 cites W2010303434 @default.
• W2168717281 cites W2019881090 @default.
• W2168717281 cites W2023808162 @default.
• W2168717281 cites W2033114255 @default.
• W2168717281 cites W2035939573 @default.
• W2168717281 cites W2037913110 @default.
• W2168717281 cites W2043100293 @default.
• W2168717281 cites W2052735108 @default.
• W2168717281 cites W2058600430 @default.
• W2168717281 cites W2065675749 @default.
• W2168717281 cites W2066210260 @default.
• W2168717281 cites W2066859698 @default.
• W2168717281 cites W2093907356 @default.
• W2168717281 cites W2096449544 @default.
• W2168717281 cites W2097697841 @default.
• W2168717281 cites W2100505193 @default.
• W2168717281 cites W2101512909 @default.
• W2168717281 cites W2104219854 @default.
• W2168717281 cites W2107229644 @default.
• W2168717281 cites W2109819183 @default.
• W2168717281 cites W2116989825 @default.
• W2168717281 cites W2130427425 @default.
• W2168717281 cites W2131724884 @default.
• W2168717281 cites W2132296233 @default.
• W2168717281 cites W2135948849 @default.
• W2168717281 cites W2153185479 @default.
• W2168717281 cites W2161825580 @default.
• W2168717281 cites W2169309022 @default.
• W2168717281 cites W2171480813 @default.
• W2168717281 cites W2504100651 @default.
• W2168717281 cites W2520382536 @default.
• W2168717281 cites W2913459036 @default.
• W2168717281 cites W3146075203 @default.
• W2168717281 cites W92576581 @default.
• W2168717281 doi "https://doi.org/10.7907/vb1n-y042." @default.
• W2168717281 hasPublicationYear "2014" @default.
• W2168717281 type Work @default.
• W2168717281 sameAs 2168717281 @default.
• W2168717281 citedByCount "1" @default.
• W2168717281 countsByYear W21687172812014 @default.
• W2168717281 crossrefType "dissertation" @default.
• W2168717281 hasAuthorship W2168717281A5006062153 @default.
• W2168717281 hasAuthorship W2168717281A5040812387 @default.
• W2168717281 hasAuthorship W2168717281A5048005371 @default.
• W2168717281 hasConcept C115903868 @default.
• W2168717281 hasConcept C137287247 @default.
• W2168717281 hasConcept C149091818 @default.
• W2168717281 hasConcept C160145156 @default.
• W2168717281 hasConcept C180152950 @default.
• W2168717281 hasConcept C186846655 @default.
• W2168717281 hasConcept C199360897 @default.
• W2168717281 hasConcept C2777904410 @default.
• W2168717281 hasConcept C41008148 @default.
• W2168717281 hasConcept C529173508 @default.
• W2168717281 hasConcept C97686452 @default.
• W2168717281 hasConceptScore W2168717281C115903868 @default.
• W2168717281 hasConceptScore W2168717281C137287247 @default.
• W2168717281 hasConceptScore W2168717281C149091818 @default.
• W2168717281 hasConceptScore W2168717281C160145156 @default.
• W2168717281 hasConceptScore W2168717281C180152950 @default.
• W2168717281 hasConceptScore W2168717281C186846655 @default.
• W2168717281 hasConceptScore W2168717281C199360897 @default.
• W2168717281 hasConceptScore W2168717281C2777904410 @default.
• W2168717281 hasConceptScore W2168717281C41008148 @default.
• W2168717281 hasConceptScore W2168717281C529173508 @default.
• W2168717281 hasConceptScore W2168717281C97686452 @default.
• W2168717281 hasLocation W21687172811 @default.

• next