{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:58:26Z","timestamp":1693864706327},"reference-count":7,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGCSE Bull."],"published-print":{"date-parts":[[1994,9]]},"abstract":"Concurrent programming is one of the most difficult programming paradigms; in consequence, innovative methods and practical aids are necessary for a successful instruction. This paper presents a methodology for monitor development by joint use of stepwise refinement and monitor schemes. A monitor is developed in three stages, each one successively dealing with a different part of its specification, namely data abstraction specification, security properties and liveness\/priority properties. Guidance is also obtained from some schemes for different parts of a monitor. The methodology is applied to two well known problems, the producer-consumer problem and the dining philosophers problem.<\/jats:p>","DOI":"10.1145\/187387.187398","type":"journal-article","created":{"date-parts":[[2004,7,21]],"date-time":"2004-07-21T22:43:36Z","timestamp":1090449816000},"page":"22-28","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["A methodology for monitor development in concurrent programs"],"prefix":"10.1145","volume":"26","author":[{"given":"J. \u00c1ngel","family":"Vel\u00e1zquez-Iturbide","sequence":"first","affiliation":[{"name":"Dpto. Lenguajes y Sistemas Inform\u00e1ticos e Ingenieria de Software, Facultad de Inform\u00e1tica, Universidad Politecnica de Madrid, Campus de Montengacedo s\/n, 28660 Boadilla del Monte, Madrid, Spain"}]}],"member":"320","published-online":{"date-parts":[[1994,9]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"Benjamin\/Cummings","author":"Andrews G.R.","year":"1991","unstructured":"[ 1 ] G.R. Andrews , Concurrent Programming : Principles and Practice , Benjamin\/Cummings , 1991 . [1] G.R. Andrews, Concurrent Programming: Principles and Practice, Benjamin\/Cummings, 1991."},{"key":"e_1_2_1_2_1","volume-title":"Principles of Concurrent and Distributed Programming","author":"Ben-Ari M.","year":"1990","unstructured":"[ 2 ] M. Ben-Ari , Principles of Concurrent and Distributed Programming , Prentice-Hall , 1990 . [2] M. Ben-Ari, Principles of Concurrent and Distributed Programming, Prentice-Hall, 1990."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/800215.806566"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/355620.361161"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/70593.70598"},{"key":"e_1_2_1_6_1","volume-title":"Universidad Polit\u00e9cnica de Catalu\u00f1a","author":"Pe\u00f1a R.","year":"1990","unstructured":"[ 6 ] R. Pe\u00f1a , \"A methodology for parallel programming\" (in Spanish), technical report LSI-90-9 , Universidad Polit\u00e9cnica de Catalu\u00f1a , 1990 . [6] R. Pe\u00f1a, \"A methodology for parallel programming\" (in Spanish), technical report LSI-90-9, Universidad Polit\u00e9cnica de Catalu\u00f1a, 1990."},{"key":"e_1_2_1_7_1","volume-title":"Universidad Polit\u00e9cnica de Madrid","author":"Vel\u00e1zquez-Iturbide J.A.","year":"1993","unstructured":"[ 7 ] J.A. Vel\u00e1zquez-Iturbide , \"A methodology for monitor development in concurrent programs\" (in Spanish), technical report FIM\/75.1\/LyS\/93 , Universidad Polit\u00e9cnica de Madrid , June 1993 . [7] J.A. Vel\u00e1zquez-Iturbide, \"A methodology for monitor development in concurrent programs\" (in Spanish), technical report FIM\/75.1\/LyS\/93, Universidad Polit\u00e9cnica de Madrid, June 1993."}],"container-title":["ACM SIGCSE Bulletin"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/187387.187398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T18:39:37Z","timestamp":1672339177000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/187387.187398"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,9]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,9]]}},"alternative-id":["10.1145\/187387.187398"],"URL":"https:\/\/doi.org\/10.1145\/187387.187398","relation":{},"ISSN":["0097-8418"],"issn-type":[{"value":"0097-8418","type":"print"}],"subject":[],"published":{"date-parts":[[1994,9]]},"assertion":[{"value":"1994-09-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}