FRINK Linked Data Fragments server

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

• W2084260319 endingPage "1309" @default.
• W2084260319 startingPage "1303" @default.
• W2084260319 abstract "Software is a ubiquitous component in our daily life. It ranges from large software systems like operating systems to small embedded systems like vending machines, both of which we frequently interact with. Reducing software related costs and ensuring correctness and dependability of software are certainly worthwhile goals to pursue. Due to the short-time-to-market requirement imposed on many software projects, documented software specifications are often lacking, incomplete and outdated (Deelstra, Sinnema & Bosch 2004). Lack of documented software specifications contributes to difficulties in understanding existing systems. The latter is termed program comprehension and is estimated to contribute up to 45% of total software cost which goes to billions of dollars (Erlikh 2000, Standish 1984; Canfora & Cimitile 2002; BEA 2007). Lack of specifications also hampers automated effort of program verification and testing (Ammons, Bodik & Larus 2002). One solution to address the above problems is mining (or automatic extraction of) software specification from program execution traces. Given a set of program traces, candidate partial specifications pertaining to the behavior a piece of software obeys can be mined. In this chapter, we will describe recent studies on mining software specifications. Software specification mining has been one of the new directions in data mining (Lo, Khoo & Liu 2007a, Lo & Khoo 2007). Existing specification mining techniques can be categorized based on the form of specifications they mine. We will categorize and describe specification mining algorithms for mining five different target formalisms: Boolean expressions, automata (Hopcroft, Motwani & Ullman 2001), Linear Temporal Logic (Huth & Ryan 2003), frequent patterns (Han & Kamber 2006) and Live Sequence Charts (Harel & Marelly 2003)." @default.
• W2084260319 created "2016-06-24" @default.
• W2084260319 creator A5081036622 @default.
• W2084260319 date "2011-05-24" @default.
• W2084260319 modified "2023-09-27" @default.
• W2084260319 title "Mining Software Specifications" @default.
• W2084260319 cites W1530885903 @default.
• W2084260319 cites W1555524669 @default.
• W2084260319 cites W1990229061 @default.
• W2084260319 cites W2004865374 @default.
• W2084260319 cites W2005546948 @default.
• W2084260319 cites W2044626695 @default.
• W2084260319 cites W2050349725 @default.
• W2084260319 cites W2101058980 @default.
• W2084260319 cites W2115803466 @default.
• W2084260319 cites W2126834265 @default.
• W2084260319 cites W2131109383 @default.
• W2084260319 cites W2136230992 @default.
• W2084260319 cites W2164122643 @default.
• W2084260319 cites W2295399529 @default.
• W2084260319 cites W2481726056 @default.
• W2084260319 cites W3106729728 @default.
• W2084260319 cites W4252399646 @default.
• W2084260319 doi "https://doi.org/10.4018/978-1-60566-010-3.ch202" @default.
• W2084260319 hasPublicationYear "2011" @default.
• W2084260319 type Work @default.
• W2084260319 sameAs 2084260319 @default.
• W2084260319 citedByCount "0" @default.
• W2084260319 crossrefType "book-chapter" @default.
• W2084260319 hasAuthorship W2084260319A5081036622 @default.
• W2084260319 hasConcept C115903868 @default.
• W2084260319 hasConcept C41008148 @default.
• W2084260319 hasConceptScore W2084260319C115903868 @default.
• W2084260319 hasConceptScore W2084260319C41008148 @default.
• W2084260319 hasLocation W20842603191 @default.
• W2084260319 hasOpenAccess W2084260319 @default.
• W2084260319 hasPrimaryLocation W20842603191 @default.
• W2084260319 hasRelatedWork W1496670181 @default.
• W2084260319 hasRelatedWork W1605424409 @default.
• W2084260319 hasRelatedWork W1698177226 @default.
• W2084260319 hasRelatedWork W1910630785 @default.
• W2084260319 hasRelatedWork W1920048997 @default.
• W2084260319 hasRelatedWork W2018123953 @default.
• W2084260319 hasRelatedWork W2110726763 @default.
• W2084260319 hasRelatedWork W2116851114 @default.
• W2084260319 hasRelatedWork W2117331238 @default.
• W2084260319 hasRelatedWork W2117573403 @default.
• W2084260319 hasRelatedWork W2119355120 @default.
• W2084260319 hasRelatedWork W2119669916 @default.
• W2084260319 hasRelatedWork W2149722899 @default.
• W2084260319 hasRelatedWork W2157905066 @default.
• W2084260319 hasRelatedWork W2547116018 @default.
• W2084260319 hasRelatedWork W2754450383 @default.
• W2084260319 hasRelatedWork W3143080346 @default.
• W2084260319 hasRelatedWork W3145705251 @default.
• W2084260319 hasRelatedWork W337881298 @default.
• W2084260319 hasRelatedWork W2100676127 @default.
• W2084260319 isParatext "false" @default.
• W2084260319 isRetracted "false" @default.
• W2084260319 magId "2084260319" @default.
• W2084260319 workType "book-chapter" @default.