{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:49:32Z","timestamp":1750308572492,"version":"3.41.0"},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2016,2,22]],"date-time":"2016-02-22T00:00:00Z","timestamp":1456099200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2016,2,22]]},"abstract":"<jats:p>\n            The four GTSE (General Theory of Software Engineering) Workshops have brought awareness to, more or less mature, differing approaches, candidate theories for SE (Software Engineering). But one asks how to appraise the generality of these theories? And in case they are specialized sub-theories, are they amenable to combination into more general theories? The papers of the fourth GTSE Workshop addressed these questions by means of what can be collectively refer to as\n            <jats:italic>Separability Principles<\/jats:italic>\n            . In a sense, participants used well known techniques applied to design software systems to design SE theories. Separability is a powerful tool for understanding relations among SE candidate theories and guide how to assemble sub-theories into a general framework. Participants enthusiastically debated a series of related issues. The specialized vs. general theories questions were raised in diverse forms, such as, SE meaning multiple things, good predictive theories for narrow problems, ability of General theories to generate specific theories, and last but not least, whether \"General\" capture the contents of the workshop itself. The 4th GTSE edition was collocated with ICSE 2015 (International Conference of Software Engineering) in Firenze, Italy\n          <\/jats:p>","DOI":"10.1145\/2853073.2853093","type":"journal-article","created":{"date-parts":[[2016,2,23]],"date-time":"2016-02-23T13:43:21Z","timestamp":1456235001000},"page":"25-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Separability Principles for a General Theory of Software Engineering"],"prefix":"10.1145","volume":"41","author":[{"given":"Iaakov","family":"Exman","sequence":"first","affiliation":[{"name":"Jerusalem College of Engineering, Israel"}]},{"given":"Dewayne E.","family":"Perry","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, USA"}]},{"given":"Balbir","family":"Barn","sequence":"additional","affiliation":[{"name":"Middlesex University, United Kingdom"}]},{"given":"Paul","family":"Ralph","sequence":"additional","affiliation":[{"name":"University of Auckland, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2016,2,22]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2439976.2439999"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2507288.2529923"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2674632.2674647"},{"key":"e_1_2_1_4_1","first-page":"8","volume-title":"Proc. 1st SEMAT Workshop on General Theories of Software Engineering","author":"Paivarinta T.","unstructured":"Paivarinta , T. and Smolander , K . 2012. A Framework for Building Theories from Software Development . Proc. 1st SEMAT Workshop on General Theories of Software Engineering , pp. 8 -- 9 . Paivarinta, T. and Smolander, K. 2012. A Framework for Building Theories from Software Development. Proc. 1st SEMAT Workshop on General Theories of Software Engineering, pp. 8--9."},{"key":"e_1_2_1_5_1","first-page":"16","volume-title":"Proc. 1st SEMAT Workshop on General Theories of Software Engineering","author":"Jarvinen H-M","unstructured":"Jarvinen H-M . and Tiusanen , M . 2012 . States and Transformations for Software Engineering Theory. Proc. 1st SEMAT Workshop on General Theories of Software Engineering , pp. 16 -- 17 . Jarvinen H-M. and Tiusanen, M. 2012. States and Transformations for Software Engineering Theory. Proc. 1st SEMAT Workshop on General Theories of Software Engineering, pp. 16--17."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/GTSE.2013.6613868"},{"volume-title":"Essence\u00bfKernel and Language for Software Engineering Methods. Standard #pct\/2013-06-08","key":"e_1_2_1_7_1","unstructured":"OMG 2013. Essence\u00bfKernel and Language for Software Engineering Methods. Standard #pct\/2013-06-08 . Object Management Group . OMG 2013. Essence\u00bfKernel and Language for Software Engineering Methods. Standard #pct\/2013-06-08. Object Management Group."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/GTSE.2013.6613869"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/GTSE.2013.6613865"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593752.2593759"},{"key":"e_1_2_1_11_1","first-page":"15","volume-title":"Proc.of the 2nd SEMAT Workshop on General Theories of Software Engineering","author":"Erbas C.","unstructured":"Erbas , C. and Erbas , B.C . 2013. On a theory of software engineering: a proposal based on transaction cost economics . Proc.of the 2nd SEMAT Workshop on General Theories of Software Engineering , pp. 15 -- 18 . Erbas, C. and Erbas, B.C. 2013. On a theory of software engineering: a proposal based on transaction cost economics. Proc.of the 2nd SEMAT Workshop on General Theories of Software Engineering, pp. 15--18."},{"key":"e_1_2_1_12_1","first-page":"23","volume-title":"Proc. 1st SEMAT Workshop on General Theories of Software Engineering","author":"Exman I.","year":"2012","unstructured":"Exman , I. 2012 . Linear Software Models . Proc. 1st SEMAT Workshop on General Theories of Software Engineering , pp. 23 -- 24 . Exman, I. 2012. Linear Software Models. Proc. 1st SEMAT Workshop on General Theories of Software Engineering, pp. 23--24."},{"key":"e_1_2_1_13_1","first-page":"13","volume-title":"Requirements on General Theories of Software Engineering. Proc. 1st SEMAT Workshop on General Theories of Software Engineering","author":"Johnson P.","unstructured":"Johnson , P. and Exman , I . 2012 . Requirements on General Theories of Software Engineering. Proc. 1st SEMAT Workshop on General Theories of Software Engineering , pp. 13 -- 14 . Johnson, P. and Exman, I. 2012. Requirements on General Theories of Software Engineering. Proc. 1st SEMAT Workshop on General Theories of Software Engineering, pp. 13--14."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593752.2593755"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/GTSE.2015.18"},{"key":"e_1_2_1_16_1","first-page":"1069","volume-title":"Proc. IFIP Tenth World Computing Conference","author":"Brooks F.P.","year":"1986","unstructured":"Brooks , F.P. 1986 . No Silver Bullet\u00bfEssence and accident in software engineering . Proc. IFIP Tenth World Computing Conference , pp. 1069 -- 1076 . Brooks, F.P. 1986. No Silver Bullet\u00bfEssence and accident in software engineering. Proc. IFIP Tenth World Computing Conference, pp. 1069--1076."},{"key":"e_1_2_1_17_1","first-page":"39","volume-title":"Proc. 4th SEMAT Workshop on General Theories of Software Engineering","author":"Perry D.E.","unstructured":"Perry , D.E. and Batory , D . 2015. A Theory about the Structure of GTSEs . Proc. 4th SEMAT Workshop on General Theories of Software Engineering , pp. 39 -- 46 . Perry, D.E. and Batory, D. 2015. A Theory about the Structure of GTSEs. Proc. 4th SEMAT Workshop on General Theories of Software Engineering, pp. 39--46."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/GTSE.2015.9"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2820167.2820175"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/GTSE.2015.10"},{"key":"e_1_2_1_21_1","first-page":"3","volume-title":"Proc. 4th SEMAT Workshop on General Theories of Software Engineering","author":"Hall J.G.","unstructured":"Hall , J.G. and Rapanotti , L . 2015. Towards a design-theoretic characterization of software development process models . Proc. 4th SEMAT Workshop on General Theories of Software Engineering , pp. 3 -- 14 . Hall, J.G. and Rapanotti, L. 2015. Towards a design-theoretic characterization of software development process models. Proc. 4th SEMAT Workshop on General Theories of Software Engineering, pp. 3--14."},{"key":"e_1_2_1_22_1","first-page":"33","volume-title":"Goal-Driven Adaptive Software Engineering. Proc. 4th SEMAT Workshop on General Theories of Software Engineering","author":"Park J.S.","year":"2015","unstructured":"Park , J.S. 2015 . Essence-Based , Goal-Driven Adaptive Software Engineering. Proc. 4th SEMAT Workshop on General Theories of Software Engineering , pp. 33 -- 38 . Park, J.S. 2015. Essence-Based, Goal-Driven Adaptive Software Engineering. Proc. 4th SEMAT Workshop on General Theories of Software Engineering, pp. 33--38."},{"key":"e_1_2_1_23_1","first-page":"47","volume-title":"Useful Software Engineering Theories. Proc. 4th SEMAT Workshop on General Theories of Software Engineering","author":"Staples M.","year":"2015","unstructured":"Staples , M. 2015 . The Unending Quest for Valid , Useful Software Engineering Theories. Proc. 4th SEMAT Workshop on General Theories of Software Engineering , pp. 47 -- 58 . Staples, M. 2015. The Unending Quest for Valid, Useful Software Engineering Theories. Proc. 4th SEMAT Workshop on General Theories of Software Engineering, pp. 47--58."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2853073.2853093","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2853073.2853093","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:04:30Z","timestamp":1750273470000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2853073.2853093"}},"subtitle":["Report on the GTSE 2015 Workshop"],"short-title":[],"issued":{"date-parts":[[2016,2,22]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,2,22]]}},"alternative-id":["10.1145\/2853073.2853093"],"URL":"https:\/\/doi.org\/10.1145\/2853073.2853093","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2016,2,22]]},"assertion":[{"value":"2016-02-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}