{"status":"ok","message-type":"work-list","message-version":"1.0.0","message":{"facets":{},"total-results":5872,"items":[{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T04:13:47Z","timestamp":1742357627177,"version":"3.40.1"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T00:00:00Z","timestamp":1372636800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1109\/tse.2012.85","type":"journal-article","created":{"date-parts":[[2013,6,26]],"date-time":"2013-06-26T18:01:30Z","timestamp":1372269690000},"page":"917-929","source":"Crossref","is-referenced-by-count":7,"title":["Embedding Polychrony into Synchrony"],"prefix":"10.1109","volume":"39","author":[{"given":"Jens","family":"Brandt","sequence":"first","affiliation":[]},{"given":"Mike","family":"Gemunde","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"Sandeep K.","family":"Shukla","sequence":"additional","affiliation":[]},{"given":"Jean-Pierre","family":"Talpin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.9999"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/bf02811340"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57529-4_44"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5641.003.0021"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/bfb0014318"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44798-9_10"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6400-7_1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1155\/2008\/594129"},{"key":"ref10","first-page":"98","article-title":"How Different Are Esterel and SystemC?","author":"Brandt","year":"2007","journal-title":"Forum on Specification and Design Languages, Electronic Chips and Systems Design Initiative"},{"article-title":"Separate Translation of Synchronous Programs to Guarded Actions","year":"2011","author":"Brandt","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_86"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0941-1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1217295.1217298"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/43.766725"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487884"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45828-X_18"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2006.24"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"journal-title":"Modeling Embedded Systems and SoCs","year":"2004","author":"Jantsch","key":"ref23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2010.5419925"},{"article-title":"The DisCo Language and Temporal Logic of Actions","year":"1990","author":"J\u00e4rvinen","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/5.97301"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1186386"},{"article-title":"On Relating Synchrony and Asynchrony","year":"1981","author":"Milner","key":"ref31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90114-7"},{"year":"2008","key":"ref33","article-title":"Modeling and Analysis of Real-Time and Embedded Systems (MARTE)"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031993"},{"key":"ref35","first-page":"205","article-title":"A Verified Hardware Synthesis for Esterel","volume-title":"Proc. Int\u2019l Workshop Distributed and Parallel Embedded Systems","author":"Schneider"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2001.981772"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45653-8_3"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45685-6_21"},{"article-title":"The Synchronous Programming Language Quartz","year":"2009","author":"Schneider","key":"ref39"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1023833.1023859"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.02.028"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1065910.1065919"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/6547597\/06381420.pdf?arnumber=6381420","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T06:08:57Z","timestamp":1742278137000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6381420\/"}},"issued":{"date-parts":[[2013,7]]},"references-count":42,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tse.2012.85","ISSN":["0098-5589","1939-3520"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"}],"published":{"date-parts":[[2013,7]]}},{"indexed":{"date-parts":[[2023,11,18]],"date-time":"2023-11-18T08:31:45Z","timestamp":1700296305048},"reference-count":7,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[1980,5,1]],"date-time":"1980-05-01T00:00:00Z","timestamp":325987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1980,5]]},"DOI":"10.1109\/tse.1980.234487","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T18:41:16Z","timestamp":1182969676000},"page":"258-264","source":"Crossref","is-referenced-by-count":57,"title":["Error Sensitive Test Cases Analysis (ESTCA)"],"prefix":"10.1109","volume":"SE-6","author":[{"given":"K.A.","family":"Foster","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01946816"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233816"},{"key":"ref6","article-title":"the status of research on program mutation","author":"lipton","year":"1978","journal-title":"Dig Workshop on Software Testing and Test Documentation"},{"key":"ref5","article-title":"correction to 'toward a theory of test data selection","volume":"se 1","author":"goodenough","year":"1975","journal-title":"IEEE Trans Software Eng"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231144"},{"key":"ref2","first-page":"44","year":"1977","journal-title":"Current Trends in Programming Methodology Vol II Program Validation"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312836"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35916\/01702727.pdf?arnumber=1702727","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:22Z","timestamp":1638219262000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1702727\/"}},"issued":{"date-parts":[[1980,5]]},"references-count":7,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.1980.234487","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1980,5]]}},{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T19:10:32Z","timestamp":1672427432174},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[1975,9,1]],"date-time":"1975-09-01T00:00:00Z","timestamp":178761600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1975,9]]},"DOI":"10.1109\/tse.1975.6312853","type":"journal-article","created":{"date-parts":[[2012,9,27]],"date-time":"2012-09-27T13:02:48Z","timestamp":1348750968000},"page":"286-291","source":"Crossref","is-referenced-by-count":21,"title":["Program graphs, an algebra, and their implication for programming"],"prefix":"10.1109","volume":"SE-1","author":[{"given":"Michael R.","family":"Paige","sequence":"first","affiliation":[]}],"member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/6312847\/06312853.pdf?arnumber=6312853","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:13Z","timestamp":1638219253000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6312853\/"}},"issued":{"date-parts":[[1975,9]]},"references-count":0,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.1975.6312853","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1975,9]]}},{"indexed":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T20:10:57Z","timestamp":1712002257401},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2004,2,1]],"date-time":"2004-02-01T00:00:00Z","timestamp":1075593600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2004,2,1]],"date-time":"2004-02-01T00:00:00Z","timestamp":1075593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2004,2,1]],"date-time":"2004-02-01T00:00:00Z","timestamp":1075593600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2004,2]]},"DOI":"10.1109\/tse.2004.1265813","type":"journal-article","created":{"date-parts":[[2004,2,24]],"date-time":"2004-02-24T21:01:05Z","timestamp":1077656465000},"page":"81-81","source":"Crossref","is-referenced-by-count":0,"title":["Editorial: the state of TSE"],"prefix":"10.1109","volume":"30","author":[{"given":"J.","family":"Knight","sequence":"first","affiliation":[]}],"member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/28308\/01265813.pdf?arnumber=1265813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,1]],"date-time":"2024-04-01T19:43:17Z","timestamp":1712000597000},"score":0.0,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1265813\/"}},"issued":{"date-parts":[[2004,2]]},"references-count":0,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.2004.1265813","ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"published":{"date-parts":[[2004,2]]}},{"indexed":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T23:59:53Z","timestamp":1697759993462},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[1982,11,1]],"date-time":"1982-11-01T00:00:00Z","timestamp":404956800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1982,11]]},"DOI":"10.1109\/tse.1982.236021","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T18:41:16Z","timestamp":1182969676000},"page":"605-611","source":"Crossref","is-referenced-by-count":10,"title":["Databases and Units of Measure"],"prefix":"10.1109","volume":"SE-8","author":[{"given":"N.H.","family":"Gehani","sequence":"first","affiliation":[]}],"member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35931\/01702994.pdf?arnumber=1702994","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:27Z","timestamp":1638219267000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1702994\/"}},"issued":{"date-parts":[[1982,11]]},"references-count":0,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tse.1982.236021","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1982,11]]}},{"indexed":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T21:51:20Z","timestamp":1672264280354},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[1986,2,1]],"date-time":"1986-02-01T00:00:00Z","timestamp":507600000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1986,2]]},"DOI":"10.1109\/tse.1986.6312949","type":"journal-article","created":{"date-parts":[[2012,9,27]],"date-time":"2012-09-27T13:02:48Z","timestamp":1348750968000},"page":"358-373","source":"Crossref","is-referenced-by-count":7,"title":["Real-time software life cycle with the model system"],"prefix":"10.1109","volume":"SE-12","author":[{"given":"Jine S.","family":"Tseng","sequence":"first","affiliation":[]},{"given":"Boleslaw","family":"Szymanski","sequence":"additional","affiliation":[]},{"given":"Yuan","family":"Shi","sequence":"additional","affiliation":[]},{"given":"Noah S.","family":"Prywes","sequence":"additional","affiliation":[]}],"member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/6312933\/06312949.pdf?arnumber=6312949","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:38Z","timestamp":1638219278000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6312949\/"}},"issued":{"date-parts":[[1986,2]]},"references-count":0,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.1986.6312949","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1986,2]]}},{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T07:33:44Z","timestamp":1648884824906},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.1109\/tse.2011.15","type":"journal-article","created":{"date-parts":[[2011,1,28]],"date-time":"2011-01-28T20:02:22Z","timestamp":1296244942000},"page":"c3-c3","source":"Crossref","is-referenced-by-count":0,"title":["TSE Information for authors"],"prefix":"10.1109","volume":"37","member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/5704233\/05704240.pdf?arnumber=5704240","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:55:08Z","timestamp":1638219308000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5704240\/"}},"issued":{"date-parts":[[2011,1]]},"references-count":0,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tse.2011.15","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[2011,1]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T20:18:29Z","timestamp":1694636309539},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[1984,5,1]],"date-time":"1984-05-01T00:00:00Z","timestamp":452217600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1984,5]]},"DOI":"10.1109\/tse.1984.5010242","type":"journal-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T20:37:01Z","timestamp":1243975021000},"page":"c2-c2","source":"Crossref","is-referenced-by-count":0,"title":["[Front cover]"],"prefix":"10.1109","volume":"SE-10","member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/5010227\/05010242.pdf?arnumber=5010242","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:31Z","timestamp":1638219271000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5010242\/"}},"issued":{"date-parts":[[1984,5]]},"references-count":0,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.1984.5010242","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1984,5]]}},{"indexed":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T04:15:01Z","timestamp":1742271301309,"version":"3.40.1"},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T00:00:00Z","timestamp":1740787200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2025,3]]},"DOI":"10.1109\/tse.2025.3540338","type":"journal-article","created":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T17:36:05Z","timestamp":1742232965000},"page":"663-665","source":"Crossref","is-referenced-by-count":0,"title":["50 Years of Transactions on Software Engineering"],"prefix":"10.1109","volume":"51","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9352-1478","authenticated-orcid":false,"given":"Sebastian","family":"Uchitel","sequence":"first","affiliation":[{"name":"University of Buenos Aires, Buenos Aires, Argentina"}]}],"member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/32\/10930340\/10930351.pdf?arnumber=10930351","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T17:36:57Z","timestamp":1742233017000},"score":0.0,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10930351\/"}},"issued":{"date-parts":[[2025,3]]},"references-count":0,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.2025.3540338","ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"published":{"date-parts":[[2025,3]]}},{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:17:52Z","timestamp":1742390272407},"reference-count":23,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1988]]},"DOI":"10.1109\/32.6168","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"1243-1252","source":"Crossref","is-referenced-by-count":39,"title":["Trace specifications: methodology and models"],"prefix":"10.1109","volume":"14","author":[{"given":"D.","family":"Hoffman","sequence":"first","affiliation":[]},{"given":"R.","family":"Snodgrass","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/567446.567471"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF00260922"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/359657.359666"},{"key":"ref13","author":"hoffman","year":"1984","journal-title":"Trace specification of communications protocols"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1985.6312209"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/954627.954630"},{"key":"ref16","first-page":"22","article-title":"Comment on a note by J. J. Martin in SIGPLAN Notices, vol. 12, no. 10","volume":"13","author":"majster","year":"1978","journal-title":"SIGPlan Notices"},{"key":"ref17","first-page":"28","article-title":"Critique of Mila E. Majster's 'Limits of the algebraic specification of abstract data types,'","volume":"12","author":"martin","year":"1977","journal-title":"SIGPlan Notices"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/828.829"},{"key":"ref19","author":"mclean","year":"1985","journal-title":"Executing Trace Specifications Using PROLOG"},{"key":"ref4","first-page":"185","volume":"13","author":"burstall","year":"1981","journal-title":"The Correctness Problem in Computer Science"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/321864.321875"},{"key":"ref6","author":"clocksin","year":"1981","journal-title":"Programming in Prolog"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/800087.802799"},{"key":"ref8","first-page":"176","article-title":"An introduction to OBJ: A language for writing and testing formal algebraic program specifications","author":"goguen","year":"1976","journal-title":"Proc 1976 Int Conf Parallel Processing"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380120505"},{"key":"ref2","author":"bartussek","year":"1978","journal-title":"Proc Second Conf European Cooperation in Informatics"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/800022.808306"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230209"},{"key":"ref20","article-title":"The use of precise specifications in the development of software","author":"pamas","year":"1977","journal-title":"Proc IFIP Congress 1977"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235736"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312940"},{"key":"ref23","author":"wilensky","year":"1984","journal-title":"LISP Craft"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx1\/32\/301\/00006168.pdf?arnumber=6168","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:05:46Z","timestamp":1638216346000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6168\/"}},"issued":{"date-parts":[[1988]]},"references-count":23,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/32.6168","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1988]]}},{"indexed":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T04:03:23Z","timestamp":1742270603208,"version":"3.40.1"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2005,7,1]],"date-time":"2005-07-01T00:00:00Z","timestamp":1120176000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2005,7]]},"DOI":"10.1109\/tse.2005.77","type":"journal-article","created":{"date-parts":[[2005,8,10]],"date-time":"2005-08-10T14:46:24Z","timestamp":1123685184000},"page":"588-600","source":"Crossref","is-referenced-by-count":26,"title":["Build-level components"],"prefix":"10.1109","volume":"31","author":[{"given":"M.","family":"de Jonge","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.153.0225"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(97)00021-X"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45306-7_26"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/METRIC.2004.1357886"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2004.1311059"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2003.1199205"},{"article-title":"Multi-Level Component Composition","volume-title":"Proc. Second Groningen Workshop Software Variability Modeling (SVM \u201904)","author":"de Jonge","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/STEP.1999.798481"},{"volume-title":"Free Software Foundation, GNU Coding Standards","year":"2004","key":"ref9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/1097-024X(200009)30:11<1203::AID-SPE338>3.0.CO;2-N"},{"volume-title":"Graphviz","year":"2005","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/spe.496"},{"article-title":"The Build\/Comprehend Pipelines","volume-title":"Proc. Second ASERC Workshop Software Architecture","author":"Holt","key":"ref13"},{"key":"ref14","article-title":"The Linux Kernel as Flexible Product-Line Architecture","volume-title":"Technical Report SEN-R0205, CWI","author":"de Jonge","year":"2002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46020-9_2"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.2003.1231570"},{"key":"ref17","article-title":"To Reuse or to Be Reused: Techniques for Component Composition and Construction","volume-title":"Faculty of Natural Sciences, Math., and Computer Science, Univ. of Amsterdam","author":"de Jonge","year":"2003"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2000.852494"},{"volume-title":"The Linux Kernel Archives","year":"2005","key":"ref19"},{"article-title":"Autoconf: Creating Automatic Configuration Scripts","year":"2002","author":"Mackenzie","key":"ref20"},{"article-title":"GNU Automake Manual","year":"2003","author":"Mackenzie","key":"ref21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1999.792498"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1998.693283"},{"issue":"1","key":"ref24","first-page":"14","article-title":"Recursive Make Considered Harmful","volume-title":"Unix\/Linux J. (AUUGN)","volume":"19","author":"Miller","year":"1998"},{"volume-title":"Mozilla","year":"2005","key":"ref25"},{"volume-title":"Mozilla\u2019s build system","year":"2005","key":"ref26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/32.917525"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/2.825699"},{"volume-title":"OpenOffice","year":"2005","key":"ref29"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"article-title":"Filesystem Hierarchy Standard","year":"2004","author":"Russell","key":"ref31"},{"volume-title":"Component Software: Beyond Object-Orientated Programming","year":"2002","author":"Szyperski","key":"ref32"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972753"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.1997.624574"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/32074\/01492373.pdf?arnumber=1492373","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T04:47:50Z","timestamp":1742186870000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1492373\/"}},"issued":{"date-parts":[[2005,7]]},"references-count":34,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tse.2005.77","ISSN":["0098-5589"],"issn-type":[{"type":"print","value":"0098-5589"}],"published":{"date-parts":[[2005,7]]}},{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:20:56Z","timestamp":1742397656155},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[1987,7,1]],"date-time":"1987-07-01T00:00:00Z","timestamp":552096000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1987,7]]},"DOI":"10.1109\/tse.1987.233497","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T14:41:16Z","timestamp":1182955276000},"page":"860-864","source":"Crossref","is-referenced-by-count":43,"title":["Data Integration in Distributed Databases"],"prefix":"10.1109","volume":"SE-13","author":[{"given":"S.M.","family":"Deen","sequence":"first","affiliation":[]},{"given":"R.R.","family":"Amin","sequence":"additional","affiliation":[]},{"given":"M.C.","family":"Taylor","sequence":"additional","affiliation":[]}],"member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35889\/01702297.pdf?arnumber=1702297","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T15:54:43Z","timestamp":1638201283000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1702297\/"}},"issued":{"date-parts":[[1987,7]]},"references-count":0,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tse.1987.233497","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1987,7]]}},{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T03:53:09Z","timestamp":1648698789125},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T00:00:00Z","timestamp":1277942400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/tse.2010.76","type":"journal-article","created":{"date-parts":[[2010,8,3]],"date-time":"2010-08-03T20:19:20Z","timestamp":1280866760000},"page":"451-452","source":"Crossref","is-referenced-by-count":0,"title":["Introduction: The Best Papers of ISSTA"],"prefix":"10.1109","volume":"36","author":[{"given":"Barbara G.","family":"Ryder","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Zeller","sequence":"additional","affiliation":[]}],"member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/5532334\/05532338.pdf?arnumber=5532338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:55:06Z","timestamp":1638219306000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5532338\/"}},"issued":{"date-parts":[[2010,7]]},"references-count":0,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.2010.76","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[2010,7]]}},{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T06:33:40Z","timestamp":1648967620035},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[1986,6,1]],"date-time":"1986-06-01T00:00:00Z","timestamp":517968000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1986,6]]},"DOI":"10.1109\/tse.1986.6312964","type":"journal-article","created":{"date-parts":[[2012,9,27]],"date-time":"2012-09-27T13:02:48Z","timestamp":1348750968000},"page":"677-677","source":"Crossref","is-referenced-by-count":0,"title":["Editorial"],"prefix":"10.1109","volume":"SE-12","member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/6312963\/06312964.pdf?arnumber=6312964","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:39Z","timestamp":1638219279000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6312964\/"}},"issued":{"date-parts":[[1986,6]]},"references-count":0,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tse.1986.6312964","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1986,6]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T15:33:19Z","timestamp":1694619199628},"reference-count":7,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1988]]},"DOI":"10.1109\/32.7621","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"1110-1115","source":"Crossref","is-referenced-by-count":16,"title":["The Tinkertoy graphical programming environment"],"prefix":"10.1109","volume":"14","author":[{"given":"M.","family":"Edel","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref4","author":"edel","year":"1985","journal-title":"Tinkertoy A Practical Iconic Programming Environment"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MCG.1983.262982"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1111\/j.1939-0025.1965.tb04214.x"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1985.1662971"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/951787.951764"},{"key":"ref2","author":"winston","year":"1977","journal-title":"Artificial Intelligence"},{"key":"ref1","author":"goldberg","year":"1984","journal-title":"Smalltalk-80 The Interactive Programming Environment"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx1\/32\/397\/00007621.pdf?arnumber=7621","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:05:50Z","timestamp":1638216350000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7621\/"}},"issued":{"date-parts":[[1988]]},"references-count":7,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/32.7621","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1988]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T15:35:50Z","timestamp":1694619350441},"reference-count":17,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[1988,5,1]],"date-time":"1988-05-01T00:00:00Z","timestamp":578448000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1988,5]]},"DOI":"10.1109\/32.6138","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"599-607","source":"Crossref","is-referenced-by-count":1,"title":["Naming and binding in a vertical migration environment"],"prefix":"10.1109","volume":"14","author":[{"given":"R.I.","family":"Winner","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1014192.802436"},{"key":"ref11","author":"saltzer","year":"1979","journal-title":"Operating Systems An Advanced Course"},{"key":"ref12","author":"stankovic","year":"1988","journal-title":"Principles of Firmware Engineering in Microprogram Control"},{"key":"ref13","article-title":"Adaptive instruction sets and instruction set locality phenomena","author":"winner","year":"1983","journal-title":"Proc Int Workshop Computer Systems Organization"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1096419.1096439"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1986.233748"},{"key":"ref16","author":"winner","year":"1988","journal-title":"Principles of Firmware Engineering in Microprogram Control"},{"key":"ref17","author":"wood","year":"1983","journal-title":"A linker and librarian for vertical migration"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1014196.803316"},{"key":"ref3","author":"flynn","year":"1979","journal-title":"Operating Systems An Advanced Course"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(85)90071-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/384281.808224"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/356603.356605"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1014194.800946"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/384281.808227"},{"key":"ref1","author":"barron","year":"1972","journal-title":"Assemblers and Loaders"},{"key":"ref9","first-page":"1183","article-title":"Operating system support for user microprogramming in UNIX","volume":"14","author":"reed","year":"1984","journal-title":"Software Practice and Experience"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx1\/32\/299\/00006138.pdf?arnumber=6138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:05:46Z","timestamp":1638216346000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6138\/"}},"issued":{"date-parts":[[1988,5]]},"references-count":17,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/32.6138","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1988,5]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T15:37:46Z","timestamp":1694619466258},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[1988,4,1]],"date-time":"1988-04-01T00:00:00Z","timestamp":575856000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1988,4]]},"DOI":"10.1109\/32.4675","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"522-531","source":"Crossref","is-referenced-by-count":11,"title":["A performance comparison of multimicro and mainframe database architectures"],"prefix":"10.1109","volume":"14","author":[{"given":"P.","family":"Heidelberger","sequence":"first","affiliation":[]},{"given":"M.S.","family":"Lakshmi","sequence":"additional","affiliation":[]}],"member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx1\/32\/261\/00004675.pdf?arnumber=4675","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:05:41Z","timestamp":1638216341000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4675\/"}},"issued":{"date-parts":[[1988,4]]},"references-count":0,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/32.4675","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1988,4]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T15:42:24Z","timestamp":1694619744033},"reference-count":5,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1988]]},"DOI":"10.1109\/32.6193","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"1480-1481","source":"Crossref","is-referenced-by-count":1,"title":["Quicksort revisited"],"prefix":"10.1109","volume":"14","author":[{"given":"C.M.","family":"Davidson","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"160","author":"gonnet","year":"1984","journal-title":"Handbook of Algorithms and Data Structures"},{"key":"ref3","author":"dijkstra","year":"1976","journal-title":"A Discipline of Programming"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312935"},{"key":"ref2","first-page":"79","author":"wirth","year":"1976","journal-title":"Algorithms + Data Structures = Programs"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/5.1.10"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx4\/32\/302\/00006193.pdf?arnumber=6193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:05:47Z","timestamp":1638216347000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6193\/"}},"issued":{"date-parts":[[1988]]},"references-count":5,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/32.6193","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1988]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T20:19:56Z","timestamp":1694636396950},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[1984,1,1]],"date-time":"1984-01-01T00:00:00Z","timestamp":441763200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1984,1]]},"DOI":"10.1109\/tse.1984.5010209","type":"journal-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T20:37:01Z","timestamp":1243975021000},"page":"c2-c2","source":"Crossref","is-referenced-by-count":0,"title":["[Front cover]"],"prefix":"10.1109","volume":"SE-10","member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/5010187\/05010209.pdf?arnumber=5010209","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:31Z","timestamp":1638219271000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5010209\/"}},"issued":{"date-parts":[[1984,1]]},"references-count":0,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tse.1984.5010209","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1984,1]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T20:20:04Z","timestamp":1694636404498},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[1984,9,1]],"date-time":"1984-09-01T00:00:00Z","timestamp":462844800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1984,9]]},"DOI":"10.1109\/tse.1984.5010268","type":"journal-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T20:37:01Z","timestamp":1243975021000},"page":"473-473","source":"Crossref","is-referenced-by-count":0,"title":["Editorial Announcement"],"prefix":"10.1109","volume":"SE-10","member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/5010265\/05010268.pdf?arnumber=5010268","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:32Z","timestamp":1638219272000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5010268\/"}},"issued":{"date-parts":[[1984,9]]},"references-count":0,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.1984.5010268","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1984,9]]}}],"items-per-page":20,"query":{"start-index":0,"search-terms":null}}}