Matches in SemOpenAlex for { <https://semopenalex.org/work/W1709433961> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1709433961 endingPage "1059" @default.
- W1709433961 startingPage "1027" @default.
- W1709433961 abstract "This article proposes metrics for quantifying changes throughout the evolution of formal software specifications in long living systems. Formal specifications play an important role in the software development life-cycle by supporting refinement and proof and by providing a basis for comprehension and maintenance activities. However, specifications also undergo evolutionary changes, and these changes are hard to assess because of a lack of suitable measures. This paper proposes and analyzes a set of measures for estimating aspects of a specification's complexity and quality. The measures are based on existing measures for source code, but they have been redefined in the scope of formal Z specifications. Geared towards Z, they are then evaluated concerning their expressiveness by a case study that comprises more than 65,000 lines of specification text. Finally, the usability of the measures is demonstrated on the Z specification of the Web Service Definition Language during its evolution over a period of about 3 years. Copyright © 2013 John Wiley & Sons, Ltd." @default.
- W1709433961 created "2016-06-24" @default.
- W1709433961 creator A5079951536 @default.
- W1709433961 date "2013-04-25" @default.
- W1709433961 modified "2023-10-16" @default.
- W1709433961 title "Metrics for quantifying evolutionary changes in Z specifications" @default.
- W1709433961 cites W1483447793 @default.
- W1709433961 cites W1509952332 @default.
- W1709433961 cites W1512687743 @default.
- W1709433961 cites W1546606300 @default.
- W1709433961 cites W1666959796 @default.
- W1709433961 cites W1879422552 @default.
- W1709433961 cites W1964962870 @default.
- W1709433961 cites W1983211981 @default.
- W1709433961 cites W1992249863 @default.
- W1709433961 cites W1993126296 @default.
- W1709433961 cites W2002102852 @default.
- W1709433961 cites W2013145190 @default.
- W1709433961 cites W2027429445 @default.
- W1709433961 cites W2046065453 @default.
- W1709433961 cites W2050280527 @default.
- W1709433961 cites W2062548953 @default.
- W1709433961 cites W2063150460 @default.
- W1709433961 cites W2068136274 @default.
- W1709433961 cites W2077359497 @default.
- W1709433961 cites W2079083905 @default.
- W1709433961 cites W2085857634 @default.
- W1709433961 cites W2112337853 @default.
- W1709433961 cites W2116570626 @default.
- W1709433961 cites W2124621264 @default.
- W1709433961 cites W2127118596 @default.
- W1709433961 cites W2151365953 @default.
- W1709433961 cites W237704809 @default.
- W1709433961 cites W2499596435 @default.
- W1709433961 cites W3013867411 @default.
- W1709433961 cites W4249463364 @default.
- W1709433961 cites W9942305 @default.
- W1709433961 doi "https://doi.org/10.1002/smr.1596" @default.
- W1709433961 hasPublicationYear "2013" @default.
- W1709433961 type Work @default.
- W1709433961 sameAs 1709433961 @default.
- W1709433961 citedByCount "7" @default.
- W1709433961 countsByYear W17094339612013 @default.
- W1709433961 countsByYear W17094339612015 @default.
- W1709433961 countsByYear W17094339612016 @default.
- W1709433961 countsByYear W17094339612018 @default.
- W1709433961 countsByYear W17094339612021 @default.
- W1709433961 crossrefType "journal-article" @default.
- W1709433961 hasAuthorship W1709433961A5079951536 @default.
- W1709433961 hasConcept C107457646 @default.
- W1709433961 hasConcept C115903868 @default.
- W1709433961 hasConcept C116253237 @default.
- W1709433961 hasConcept C170130773 @default.
- W1709433961 hasConcept C177264268 @default.
- W1709433961 hasConcept C186846655 @default.
- W1709433961 hasConcept C199360897 @default.
- W1709433961 hasConcept C201677973 @default.
- W1709433961 hasConcept C202105479 @default.
- W1709433961 hasConcept C2777904410 @default.
- W1709433961 hasConcept C2778012447 @default.
- W1709433961 hasConcept C41008148 @default.
- W1709433961 hasConcept C529173508 @default.
- W1709433961 hasConcept C75606506 @default.
- W1709433961 hasConceptScore W1709433961C107457646 @default.
- W1709433961 hasConceptScore W1709433961C115903868 @default.
- W1709433961 hasConceptScore W1709433961C116253237 @default.
- W1709433961 hasConceptScore W1709433961C170130773 @default.
- W1709433961 hasConceptScore W1709433961C177264268 @default.
- W1709433961 hasConceptScore W1709433961C186846655 @default.
- W1709433961 hasConceptScore W1709433961C199360897 @default.
- W1709433961 hasConceptScore W1709433961C201677973 @default.
- W1709433961 hasConceptScore W1709433961C202105479 @default.
- W1709433961 hasConceptScore W1709433961C2777904410 @default.
- W1709433961 hasConceptScore W1709433961C2778012447 @default.
- W1709433961 hasConceptScore W1709433961C41008148 @default.
- W1709433961 hasConceptScore W1709433961C529173508 @default.
- W1709433961 hasConceptScore W1709433961C75606506 @default.
- W1709433961 hasIssue "9" @default.
- W1709433961 hasLocation W17094339611 @default.
- W1709433961 hasOpenAccess W1709433961 @default.
- W1709433961 hasPrimaryLocation W17094339611 @default.
- W1709433961 hasRelatedWork W1502686851 @default.
- W1709433961 hasRelatedWork W1509154515 @default.
- W1709433961 hasRelatedWork W1539167095 @default.
- W1709433961 hasRelatedWork W1541085282 @default.
- W1709433961 hasRelatedWork W1559122068 @default.
- W1709433961 hasRelatedWork W1881220596 @default.
- W1709433961 hasRelatedWork W2116177699 @default.
- W1709433961 hasRelatedWork W2121507724 @default.
- W1709433961 hasRelatedWork W2122766007 @default.
- W1709433961 hasRelatedWork W2166090385 @default.
- W1709433961 hasVolume "25" @default.
- W1709433961 isParatext "false" @default.
- W1709433961 isRetracted "false" @default.
- W1709433961 magId "1709433961" @default.
- W1709433961 workType "article" @default.