{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T06:53:19Z","timestamp":1730271199326,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/isads.2003.1193945","type":"proceedings-article","created":{"date-parts":[[2003,8,27]],"date-time":"2003-08-27T15:41:06Z","timestamp":1061998866000},"page":"169-174","source":"Crossref","is-referenced-by-count":0,"title":["The modest software engineer"],"prefix":"10.1109","author":[{"given":"M.","family":"Thomas","sequence":"first","affiliation":[]}],"member":"263","reference":[{"journal-title":"Shari Lawrence Pfleeger and Les Hatton Investigating the Influence of Formal Methods","first-page":"33","year":"1997","key":"ref10"},{"journal-title":"Principles of Program Design","year":"1975","author":"jackson","key":"ref11"},{"journal-title":"Spark","year":"0","key":"ref12"},{"journal-title":"Correctness by Construction Better Can Also Be Cheaper","year":"0","author":"arney","key":"ref13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/355604.361591"},{"journal-title":"NATO Science Committee Report","year":"1970","author":"buxton","key":"ref3"},{"journal-title":"British Computer Society","year":"2001","key":"ref6"},{"journal-title":"The Standish Group","year":"0","key":"ref5"},{"journal-title":"UK Computing Research Committee","year":"0","key":"ref8"},{"journal-title":"The Economic Impacts of Inadequate Infrastructure for Software Testing RTI Project Number 7007 011","year":"2002","key":"ref7"},{"key":"ref2","article-title":"See LEO and the Computer Revolution, David Tresman Caminer, CCEJ","volume":"13","year":"2002","journal-title":"On 17 November 1951 LEO ran its first business application providing management information for Joe Lyons bakery in London"},{"journal-title":"The Birth of The Baby Manchester University Department of Computer Science","article-title":"The first stored program computer, the Manchester University “Baby”, ran its first program in June 1948. The Designer, F. C. Williams, later wrote ”. and there, in the expected place, was the expected answer. That was June 1948, and nothing was ever the same again”. See Towards the 50th Anniversary of the Manchester Mark 1 Computer, Briefing Note 1","year":"1995","key":"ref1"},{"journal-title":"The Capability Maturity Model","year":"0","key":"ref9"}],"event":{"name":"International Symposium on Autonous Decentralized Systems (ISADS 2003)","acronym":"ISADS-03","location":"Pisa, Italy"},"container-title":["The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8490\/26851\/01193945.pdf?arnumber=1193945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T21:29:49Z","timestamp":1489440589000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1193945\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/isads.2003.1193945","relation":{},"subject":[]}}