{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:53Z","timestamp":1750308233423,"version":"3.41.0"},"reference-count":9,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[1985,7,1]],"date-time":"1985-07-01T00:00:00Z","timestamp":489024000000},"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":[[1985,7]]},"abstract":"<jats:p>This paper describes a software tool, PARTIAL, that monitors a sequence of stepwise refinements. This tool is designed to collect information about properties of the stepwise refinement of pseudocode, where the pseudocode can be based upon any target language. The particular language selected to illustrate the system here is Ada.The system is used to analyze a stepwise refinement sequence from Myers (7). While few patterns appear evident when looking at this sequence of stepwise refinements, use of the partial metrics system illuminates a set of distinctly linear trends in the development process. These trends suggest questions that can be investigated in the future using the partial metrics approach.<\/jats:p>","DOI":"10.1145\/1012483.1012493","type":"journal-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T17:39:09Z","timestamp":1097170749000},"page":"76-94","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["PARTIAL"],"prefix":"10.1145","volume":"10","author":[{"given":"Robert G.","family":"Reynolds","sequence":"first","affiliation":[{"name":"Wayne State University, Detroit, Michigan"}]}],"member":"320","published-online":{"date-parts":[[1985,7]]},"reference":[{"unstructured":"P. Gilbert Software Design and Development SRA Press Chicago 1983.   P. Gilbert Software Design and Development SRA Press Chicago 1983.","key":"e_1_2_1_1_1"},{"volume-title":"Mass.","year":"1979","author":"Linger R. C.","key":"e_1_2_1_2_1"},{"unstructured":"N. Gehani Ada: An Advanced Introduction Prentice-Hall Englewood Cliffs N.J. 1983.   N. Gehani Ada: An Advanced Introduction Prentice-Hall Englewood Cliffs N.J. 1983.","key":"e_1_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_4_1","DOI":"10.1145\/362575.362577"},{"doi-asserted-by":"publisher","key":"e_1_2_1_5_1","DOI":"10.1016\/0164-1212(84)90023-2"},{"unstructured":"M. H. Halstead Elements of Software Science Elsevier North-Holland New York New York 1977.   M. H. Halstead Elements of Software Science Elsevier North-Holland New York New York 1977.","key":"e_1_2_1_6_1"},{"unstructured":"G. J. Myers Software Reliability John Wiley and Sons New York 1976.   G. J. Myers Software Reliability John Wiley and Sons New York 1976.","key":"e_1_2_1_7_1"},{"volume-title":"Minn.","year":"1984","author":"Wolf A","key":"e_1_2_1_8_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_9_1","DOI":"10.1109\/TSE.1976.233534"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1012483.1012493","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1012483.1012493","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:42Z","timestamp":1750264302000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1012483.1012493"}},"subtitle":["a tool to monitor the stepwise refinement of Ada programs"],"short-title":[],"issued":{"date-parts":[[1985,7]]},"references-count":9,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1985,7]]}},"alternative-id":["10.1145\/1012483.1012493"],"URL":"https:\/\/doi.org\/10.1145\/1012483.1012493","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[1985,7]]},"assertion":[{"value":"1985-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}