{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:52Z","timestamp":1750220632233,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T00:00:00Z","timestamp":1605398400000},"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":[],"published-print":{"date-parts":[[2020,11,15]]},"DOI":"10.1145\/3426430.3428136","type":"proceedings-article","created":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T18:41:54Z","timestamp":1606243314000},"page":"28-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A software library model for the internet of things"],"prefix":"10.1145","author":[{"given":"Ian C.","family":"McCormack","sequence":"first","affiliation":[{"name":"University of Wisconsin-Eau Claire, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,15]]},"reference":[{"volume-title":"npm. htps:\/\/www.npmjs.com\/. [Online","year":"2020","key":"e_1_3_2_1_1_1","unstructured":"2020. npm. htps:\/\/www.npmjs.com\/. [Online ; accessed 20- July - 2020 ]. 2020. npm. htps:\/\/www.npmjs.com\/. [Online; accessed 20-July-2020]."},{"volume-title":"npm-install. htps:\/\/docs.npmjs.com\/cli\/install. [Online","year":"2020","key":"e_1_3_2_1_2_1","unstructured":"2020. npm-install. htps:\/\/docs.npmjs.com\/cli\/install. [Online ; accessed 20- July - 2020 ]. 2020. npm-install. htps:\/\/docs.npmjs.com\/cli\/install. [Online; accessed 20-July-2020]."},{"volume-title":"pip-The Python Package Installer. htps:\/\/pip.pypa.io\/en\/stable\/. [Online","year":"2020","key":"e_1_3_2_1_3_1","unstructured":"2020. pip-The Python Package Installer. htps:\/\/pip.pypa.io\/en\/stable\/. [Online ; accessed 20- July - 2020 ]. 2020. pip-The Python Package Installer. htps:\/\/pip.pypa.io\/en\/stable\/. [Online; accessed 20-July-2020]."},{"key":"e_1_3_2_1_4_1","volume-title":"htps:\/\/semver.org\/. [Online","author":"Semantic Versioning","year":"2020","unstructured":"2020. Semantic Versioning 2.0.0. htps:\/\/semver.org\/. [Online ; accessed 12- August - 2020 ]. 2020. Semantic Versioning 2.0.0. htps:\/\/semver.org\/. [Online; accessed 12-August-2020]."},{"volume-title":"Virtual Environments and Packages. htps:\/\/docs.python.org\/3\/ tutorial\/venv.html. [Online","year":"2020","key":"e_1_3_2_1_5_1","unstructured":"2020. Virtual Environments and Packages. htps:\/\/docs.python.org\/3\/ tutorial\/venv.html. [Online ; accessed 20- July - 2020 ]. 2020. Virtual Environments and Packages. htps:\/\/docs.python.org\/3\/ tutorial\/venv.html. [Online; accessed 20-July-2020]."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 2005 Workshop on End-to-End, Sense-and-Respond Systems, Applications and Services (Seattle, Washington) ( EESR '05). USENIX Association, USA, 19-24","author":"Bakshi Amol","year":"2005","unstructured":"Amol Bakshi , Viktor K. Prasanna , Jim Reich , and Daniel Larner . 2005 . The Abstract Task Graph: A Methodology for ArchitectureIndependent Programming of Networked Sensor Systems . In Proceedings of the 2005 Workshop on End-to-End, Sense-and-Respond Systems, Applications and Services (Seattle, Washington) ( EESR '05). USENIX Association, USA, 19-24 . Amol Bakshi, Viktor K. Prasanna, Jim Reich, and Daniel Larner. 2005. The Abstract Task Graph: A Methodology for ArchitectureIndependent Programming of Networked Sensor Systems. In Proceedings of the 2005 Workshop on End-to-End, Sense-and-Respond Systems, Applications and Services (Seattle, Washington) ( EESR '05). USENIX Association, USA, 19-24."},{"key":"e_1_3_2_1_7_1","unstructured":"Daniel Barlow. [n.d.]. ASDF: Another System Definition Facility-Manual for 3.3.4.  Daniel Barlow. [n.d.]. ASDF: Another System Definition Facility-Manual for 3.3.4."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"C. Bormann M. Ersue and A. Keranen. 2014. Terminology for Constrained-Node Networks. htps:\/\/tools.ietf.org\/html\/rfc7228# section-2. 1  C. Bormann M. Ersue and A. Keranen. 2014. Terminology for Constrained-Node Networks. htps:\/\/tools.ietf.org\/html\/rfc7228# section-2. 1","DOI":"10.17487\/rfc7228"},{"volume-title":"Ultra-Large-Scale Systems: The Software Challenge of the Future","author":"Feiler Peter","key":"e_1_3_2_1_9_1","unstructured":"Peter Feiler , Kevin Sullivan , Kurt Wallnau , Richard Gabriel , John Goodenough , Richard Linger , Thomas Longstaf , Rick Kazman , Mark Klein , Linda Northrop , and Douglas Schmidt . 2006. Ultra-Large-Scale Systems: The Software Challenge of the Future . Software Engineering Institute, Carnegie Mellon University . Peter Feiler, Kevin Sullivan, Kurt Wallnau, Richard Gabriel, John Goodenough, Richard Linger, Thomas Longstaf, Rick Kazman, Mark Klein, Linda Northrop, and Douglas Schmidt. 2006. Ultra-Large-Scale Systems: The Software Challenge of the Future. Software Engineering Institute, Carnegie Mellon University."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034574.2034812"},{"key":"e_1_3_2_1_11_1","first-page":"84","volume-title":"Proc. IEEE 91","author":"Henzinger T. A.","year":"2003","unstructured":"T. A. Henzinger , B. Horowitz , and C. M. Kirsch . 2003. Giotto: a timetriggered language for embedded programming . Proc. IEEE 91 , 1 ( 2003 ), 84 - 99 . htps:\/\/doi.org\/10.1109\/JPROC. 2002.805825 T. A. Henzinger, B. Horowitz, and C. M. Kirsch. 2003. Giotto: a timetriggered language for embedded programming. Proc. IEEE 91, 1 ( 2003 ), 84-99. htps:\/\/doi.org\/10.1109\/JPROC. 2002.805825"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013208.1013209"},{"key":"e_1_3_2_1_13_1","first-page":"200","volume-title":"Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation (San Diego, California, USA) ( PLDI '07). Association for Computing Machinery","author":"Kothari Nupur","year":"2007","unstructured":"Nupur Kothari , Ramakrishna Gummadi , Todd Millstein , and Ramesh Govindan . 2007 . Reliable and Eficient Programming Abstractions for Wireless Sensor Networks . In Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation (San Diego, California, USA) ( PLDI '07). Association for Computing Machinery , New York, NY, USA , 200 - 210 . htps:\/\/doi.org\/10.1145\/1250734. 1250757 Nupur Kothari, Ramakrishna Gummadi, Todd Millstein, and Ramesh Govindan. 2007. Reliable and Eficient Programming Abstractions for Wireless Sensor Networks. In Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation (San Diego, California, USA) ( PLDI '07). Association for Computing Machinery, New York, NY, USA, 200-210. htps:\/\/doi.org\/10.1145\/1250734. 1250757"},{"key":"e_1_3_2_1_14_1","first-page":"207","volume-title":"Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"Kuck D. J.","unstructured":"D. J. Kuck , R. H. Kuhn , D. A. Padua , B. Leasure , and M. Wolfe . 1981. Dependence Graphs and Compiler Optimizations . In Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages ( Williamsburg, Virginia) (POPL '81). Association for Computing Machinery, New York, NY, USA , 207 - 218 . htps:\/\/doi.org\/10.1145\/567532.567555 D. J. Kuck, R. H. Kuhn, D. A. Padua, B. Leasure, and M. Wolfe. 1981. Dependence Graphs and Compiler Optimizations. In Proceedings of the 8th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Williamsburg, Virginia) (POPL '81). Association for Computing Machinery, New York, NY, USA, 207-218. htps:\/\/doi.org\/10.1145\/567532.567555"},{"key":"e_1_3_2_1_15_1","first-page":"42","volume-title":"Proceedings of the XXXII Brazilian Symposium on Software Engineering","author":"Motta Rebeca C.","unstructured":"Rebeca C. Motta , K\u00e1thia M. de Oliveira , and Guilherme H. Travassos . 2018. On Challenges in Engineering IoT Software Systems . In Proceedings of the XXXII Brazilian Symposium on Software Engineering ( Sao Carlos, Brazil) (SBES '18). Association for Computing Machinery, New York, NY, USA , 42 - 51 . htps:\/\/doi.org\/10.1145\/3266237.3266263 Rebeca C. Motta, K\u00e1thia M. de Oliveira, and Guilherme H. Travassos. 2018. On Challenges in Engineering IoT Software Systems. In Proceedings of the XXXII Brazilian Symposium on Software Engineering (Sao Carlos, Brazil) (SBES '18). Association for Computing Machinery, New York, NY, USA, 42-51. htps:\/\/doi.org\/10.1145\/3266237.3266263"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1052199.1052213"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99595"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2342441.2342451"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"SPLASH '20"},"container-title":["Companion Proceedings of the 2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426430.3428136","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426430.3428136","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:45Z","timestamp":1750197705000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426430.3428136"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,15]]},"references-count":18,"alternative-id":["10.1145\/3426430.3428136","10.1145\/3426430"],"URL":"https:\/\/doi.org\/10.1145\/3426430.3428136","relation":{},"subject":[],"published":{"date-parts":[[2020,11,15]]},"assertion":[{"value":"2020-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}