{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:23:28Z","timestamp":1742401408143,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/robot.2004.1308784","type":"proceedings-article","created":{"date-parts":[[2004,9,7]],"date-time":"2004-09-07T10:26:45Z","timestamp":1094552805000},"page":"3429-3434 Vol.4","source":"Crossref","is-referenced-by-count":3,"title":["\"May you have a strong (-typed) foundation\" why strong-typed programming languages do matter"],"prefix":"10.1109","author":[{"given":"N.","family":"Tomatis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Brega","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Rivera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Siegwart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Software Quality Assurance and Management","year":"1987","author":"evans","key":"ref10"},{"key":"ref11","article-title":"Fault Tolerant Control Concepts Applied to Anasthesia","author":"frei","year":"2000","journal-title":"ETH Nr 13599 ZH"},{"key":"ref12","volume":"7","author":"halstead","year":"1977","journal-title":"Elements of Software Science Operating and Programming Systems Series"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1998.680628"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/2.312055"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97964"},{"key":"ref16","first-page":"131","author":"marciniak","year":"1994","journal-title":"Encyclopedia of Software Engineering"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/76380.76382"},{"key":"ref18","first-page":"5","article-title":"Software Complexity, Crosstalk","volume":"7","author":"mccabe","year":"1994","journal-title":"Journal of Defense Software Engineering"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-79898-6"},{"key":"ref4","article-title":"A Personal Robot for Personal Robot Programmers-The Role of Automatic Storage Reclamation and Programming Languages in the Lifetime of a Safe Mechatronic System","author":"brega","year":"2001","journal-title":"Proc IEEE Int Conf Advanced Intelligent Mechatronics"},{"key":"ref3","article-title":"The Need for Autonomy and Real-Time in Mobile Robotics: A Case Study of XO\/2 and Pygmalion","author":"brega","year":"2000","journal-title":"IEEE\/RSJ International Conference on Intelligent Robots and Systems"},{"key":"ref6","article-title":"A Combination of System Software Techniques Aimed at Raising the Run-Time Safety of Complex Mechatronic Applications","author":"brega","year":"2002","journal-title":"ETH Nr 14513 ZOrich"},{"key":"ref5","article-title":"Safety vs, Speed","author":"brega","year":"2002","journal-title":"Proc of the MSy'02 Embedded Systems in Mechatronics"},{"key":"ref8","article-title":"Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems","author":"corti","year":"2000","journal-title":"Lecture Notes in Computer Science 1985 (LNCS 1985)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"journal-title":"Characteristics of Software Quality","year":"1978","author":"boehm","key":"ref2"},{"journal-title":"Software Quality Engineering A Total Technical and Management Approach","year":"1988","author":"deutsch","key":"ref9"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA307888","author":"barbacci","year":"1995","journal-title":"Quality Attributes (CMUISEI-95-TR-021)"},{"journal-title":"HP-MAS-A Tool for Software Maintainability Software Engineering (#91-08-TR)","year":"1991","author":"oman","key":"ref20"},{"key":"ref22","doi-asserted-by":"crossref","DOI":"10.21236\/ADA145869","author":"szulewski","year":"1984","journal-title":"Automating Software Design Metrics"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0164-1212(94)90067-1"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2003.1242256"},{"journal-title":"Insight ETHOS On Object-Orientation in Operating Systems VDF","year":"1992","author":"szyperski","key":"ref23"},{"journal-title":"Structured testing A testing methodology using the cyclomatic complexity metric","year":"1996","author":"watson","key":"ref26"},{"key":"ref25","article-title":"Method and Device for In-vivo Measurement of Elasto-Mechanical Properties of Soft Biological Tissues","volume":"8","author":"vuskovic","year":"1999","journal-title":"Machine Graphics & Vision International Journal"}],"event":{"name":"IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004","start":{"date-parts":[[2004,4,26]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2004,5,1]]}},"container-title":["IEEE International Conference on Robotics and Automation, 2004. Proceedings. ICRA '04. 2004"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9126\/29027\/01308784.pdf?arnumber=1308784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,7,26]],"date-time":"2018-07-26T20:53:07Z","timestamp":1532638387000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1308784\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/robot.2004.1308784","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}