Matches in SemOpenAlex for { <https://semopenalex.org/work/W94149199> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W94149199 abstract "Specifications play an important role in modern-day software engineering research. Formal specifications, e.g., are the basis for automated verification and testing techniques. In spite of their potentially great positive impact, formal specifications are notoriously hard to come by in practice. One reason seems to be that writing precise formal specifications is not an easy task for most of us. As a consequence, e.g., many software systems in use today lack adequate specifications or make use of un/under-specified components. Moreover, in many practical contexts, revision cycle times are often extremely short, which makes the maintenance of formal specifications unrealistic. At the same time, component-based design and short development cycles necessitate extensive testing and verification effort. Problems of this kind are inherent in systems that continuously undergo change as the ones specifically addresses in [16]." @default.
- W94149199 created "2016-06-24" @default.
- W94149199 creator A5037058130 @default.
- W94149199 creator A5078808456 @default.
- W94149199 date "2014-01-01" @default.
- W94149199 modified "2023-09-27" @default.
- W94149199 title "Learning Models for Verification and Testing — Special Track at ISoLA 2014 Track Introduction" @default.
- W94149199 cites W100976464 @default.
- W94149199 cites W1510878009 @default.
- W94149199 cites W1531123507 @default.
- W94149199 cites W1893208258 @default.
- W94149199 cites W1989445634 @default.
- W94149199 cites W2046160374 @default.
- W94149199 cites W2098039922 @default.
- W94149199 cites W2105242166 @default.
- W94149199 cites W2172081876 @default.
- W94149199 cites W54120220 @default.
- W94149199 cites W79064388 @default.
- W94149199 doi "https://doi.org/10.1007/978-3-662-45234-9_14" @default.
- W94149199 hasPublicationYear "2014" @default.
- W94149199 type Work @default.
- W94149199 sameAs 94149199 @default.
- W94149199 citedByCount "3" @default.
- W94149199 countsByYear W941491992016 @default.
- W94149199 crossrefType "book-chapter" @default.
- W94149199 hasAuthorship W94149199A5037058130 @default.
- W94149199 hasAuthorship W94149199A5078808456 @default.
- W94149199 hasConcept C111498074 @default.
- W94149199 hasConcept C111919701 @default.
- W94149199 hasConcept C115903868 @default.
- W94149199 hasConcept C116253237 @default.
- W94149199 hasConcept C121332964 @default.
- W94149199 hasConcept C127413603 @default.
- W94149199 hasConcept C168167062 @default.
- W94149199 hasConcept C199360897 @default.
- W94149199 hasConcept C201995342 @default.
- W94149199 hasConcept C2780451532 @default.
- W94149199 hasConcept C41008148 @default.
- W94149199 hasConcept C75606506 @default.
- W94149199 hasConcept C89992363 @default.
- W94149199 hasConcept C97355855 @default.
- W94149199 hasConceptScore W94149199C111498074 @default.
- W94149199 hasConceptScore W94149199C111919701 @default.
- W94149199 hasConceptScore W94149199C115903868 @default.
- W94149199 hasConceptScore W94149199C116253237 @default.
- W94149199 hasConceptScore W94149199C121332964 @default.
- W94149199 hasConceptScore W94149199C127413603 @default.
- W94149199 hasConceptScore W94149199C168167062 @default.
- W94149199 hasConceptScore W94149199C199360897 @default.
- W94149199 hasConceptScore W94149199C201995342 @default.
- W94149199 hasConceptScore W94149199C2780451532 @default.
- W94149199 hasConceptScore W94149199C41008148 @default.
- W94149199 hasConceptScore W94149199C75606506 @default.
- W94149199 hasConceptScore W94149199C89992363 @default.
- W94149199 hasConceptScore W94149199C97355855 @default.
- W94149199 hasLocation W941491991 @default.
- W94149199 hasOpenAccess W94149199 @default.
- W94149199 hasPrimaryLocation W941491991 @default.
- W94149199 hasRelatedWork W101896819 @default.
- W94149199 hasRelatedWork W1699122184 @default.
- W94149199 hasRelatedWork W1865102548 @default.
- W94149199 hasRelatedWork W1932816805 @default.
- W94149199 hasRelatedWork W1954714678 @default.
- W94149199 hasRelatedWork W2005159791 @default.
- W94149199 hasRelatedWork W2054072078 @default.
- W94149199 hasRelatedWork W2110562470 @default.
- W94149199 hasRelatedWork W2157198002 @default.
- W94149199 hasRelatedWork W2461680990 @default.
- W94149199 hasRelatedWork W2768017175 @default.
- W94149199 hasRelatedWork W2903431435 @default.
- W94149199 hasRelatedWork W2913718044 @default.
- W94149199 hasRelatedWork W2963316614 @default.
- W94149199 hasRelatedWork W3149520 @default.
- W94149199 hasRelatedWork W3166816215 @default.
- W94149199 hasRelatedWork W58982432 @default.
- W94149199 hasRelatedWork W72265089 @default.
- W94149199 hasRelatedWork W99337313 @default.
- W94149199 hasRelatedWork W653697033 @default.
- W94149199 isParatext "false" @default.
- W94149199 isRetracted "false" @default.
- W94149199 magId "94149199" @default.
- W94149199 workType "book-chapter" @default.