{"status":"ok","message-type":"work-list","message-version":"1.0.0","message":{"facets":{},"total-results":5988,"items":[{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:47:29Z","timestamp":1694630849905},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[1983,9,1]],"date-time":"1983-09-01T00:00:00Z","timestamp":431222400000},"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":[[1983,9]]},"DOI":"10.1109\/tse.1983.235112","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T18:41:16Z","timestamp":1182969676000},"page":"c1-c1","source":"Crossref","is-referenced-by-count":0,"title":["IEEE Transactions on Software Engineering - Table of contents"],"prefix":"10.1109","volume":"SE-9","member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35936\/01703093.pdf?arnumber=1703093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:28Z","timestamp":1638219268000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1703093\/"}},"issued":{"date-parts":[[1983,9]]},"references-count":0,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.1983.235112","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1983,9]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:48:45Z","timestamp":1694630925128},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[1982,9,1]],"date-time":"1982-09-01T00:00:00Z","timestamp":399686400000},"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,9]]},"DOI":"10.1109\/tse.1982.235877","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T14:41:16Z","timestamp":1182955276000},"page":"530-532","source":"Crossref","is-referenced-by-count":0,"title":["On a Class of Linear Maps for Data Compression"],"prefix":"10.1109","volume":"SE-8","author":[{"given":"S.","family":"Kundu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35930\/01702981.pdf?arnumber=1702981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T15:54:27Z","timestamp":1638201267000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1702981\/"}},"issued":{"date-parts":[[1982,9]]},"references-count":0,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.1982.235877","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1982,9]]}},{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T11:34:36Z","timestamp":1742384076034},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[1997,5,1]],"date-time":"1997-05-01T00:00:00Z","timestamp":862444800000},"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":[[1997,5]]},"DOI":"10.1109\/32.588523","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"314-323","source":"Crossref","is-referenced-by-count":8,"title":["Dynamic verification of C++ generic algorithms"],"prefix":"10.1109","volume":"23","author":[{"family":"Changqing Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.R.","family":"Musser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"bibe031411","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90192-9"},{"key":"bibe031412","article-title":"a program verifier","author":"king","year":"1969","journal-title":"\"A Program Verifier \""},{"key":"bibe031413","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808444"},{"key":"bibe031414","doi-asserted-by":"publisher","DOI":"10.1145\/800182.810412"},{"key":"bibe031415","doi-asserted-by":"publisher","DOI":"10.1109\/52.62935"},{"key":"bibe031416","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1994.342800"},{"key":"bibe031417","article-title":"program verification by subgoal induction","volume":"2","author":"morris","year":"1977","journal-title":"Current Trends in Programming Methodology"},{"key":"bibe031418","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-7089-5"},{"key":"bibe031419","article-title":"a basis for formal specification and verification of generic algorithms in the c++ standard template library","author":"musser","year":"1995"},{"key":"bibe031430","article-title":"dynamic verification of c++ generic components: a practical method and its support system","author":"wang","year":"1996","journal-title":"Proc The First Workshop on Formal Methods in Software Practice"},{"key":"bibe031431","doi-asserted-by":"publisher","DOI":"10.1109\/2.58215"},{"key":"bibe031432","article-title":"a two-tiered approach to specifying programs","author":"wing","year":"1983","journal-title":"\"A Two-Tiered Approach to Specifying Programs \""},{"key":"bibe031410","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-11490-4_24"},{"key":"bibe03143","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)90032-9"},{"key":"bibe031424","author":"shankar","year":"1993","journal-title":"The PVS Proof Checker A Reference Manual"},{"key":"bibe03142","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195297"},{"key":"bibe031425","article-title":"specifying and testing software components using adl","author":"sankar","year":"1994"},{"key":"bibe03141","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808445"},{"key":"bibe031422","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"key":"bibe031423","article-title":"the pvs specification language","author":"shankar","year":"1993","journal-title":"\"The PVS Specification Language \""},{"key":"bibe031428","author":"stepanov","year":"0"},{"key":"bibe03147","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5"},{"key":"bibe031429","article-title":"integrating tools and methods for rigorous analysis of c++ generic library components","author":"wang","year":"1996","journal-title":"\"Integrating Tools and Methods For Rigorous Analysis of C++ Generic Library Components \""},{"key":"bibe03146","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5983-1"},{"key":"bibe031426","article-title":"debugging with gdb","author":"stallman","year":"1993","journal-title":"\"Debugging with GDB \""},{"key":"bibe03145","article-title":"application of algebraic specification using obj","author":"goguen","year":"1992","journal-title":"Introducing OBJ"},{"key":"bibe031427","article-title":"the standard template library","author":"stepanov","year":"1994"},{"key":"bibe03144","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1049\/sej.1992.0033","article-title":"specifications are (preferably) executable","volume":"7","author":"fuchs","year":"1992","journal-title":"Software Engineering Journal"},{"key":"bibe03149","article-title":"tecton: a framework for specifying and verifying generic system components","author":"kapur","year":"1992"},{"key":"bibe03148","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"bibe031421","doi-asserted-by":"publisher","DOI":"10.1145\/186258.187158"},{"key":"bibe031420","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567549"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx1\/32\/12787\/00588523.pdf?arnumber=588523","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:05:45Z","timestamp":1638216345000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/588523\/"}},"issued":{"date-parts":[[1997,5]]},"references-count":32,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/32.588523","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1997,5]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:05:26Z","timestamp":1694624726208},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[1992,6,1]],"date-time":"1992-06-01T00:00:00Z","timestamp":707356800000},"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":[[1992,6]]},"DOI":"10.1109\/32.142874","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"523-533","source":"Crossref","is-referenced-by-count":11,"title":["Knowledge representation and reasoning in a software synthesis architecture"],"prefix":"10.1109","volume":"18","author":[{"given":"D.E.","family":"Setliff","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.A.","family":"Rutenbar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TEC.1961.5219222"},{"key":"ref11","article-title":"Automatic data structure choices in SETL","author":"liu","year":"1979","journal-title":"Courant Inst of Math Sci"},{"key":"ref12","year":"1991","journal-title":"Automatic Software Design"},{"key":"ref13","author":"mccartney","year":"1987","journal-title":"Synthesizing Algorithms with Performance Constraints"},{"key":"ref14","author":"mostow","year":"1988","journal-title":"Diogenes Progress toward semi-automatic design of specialized heuristic search algorithms"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270260"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010280"},{"key":"ref17","author":"newell","year":"1972","journal-title":"Human Problem Solving"},{"key":"ref18","first-page":"49","article-title":"A D&T roundtable: CAD software development","author":"newton","year":"1988","journal-title":"IEEE Design & Test"},{"key":"ref19","volume":"4","year":"1986","journal-title":"Advances in CAD for VLSI"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1981.12167"},{"key":"ref4","first-page":"201","author":"barstow","year":"1984","journal-title":"Automatic Program Construction Techniques"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1991.160356"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(79)90013-4"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/TSE.1981.230815","article-title":"program development as a formal activity","volume":"se 7","author":"broy","year":"1981","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/108515.108531"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(83)90009-7"},{"key":"ref7","first-page":"136","article-title":"The Lee router revisited","author":"hightower","year":"1983","journal-title":"Proc IEEE ICCD-83"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-7122-9_7"},{"key":"ref9","volume":"3","author":"knuth","year":"1973","journal-title":"Computer Science and Information Processing"},{"key":"ref1","author":"aho","year":"1974","journal-title":"The Design and Analysis of Computer Algorithms"},{"key":"ref20","year":"1986","journal-title":"Readings in Artificial Intelligence and Software Engineering"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/357133.357135"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/2.75"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312974"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/43.137507"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90025-9"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.58788"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx1\/32\/3831\/00142874.pdf?arnumber=142874","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:08:40Z","timestamp":1638216520000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/142874\/"}},"issued":{"date-parts":[[1992,6]]},"references-count":28,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/32.142874","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1992,6]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:44:50Z","timestamp":1694630690019},"reference-count":13,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[1987,2,1]],"date-time":"1987-02-01T00:00:00Z","timestamp":539136000000},"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,2]]},"DOI":"10.1109\/tse.1987.226479","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T18:41:16Z","timestamp":1182969676000},"page":"157-168","source":"Crossref","is-referenced-by-count":11,"title":["An Experience Using Two Covert Channel Analysis Techniques on a Real System Design"],"prefix":"10.1109","volume":"SE-13","author":[{"given":"J.T.","family":"Haigh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.A.","family":"Kemmerer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Mchugh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.D.","family":"Young","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","author":"haigh","year":"150","journal-title":"Extending noninterference of MLS for SAT"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567779"},{"key":"ref12","author":"mchugh","year":"1984","journal-title":"Towards the generation of efficient code from verified programs"},{"key":"ref13","author":"levitt","year":"1986","journal-title":"Overview of enhanced HDM"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.21236\/ADA494739","author":"good","year":"1984","journal-title":"Mechanical proofs about computer programs"},{"key":"ref3","first-page":"1","article-title":"secure computing: the secure ada target approach","volume":"6","author":"bobbert","year":"1985","journal-title":"Scientific Honeyweller"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1012497.1012548"},{"key":"ref5","author":"young","year":"1985","journal-title":"Modelling security abstractly in the Secure Ada Target"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SP.1982.10014"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/357369.357374"},{"key":"ref2","author":"bell","year":"1975","journal-title":"Secure Computer System Unified Exposition and Multics Interpretation"},{"key":"ref1","year":"1985","journal-title":"Department ofDefense Trusted Computer Systems Evaluation Criteria"},{"key":"ref9","author":"rushby","year":"1984","journal-title":"Mathematical foundations of the MLS tool for revised special"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35884\/01702197.pdf?arnumber=1702197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:40Z","timestamp":1638219280000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1702197\/"}},"issued":{"date-parts":[[1987,2]]},"references-count":13,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.1987.226479","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1987,2]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T20:19:12Z","timestamp":1694636352692},"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.5010189","type":"journal-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T20:37:01Z","timestamp":1243975021000},"page":"nil1-nil1","source":"Crossref","is-referenced-by-count":1,"title":["IEEE Computer Society"],"prefix":"10.1109","volume":"SE-10","member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/5010187\/05010189.pdf?arnumber=5010189","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:30Z","timestamp":1638219270000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5010189\/"}},"issued":{"date-parts":[[1984,1]]},"references-count":0,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tse.1984.5010189","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1984,1]]}},{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:00:02Z","timestamp":1740132002975,"version":"3.37.3"},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019,1,1]]},"DOI":"10.1109\/tse.2018.2885501","type":"journal-article","created":{"date-parts":[[2019,1,16]],"date-time":"2019-01-16T19:37:16Z","timestamp":1547667436000},"page":"1-1","source":"Crossref","is-referenced-by-count":0,"title":["Editorial: State of the Journal"],"prefix":"10.1109","volume":"45","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1906-4878","authenticated-orcid":false,"given":"Nenad","family":"Medvidovic","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/8605390\/08605418.pdf?arnumber=8605418","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,13]],"date-time":"2022-07-13T21:14:28Z","timestamp":1657746868000},"score":0.0,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8605418\/"}},"issued":{"date-parts":[[2019,1,1]]},"references-count":0,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tse.2018.2885501","ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"published":{"date-parts":[[2019,1,1]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:47:56Z","timestamp":1694630876384},"reference-count":6,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[1980,9,1]],"date-time":"1980-09-01T00:00:00Z","timestamp":336614400000},"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,9]]},"DOI":"10.1109\/tse.1980.230787","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T18:41:16Z","timestamp":1182969676000},"page":"465-479","source":"Crossref","is-referenced-by-count":8,"title":["Program correctness: on inductive assertion methods"],"prefix":"10.1109","volume":"SE-6","author":[{"given":"J.C.","family":"King","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/800235.807070"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(71)80035-1"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(71)90355-X"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/359461.359466"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/356674.356677"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35918\/01702763.pdf?arnumber=1702763","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\/1702763\/"}},"issued":{"date-parts":[[1980,9]]},"references-count":6,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.1980.230787","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1980,9]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:48:09Z","timestamp":1694630889763},"reference-count":6,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[1976,12,1]],"date-time":"1976-12-01T00:00:00Z","timestamp":218246400000},"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":[[1976,12]]},"DOI":"10.1109\/tse.1976.233829","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T14:41:16Z","timestamp":1182955276000},"page":"244-252","source":"Crossref","is-referenced-by-count":5,"title":["Induction as the Basis for Program Verification"],"prefix":"10.1109","volume":"SE-2","author":[{"given":"C.","family":"Reynolds","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.T.","family":"Yeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref3","author":"dijkstra","year":"1976","journal-title":"A Discipline of Programming"},{"key":"ref6","article-title":"program verification by subgoal induction","author":"morris","year":"1976","journal-title":"Commun Ass Comput Mach"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/361454.361460"},{"key":"ref2","author":"dedekind","year":"1887","journal-title":"Was sind und was souien die Zahlen?"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/12.1.41"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35895\/01702380.pdf?arnumber=1702380","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T15:54:15Z","timestamp":1638201255000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1702380\/"}},"issued":{"date-parts":[[1976,12]]},"references-count":6,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tse.1976.233829","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1976,12]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:46:58Z","timestamp":1694630818565},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[1981,5,1]],"date-time":"1981-05-01T00:00:00Z","timestamp":357523200000},"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":[[1981,5]]},"DOI":"10.1109\/tse.1981.234529","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T14:41:16Z","timestamp":1182955276000},"page":"332-332","source":"Crossref","is-referenced-by-count":0,"title":["IEEE Computer Society Publications"],"prefix":"10.1109","volume":"SE-7","member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35922\/01702847.pdf?arnumber=1702847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T15:54:25Z","timestamp":1638201265000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1702847\/"}},"issued":{"date-parts":[[1981,5]]},"references-count":0,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tse.1981.234529","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1981,5]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T20:19:34Z","timestamp":1694636374554},"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.5010285","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\/5010265\/05010285.pdf?arnumber=5010285","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\/5010285\/"}},"issued":{"date-parts":[[1984,9]]},"references-count":0,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.1984.5010285","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1984,9]]}},{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T11:39:16Z","timestamp":1649072356794},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018,1]]},"DOI":"10.1109\/tse.2017.2784782","type":"journal-article","created":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T19:41:13Z","timestamp":1515440473000},"page":"1-9","source":"Crossref","is-referenced-by-count":0,"title":["2017 Index IEEE Transactions on Software Engineering Vol. 43"],"prefix":"10.1109","volume":"44","member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/8249562\/08249567.pdf?arnumber=8249567","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:27:07Z","timestamp":1642004827000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8249567\/"}},"issued":{"date-parts":[[2018,1]]},"references-count":0,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tse.2017.2784782","ISSN":["0098-5589","1939-3520"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"}],"published":{"date-parts":[[2018,1]]}},{"indexed":{"date-parts":[[2022,3,28]],"date-time":"2022-03-28T23:56:08Z","timestamp":1648511768137},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[1975,6,1]],"date-time":"1975-06-01T00:00:00Z","timestamp":170812800000},"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,6]]},"DOI":"10.1109\/tse.1975.6312830","type":"journal-article","created":{"date-parts":[[2012,9,27]],"date-time":"2012-09-27T13:02:48Z","timestamp":1348750968000},"page":"1-1","source":"Crossref","is-referenced-by-count":0,"title":["Table of contents"],"prefix":"10.1109","volume":"SE-1","member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/6312829\/06312830.pdf?arnumber=6312830","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\/6312830\/"}},"issued":{"date-parts":[[1975,6]]},"references-count":0,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.1975.6312830","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1975,6]]}},{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:39:53Z","timestamp":1742395193579,"version":"3.38.0"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"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":[[2002,12]]},"DOI":"10.1109\/tse.2002.1158290","type":"journal-article","created":{"date-parts":[[2003,2,6]],"date-time":"2003-02-06T21:06:40Z","timestamp":1044565600000},"page":"1181-1193","source":"Crossref","is-referenced-by-count":15,"title":["Is it possible to decorate graphical software design and architecture models with qualitative Information?-An experiment"],"prefix":"10.1109","volume":"28","author":[{"given":"L.","family":"Bratthall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Wohlin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Social Psychology","year":"1987","author":"Asch","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1995.1007"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/2.488299"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/69605.2085"},{"volume-title":"Software Architecture in Practise","author":"Bass","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/bf00402398"},{"volume-title":"Semiology of Graphics","year":"1983","author":"Bertin","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1515\/9783110854688"},{"volume-title":"Design & Use of Software Architectures: Adopting and Evolving a Product-line Approach","year":"2000","author":"Bosch","key":"ref9"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(00)00129-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1997.601291"},{"volume-title":"Quasi-ExperimentationDesign and Analysis Issues for Field Settings","author":"Cook","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60392-1_1"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/32.895984"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/s0377-2217(97)00244-0"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0052106"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1999.792584"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1998.738508"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1037\/h0026041"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0052105"},{"article-title":"A Process for Reverse Engineering of AXE 10 Software","volume-title":"Proc. Sixth Reeng. Forum","author":"Haglund","key":"ref21"},{"issue":"3","key":"ref22","first-page":"201","article-title":"Using Students as SubjectsA Comparative Study of Students and Professionals in Lead-Time Impact Assessment","volume-title":"Empirical Software Eng.: An Int\u2019l J.","volume":"5","author":"H\u00f6st"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.2000.91944"},{"article-title":"International Telecommunication Union, Sector T (ITU-T)","volume-title":"Recommendation Z.100:1996Specification and Description Language SDL","year":"1996","key":"ref24"},{"volume-title":"Software Architecture for Product Families: Principles and Practise","author":"Jazayeri","key":"ref25"},{"article-title":"The Importance of Quality Requirements in Software Platform DevelopmentA Survey","volume-title":"Proc. Hawaii Int\u2019l Conf. Systems and Science (HICS-34)","author":"Johansson","key":"ref26"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/52.605933"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1952.10483441"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296764"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.1999.809335"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337477"},{"volume-title":"Design and Analysis of Experiments","year":"1991","author":"Montgomery","key":"ref32"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.1999.790190"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1998.738484"},{"volume-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh","key":"ref35"},{"volume-title":"The Analytic Hierarchy Process","year":"1980","author":"Saaty","key":"ref36"},{"volume-title":"Software ArchitecturePerspectives on an Emerging Discipline","year":"1996","author":"Shaw","key":"ref37"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/225014.225033"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.1997.624572"},{"issue":"4","key":"ref40","first-page":"309","article-title":"Hints for Reviewing Empirical Work in Software Engineering","volume-title":"Empirical Software Eng.: An Int\u2019l J.","volume":"5","author":"Tichy"},{"issue":"11","key":"ref41","first-page":"114","article-title":"Features and Objects in Visual Processing","volume-title":"Scientific American","volume":"254","author":"Treisman"},{"volume-title":"The Visual Display of Quantitative Information","year":"1983","author":"Tufte","key":"ref42"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/38.7760"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.5860\/choice.50-5018"}],"container-title":["IEEE Transactions on Software Engineering"],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/25950\/01158290.pdf?arnumber=1158290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T03:59:57Z","timestamp":1742097597000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1158290\/"}},"issued":{"date-parts":[[2002,12]]},"references-count":44,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2002,12]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2002.1158290","ISSN":["0098-5589"],"issn-type":[{"type":"print","value":"0098-5589"}],"published":{"date-parts":[[2002,12]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:45:55Z","timestamp":1694630755765},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[1977,3,1]],"date-time":"1977-03-01T00:00:00Z","timestamp":226022400000},"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":[[1977,3]]},"DOI":"10.1109\/tse.1977.229906","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T18:41:16Z","timestamp":1182969676000},"page":"150-156","source":"Crossref","is-referenced-by-count":1,"title":["An Analysis of Swapping Policies in Virtual Storage Systems"],"prefix":"10.1109","volume":"SE-3","author":[{"family":"We-Min Chow","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.W.","family":"Chiu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35897\/01702417.pdf?arnumber=1702417","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:15Z","timestamp":1638219255000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1702417\/"}},"issued":{"date-parts":[[1977,3]]},"references-count":0,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.1977.229906","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1977,3]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T15:41:29Z","timestamp":1694619689182},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[1988,6,1]],"date-time":"1988-06-01T00:00:00Z","timestamp":581126400000},"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,6]]},"DOI":"10.1109\/32.6155","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"749-757","source":"Crossref","is-referenced-by-count":22,"title":["Providing customized assistance for software lifecycle approaches"],"prefix":"10.1109","volume":"14","author":[{"given":"J.","family":"Ramanthan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Sarkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"14","article-title":"Process models, process programs, programming support","author":"lehman","year":"1987","journal-title":"Proc 9th Int Conf Software Engineering"},{"key":"ref11","first-page":"35","article-title":"Use of grammar templates for software engineering environments","author":"mcknight","year":"1985","journal-title":"Proc Softfair II"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/320141.320150"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17189-4_108"},{"key":"ref14","first-page":"2","article-title":"Software processes are software too","author":"osterweil","year":"1987","journal-title":"Proc 9th Int Conf Software Engineering"},{"key":"ref15","first-page":"1","article-title":"Prototyping a project master database for software engineering environments","author":"penedo","year":"1986","journal-title":"Proc ACM SIGSOFT\/SIGPLAN Software Engineering Symp Practical Software Development Environments"},{"key":"ref16","first-page":"2","article-title":"Environment modeling and activity management in Genesis","author":"ramamoorthy","year":"1985","journal-title":"Proc Softfair II"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1985.4767701"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/320544.320546"},{"key":"ref19","author":"smith","year":"1981","journal-title":"Reference Manual for ADAPLEX"},{"key":"ref4","article-title":"Implementation of TAXIS: Process management and enforcement of semantic integrity constraints","author":"chung","year":"1984","journal-title":"Taxis '84 Selected papers"},{"key":"ref3","article-title":"A Computer-based Project Management Assistant","author":"cheatham","year":"1984","journal-title":"Fall Compcon 75 Dig Papers"},{"key":"ref6","first-page":"36","article-title":"Iteration in the software process: Review of the 3rd International Software Process Workshop","author":"dowson","year":"1987","journal-title":"Proc 9th Int Conf Software Engineering"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17189-4_107"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/582250.582263"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(85)90012-3"},{"key":"ref2","author":"aron","year":"1983","journal-title":"The Program Development Process Part II?The Programming Team"},{"key":"ref1","author":"ambriola","year":"1984","journal-title":"An action routine model for ALOE"},{"key":"ref9","first-page":"180","article-title":"An architecture for intelligent assistance in software development","author":"kaiser","year":"1987","journal-title":"Proc 9th Int Conf Software Engineering"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/358746.358755"},{"key":"ref21","author":"venugopal","year":"0","journal-title":"Tool integration in life cycle support environments"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx1\/32\/300\/00006155.pdf?arnumber=6155","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\/6155\/"}},"issued":{"date-parts":[[1988,6]]},"references-count":21,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/32.6155","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1988,6]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T19:38:46Z","timestamp":1694633926583},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[1980,1,1]],"date-time":"1980-01-01T00:00:00Z","timestamp":315532800000},"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]]},"DOI":"10.1109\/tse.1980.234471","type":"journal-article","created":{"date-parts":[[2008,7,18]],"date-time":"2008-07-18T15:40:00Z","timestamp":1216395600000},"page":"112-112","source":"Crossref","is-referenced-by-count":0,"title":["Computer Communication Professionals..."],"prefix":"10.1109","volume":"SE-6","member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35914\/01702703.pdf?arnumber=1702703","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T15:54:22Z","timestamp":1638201262000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1702703\/"}},"issued":{"date-parts":[[1980]]},"references-count":0,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tse.1980.234471","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1980]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:49:51Z","timestamp":1694630991505},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[1979,9,1]],"date-time":"1979-09-01T00:00:00Z","timestamp":304992000000},"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":[[1979,9]]},"DOI":"10.1109\/tse.1979.230183","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T18:41:16Z","timestamp":1182969676000},"page":"453-458","source":"Crossref","is-referenced-by-count":8,"title":["An Exercise in Automatic Program Verification"],"prefix":"10.1109","volume":"SE-5","author":[{"given":"W.","family":"Polak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35912\/01702654.pdf?arnumber=1702654","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:19Z","timestamp":1638219259000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1702654\/"}},"issued":{"date-parts":[[1979,9]]},"references-count":0,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.1979.230183","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1979,9]]}},{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T18:47:45Z","timestamp":1694630865959},"reference-count":0,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[1979,11,1]],"date-time":"1979-11-01T00:00:00Z","timestamp":310262400000},"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":[[1979,11]]},"DOI":"10.1109\/tse.1979.230188","type":"journal-article","created":{"date-parts":[[2007,6,27]],"date-time":"2007-06-27T18:41:16Z","timestamp":1182969676000},"page":"c2-c2","source":"Crossref","is-referenced-by-count":0,"title":["IEEE Computer Society"],"prefix":"10.1109","volume":"SE-5","member":"263","container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/35913\/01702669.pdf?arnumber=1702669","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:54:19Z","timestamp":1638219259000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1702669\/"}},"issued":{"date-parts":[[1979,11]]},"references-count":0,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tse.1979.230188","ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"published":{"date-parts":[[1979,11]]}},{"indexed":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T05:40:26Z","timestamp":1742190026669,"version":"3.38.0"},"reference-count":46,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2005,9,1]],"date-time":"2005-09-01T00:00:00Z","timestamp":1125532800000},"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,9]]},"DOI":"10.1109\/tse.2005.99","type":"journal-article","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T17:52:41Z","timestamp":1128534761000},"page":"713-732","source":"Crossref","is-referenced-by-count":2,"title":["Automated aspect-oriented decomposition of process-control systems for ultra-high dependability assurance"],"prefix":"10.1109","volume":"31","author":[{"given":"D.","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.B.","family":"Bastani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.-I.","family":"Yen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/4904.4999"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.2004.1335664"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.210305"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018950608266"},{"article-title":"Dependability of Relational Safety-Critical Programs","volume-title":"Proc. IEEE Ini\u2019l Symp. Software Reliability Eng.","author":"Bastani","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2001.966808"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2001.989485"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.23"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICOIN.2001.905425"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-56922-7_31"},{"article-title":"Symbolic Model Checking with Partitioned Transition Relations","volume-title":"Proc. Int\u2019l Conf Very Large Scale Integration","author":"Burch","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63166-6_46"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.708566"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00030-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320420"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919076"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)90061-2"},{"key":"ref18","first-page":"283","article-title":"Inserting Ilities by Controlling Communications","author":"Filman","year":"2005","journal-title":"Aspect-Oriented Software Development"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177725"},{"article-title":"From Contracts to Aspects in UML Designs","volume-title":"Proc. Workshop Aspect-Oriented Modeling with UML at AOSD","author":"Jezequel","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45337-7_18"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.21236\/ADA417906"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1274042"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010246"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.263755"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/32.317428"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/12.88459"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/12.192210"},{"key":"ref30","article-title":"Rg: A Case-Study for Aspect-Oriented Programming","volume-title":"Technical Report SPL 97\u2013009 P9710044","author":"Mendhekar","year":"1997"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/226295.226300"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.1990.129523"},{"key":"ref33","first-page":"729","article-title":"Hyper\/J: Multi-Dimensional Separation of Concerns for Java","volume-title":"Proc. Int\u2019l Conf Software Eng.","author":"Ossher"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90110-9"},{"key":"ref36","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-7664-1","volume-title":"Temporal Logic","author":"Rescher","year":"1971"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/2.261919"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/ICNP.1993.340928"},{"key":"ref39","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1007\/BF01211911","article-title":"Compositional Minimization of Finite State Systems","volume":"8","author":"Steffen","year":"1996","journal-title":"lni\u2019l J. Formal Aspects of Computing"},{"key":"ref40","first-page":"275","article-title":"Assume-Guarantee Reasoning for Hierarchical Hybrid Systems","volume-title":"Proc. Fourth lni\u2019l Workshop Hybrid Systems: Computation and Control","author":"Thomas"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/334598.334613"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2005.10"},{"key":"ref43","article-title":"Stepwise Development of High-Assurance Process-Control Systems Based on Independently Developable End-User Assessable Logical (IDEAL) Aspects","volume-title":"Technical Report","author":"Wang","year":"2005"},{"key":"ref44","article-title":"Bay Area Rapid Transit District Advanced Automated Train Control System Case Study Description","author":"Winter","year":"1999","journal-title":"Sandia Nat\u2019l Labs"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.2004.1335662"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2363.2365"}],"container-title":["IEEE Transactions on Software Engineering"],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/32435\/01514442.pdf?arnumber=1514442","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,17]],"date-time":"2025-03-17T05:08:23Z","timestamp":1742188103000},"score":0.0,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1514442\/"}},"issued":{"date-parts":[[2005,9]]},"references-count":46,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tse.2005.99","ISSN":["0098-5589"],"issn-type":[{"type":"print","value":"0098-5589"}],"published":{"date-parts":[[2005,9]]}}],"items-per-page":20,"query":{"start-index":0,"search-terms":null}}}