{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,17]],"date-time":"2023-04-17T14:34:50Z","timestamp":1681742090384},"reference-count":48,"publisher":"Association for Computing Machinery (ACM)","issue":"1","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Softw. Eng. Methodol."],"published-print":{"date-parts":[[1999,1]]},"abstract":"\n Reactive systems exhibit ongoing, possibly nonterminating, interaction with the environment. Real-time systems are reactive systems that must satisfy quantitative timing constraints. This paper presents a structured compositional design method for discrete real-time systems that can be used to combat the combinatorial explosion of states in the verification of large systems. A\n composition rule<\/jats:italic>\n describes how the correctness of the system can be determined from the correctness of its modules, without knowledge of their internal structure. The advantage of compositional verification is clear. Each module is both simpler and smaller than the system itself. Composition requires the use of both model-checking and deductive techniques. A\n refinement rule<\/jats:italic>\n guarantees that specifications of high-level modules are preserved by their implementations. The\n StateTime<\/jats:italic>\n toolset is used to automate parts of compositional designs using a combination of model-checking and simulation. The design method is illustrated using a reactor shutdown system that cannot be verified using the StateTime toolset (due to the combinatorial explosion of states) without compositional reasoning. The reactor example also illustrates the use of the refinement rule.\n <\/jats:p>","DOI":"10.1145\/295558.295560","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T11:29:00Z","timestamp":1027769340000},"page":"1-48","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Composition and refinement of discrete real-time systems"],"prefix":"10.1145","volume":"8","author":[{"given":"Jonathan S.","family":"Ostroff","sequence":"first","affiliation":[{"name":"York Univ., North York, Ont., Canada"}]}],"member":"320","published-online":{"date-parts":[[1999,1]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/203095.201069"},{"key":"e_1_2_1_2_1","volume-title":"Timing Analysis with Cospan","author":"ALUR R.","unstructured":"ALUR , R. AND KURSHAN , R.P. 1996. Timing Analysis with Cospan . In Hybrid Systems III, ed. Alur, R., Henzinger, T. A. , and Sontag, E. LNCS 1066. Springer Verlag . ALUR, R. AND KURSHAN, R.P. 1996. Timing Analysis with Cospan. In Hybrid Systems III, ed. Alur, R., Henzinger, T. A., and Sontag, E. LNCS 1066. Springer Verlag."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.489079"},{"issue":"2","key":"e_1_2_1_4_1","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/BF01214556","article-title":"Discrete Time Process Algebra","volume":"8","author":"BAETEN J. C.","year":"1996","unstructured":"BAETEN , J. C. M. AND BERGSTRA , J.A. 1996 . Discrete Time Process Algebra . Formal Aspects of Computing , 8 ( 2 ), 188 - 208 . BAETEN, J. C. M. AND BERGSTRA, J.A. 1996. Discrete Time Process Algebra. Formal Aspects of Computing, 8(2), 188-208.","journal-title":"Formal Aspects of Computing"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"e_1_2_1_6_1","volume-title":"Theories and Experiences for Real-Time System Development, ed. Rus, T. and Rattray, C. AMAST Series in Computing","author":"CAMPOS S.V.","unstructured":"CAMPOS , S.V. AND CLARK , E.M. 1994. Real-Time Symbolic Model Checking for Discrete Time Models . In Theories and Experiences for Real-Time System Development, ed. Rus, T. and Rattray, C. AMAST Series in Computing , Vol. 2 . World Scientific Press . CAMPOS, S.V. AND CLARK, E.M. 1994. Real-Time Symbolic Model Checking for Discrete Time Models. In Theories and Experiences for Real-Time System Development, ed. Rus, T. and Rattray, C. AMAST Series in Computing, Vol. 2. World Scientific Press."},{"key":"e_1_2_1_7_1","volume-title":"Parallel Program Design","author":"CHANDY K. M.","unstructured":"CHANDY , K. M. AND MISRA , J. 1988. Parallel Program Design . Addison-Wesley . CHANDY, K. M. AND MISRA, J. 1988. Parallel Program Design. Addison-Wesley."},{"key":"e_1_2_1_8_1","volume-title":"Compositional Verification of Reactive and Real-Time Systems. Ph.D","author":"CHANG E.","unstructured":"CHANG , E. 1995. Compositional Verification of Reactive and Real-Time Systems. Ph.D ., Stanford University . CHANG, E. 1995. Compositional Verification of Reactive and Real-Time Systems. Ph.D., Stanford University."},{"key":"e_1_2_1_9_1","volume-title":"Computer-Aided Verification (CAV '96)","author":"CLEAVELAND R.","unstructured":"CLEAVELAND , R. AND SIMS , S. 1996. The NCSU Concurrency Workbench . In Computer-Aided Verification (CAV '96) , New Brunswick, NJ , edited by Alur, R. and Henzinger, T., Springer- Verlag , LNCS 1102, 394-397. CLEAVELAND, R. AND SIMS, S. 1996. The NCSU Concurrency Workbench. In Computer-Aided Verification (CAV '96), New Brunswick, NJ, edited by Alur, R. and Henzinger, T., Springer- Verlag, LNCS 1102, 394-397."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.310665"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.265634"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/103167.103173"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.159838"},{"key":"e_1_2_1_14_1","volume-title":"A Logical Approach to Discrete Math","author":"GRIES D.","unstructured":"GRIES , D. AND SCHNEIDER , F.B. 1993. A Logical Approach to Discrete Math . Springer Verlag . GRIES, D. AND SCHNEIDER, F.B. 1993. A Logical Approach to Discrete Math. Springer Verlag."},{"key":"e_1_2_1_15_1","first-page":"421","volume-title":"COSPAN. In 8th International Confer-ence on Computer Aided Verification CAV '96","author":"HARDIN R. H.","year":"1996","unstructured":"HARDIN , R. H. , HAREL , Z. , AND KURSHAN , R.P. 1996 . COSPAN. In 8th International Confer-ence on Computer Aided Verification CAV '96 , LNCS 1102 Springer-Verlag , 421 - 427 . HARDIN, R. H., HAREL, Z., AND KURSHAN, R.P. 1996. COSPAN. In 8th International Confer-ence on Computer Aided Verification CAV '96, LNCS 1102 Springer-Verlag, 421-427."},{"key":"e_1_2_1_16_1","volume-title":"Logics and Models of Concurrent Systems, ed. Apt, K. 477-498. F-13 of NATO Advanced Summer Institutes","author":"HAREL D.","unstructured":"HAREL , D. AND PNUELI , A. 1985. On the Development of Reactive Systems . In Logics and Models of Concurrent Systems, ed. Apt, K. 477-498. F-13 of NATO Advanced Summer Institutes . Springer-Verlag . HAREL, D. AND PNUELI, A. 1985. On the Development of Reactive Systems. In Logics and Models of Concurrent Systems, ed. Apt, K. 477-498. F-13 of NATO Advanced Summer Institutes. Springer-Verlag."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.54292"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_2_1_19_1","volume-title":"Proc. Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 19-40","author":"HOOMAN J.","year":"1994","unstructured":"HOOMAN , J. 1994 . Correctness of Real-Time Systems by Construction . In Proc. Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 19-40 . LNCS 863 Springer-Verlag. HOOMAN, J. 1994. Correctness of Real-Time Systems by Construction. In Proc. Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 19-40. LNCS 863 Springer-Verlag."},{"key":"e_1_2_1_20_1","unstructured":"JACKSON M. 1995. Software Requirements & Specifications. Addison-Wesley. JACKSON M. 1995. Software Requirements & Specifications. Addison-Wesley."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.368134"},{"key":"e_1_2_1_22_1","volume-title":"IFIP 9th World Congress, 321-323","author":"JONES C.B.","year":"1983","unstructured":"JONES , C.B. 1983 . Specification and design of parallel programs . In IFIP 9th World Congress, 321-323 . JONES, C.B. 1983. Specification and design of parallel programs. In IFIP 9th World Congress, 321-323."},{"key":"e_1_2_1_23_1","volume-title":"Hybrid Systems III","author":"KESTEN Y.","unstructured":"KESTEN , Y. , MANNA , Z. , AND PNUELI , A. 1996. Verifying Clocked Transition Systems . In Hybrid Systems III , Springer-Verlag , LNCS. KESTEN, Y., MANNA, Z., AND PNUELI, A. 1996. Verifying Clocked Transition Systems. In Hybrid Systems III, Springer-Verlag, LNCS."},{"key":"e_1_2_1_24_1","first-page":"75","volume-title":"Module Checking. In 8th International Conference on Computer Aided Verification CAV '96","author":"KUPFERMAN O.","year":"1996","unstructured":"KUPFERMAN , O. AND VARDI , M.Y. 1996 . Module Checking. In 8th International Conference on Computer Aided Verification CAV '96 , LNCS 1102 Springer-Verlag , 75 - 86 . KUPFERMAN, O. AND VARDI, M.Y. 1996. Module Checking. In 8th International Conference on Computer Aided Verification CAV '96, LNCS 1102 Springer-Verlag, 75-86."},{"key":"e_1_2_1_25_1","volume-title":"Transformational Equivalence of Timed Transition Models","author":"LAWFORD M.","unstructured":"LAWFORD , M. 1992. Transformational Equivalence of Timed Transition Models . Systems Control Group, Department of Electrical Engineering, University of Toronto . TR-9202 (M.A.Sc. thesis). LAWFORD, M. 1992. Transformational Equivalence of Timed Transition Models. Systems Control Group, Department of Electrical Engineering, University of Toronto. TR-9202 (M.A.Sc. thesis)."},{"issue":"7","key":"e_1_2_1_26_1","doi-asserted-by":"crossref","first-page":"1167","DOI":"10.1109\/9.400494","article-title":"Equivalence Preserving Transformations for Timed Transition Models","volume":"40","author":"LAWFORD M.","year":"1995","unstructured":"LAWFORD , M. AND WONHAM , W.M. 1995 . Equivalence Preserving Transformations for Timed Transition Models . IEEE Trans. on Automatic Control , 40 ( 7 ), 1167 - 1179 . LAWFORD, M. AND WONHAM, W.M. 1995. Equivalence Preserving Transformations for Timed Transition Models. IEEE Trans. on Automatic Control, 40(7), 1167-1179.","journal-title":"IEEE Trans. on Automatic Control"},{"key":"e_1_2_1_27_1","volume-title":"Model Reduction of Modules for State-Event Temporal Logics. In IFIP Joint International Conference on Formal Description Techniques (FORTE-PSTV '96)","author":"LAWFORD M.","year":"1996","unstructured":"LAWFORD , M. , OSTROFF , J. S. , AND WONHAM , W.M. 1996 . Model Reduction of Modules for State-Event Temporal Logics. In IFIP Joint International Conference on Formal Description Techniques (FORTE-PSTV '96) , Chapman & Hall. LAWFORD, M., OSTROFF, J. S., AND WONHAM, W.M. 1996. Model Reduction of Modules for State-Event Temporal Logics. In IFIP Joint International Conference on Formal Description Techniques (FORTE-PSTV '96), Chapman & Hall."},{"key":"e_1_2_1_28_1","first-page":"3642","volume-title":"Proc. 33rd IEEE Conference on Decision and Control","author":"LAWFORD M.","year":"1994","unstructured":"LAWFORD , M. , WONHAM , W. M. , AND OSTROFF , J.S. 1994 . State-Event Labels for Labelled Transition Systems . In Proc. 33rd IEEE Conference on Decision and Control , Orlando, FL, IEEE Control System Society , 3642 - 3648 . LAWFORD, M., WONHAM, W. M., AND OSTROFF, J.S. 1994. State-Event Labels for Labelled Transition Systems. In Proc. 33rd IEEE Conference on Decision and Control, Orlando, FL, IEEE Control System Society, 3642-3648."},{"issue":"3","key":"e_1_2_1_29_1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1007\/BF01211073","article-title":"A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems","volume":"7","author":"LYNCH N.","year":"1995","unstructured":"LYNCH , N. AND SEGALA , R. 1995 . A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems . Formal Aspects of Computing , 7 ( 3 ), 231 - 265 . LYNCH, N. AND SEGALA, R. 1995. A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems. Formal Aspects of Computing, 7(3), 231-265.","journal-title":"Formal Aspects of Computing"},{"key":"e_1_2_1_30_1","volume-title":"Forward and Backward Simulations for Timing-Based Systems. In REX Workshop--Real-Time: Theory in Practice, 397-446","author":"LYNCH N.","year":"1992","unstructured":"LYNCH , N. AND VAANDRAGER , F. 1992 . Forward and Backward Simulations for Timing-Based Systems. In REX Workshop--Real-Time: Theory in Practice, 397-446 . LNCS 600 Springer- Verlag. LYNCH, N. AND VAANDRAGER, F. 1992. Forward and Backward Simulations for Timing-Based Systems. In REX Workshop--Real-Time: Theory in Practice, 397-446. LNCS 600 Springer- Verlag."},{"key":"e_1_2_1_31_1","doi-asserted-by":"crossref","volume-title":"STEP: The Stanford Temporal Prover. Dep. of Computer Science","author":"MANNA Z.","year":"1994","unstructured":"MANNA , Z. 1994 . STEP: The Stanford Temporal Prover. Dep. of Computer Science , Stanford University . STAN-CS-TR-94-1518. MANNA, Z. 1994. STEP: The Stanford Temporal Prover. Dep. of Computer Science, Stanford University. STAN-CS-TR-94-1518.","DOI":"10.21236\/ADA324036"},{"key":"e_1_2_1_32_1","volume-title":"The Temporal Logic of Reactive and Concurrent Systems","author":"MANNA Z.","unstructured":"MANNA , Z. AND PNUELI , A. 1992. The Temporal Logic of Reactive and Concurrent Systems . Springer-Verlag , New York . MANNA, Z. AND PNUELI, A. 1992. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, New York."},{"key":"e_1_2_1_33_1","volume-title":"Communication and Concurrency","author":"MILNER R.","unstructured":"MILNER , R. 1989. Communication and Concurrency . Prentice Hall . MILNER, R. 1989. Communication and Concurrency. Prentice Hall."},{"key":"e_1_2_1_34_1","volume-title":"Verification: Getting the Best of Both Worlds. In 11th Annual IEEE Conference on Computer Assurance (COMPASS), Washington D.C.","author":"MOK A.","year":"1995","unstructured":"MOK , A. AND STUART , D. 1995 . Simulation vs . Verification: Getting the Best of Both Worlds. In 11th Annual IEEE Conference on Computer Assurance (COMPASS), Washington D.C. MOK, A. AND STUART, D. 1995. Simulation vs. Verification: Getting the Best of Both Worlds. In 11th Annual IEEE Conference on Computer Assurance (COMPASS), Washington D.C."},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00206-X"},{"key":"e_1_2_1_36_1","volume-title":"Temporal Logic for Real-Time Systems","author":"OSTROFF J.S.","unstructured":"OSTROFF , J.S. 1989. Temporal Logic for Real-Time Systems . Advanced Software Development Series, ed. Kramer, J. Research Studies Press Limited (distributed by John Wiley and Sons) , England. OSTROFF, J.S. 1989. Temporal Logic for Real-Time Systems. Advanced Software Development Series, ed. Kramer, J. Research Studies Press Limited (distributed by John Wiley and Sons), England."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/71.80145"},{"issue":"3","key":"e_1_2_1_38_1","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1109\/87.572129","article-title":"A Visual Toolset for the Design of Real-Time Discrete Event Systems","volume":"5","author":"OSTROFF J.S.","year":"1997","unstructured":"OSTROFF , J.S. 1997 . A Visual Toolset for the Design of Real-Time Discrete Event Systems . IEEE Trans. on Control Systems Technology , 5 ( 3 ), 320 - 337 . OSTROFF, J.S. 1997. A Visual Toolset for the Design of Real-Time Discrete Event Systems. IEEE Trans. on Control Systems Technology, 5(3), 320-337.","journal-title":"IEEE Trans. on Control Systems Technology"},{"key":"e_1_2_1_39_1","volume-title":"The Design of Real-Time Systems Using Standard Untimed Theories. In Preprints Third AMAST Workshop on Real-Time Systems","author":"OSTROFF J.S.","year":"1996","unstructured":"OSTROFF , J.S. AND NG , H.K. 1996 . The Design of Real-Time Systems Using Standard Untimed Theories. In Preprints Third AMAST Workshop on Real-Time Systems , Salt Lake City, Utah, ONR and Iowa University. OSTROFF, J.S. AND NG, H.K. 1996. The Design of Real-Time Systems Using Standard Untimed Theories. In Preprints Third AMAST Workshop on Real-Time Systems, Salt Lake City, Utah, ONR and Iowa University."},{"issue":"4","key":"e_1_2_1_40_1","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/9.52290","article-title":"A Framework for Real-Time Discrete Event Control","volume":"35","author":"OSTROFF J.S.","year":"1990","unstructured":"OSTROFF , J.S. AND WONHAM , W.M. 1990 . A Framework for Real-Time Discrete Event Control . IEEE Transactions on Automatic Control , 35 ( 4 ), 386 - 397 . OSTROFF, J.S. AND WONHAM, W.M. 1990. A Framework for Real-Time Discrete Event Control. IEEE Transactions on Automatic Control, 35(4), 386-397.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360224"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.345827"},{"issue":"2","key":"e_1_2_1_43_1","first-page":"189","article-title":"Assessment of Safety-Critical Software in Nuclear Power Plants","volume":"32","author":"PARNAS D. L.","year":"1991","unstructured":"PARNAS , D. L. , ASMIS , G. J. K., AND MADLY , J. 1991 . Assessment of Safety-Critical Software in Nuclear Power Plants . Nuclear Safety , 32 ( 2 ), 189 - 198 . PARNAS, D. L., ASMIS, G. J. K., AND MADLY, J. 1991. Assessment of Safety-Critical Software in Nuclear Power Plants. Nuclear Safety, 32(2), 189-198.","journal-title":"Nuclear Safety"},{"key":"e_1_2_1_44_1","volume-title":"Timed CSP: Theory and Practice. In REX Workshop--Real-Time: Theory in Practice, 640-675","author":"SCHNEIDER S.","year":"1992","unstructured":"SCHNEIDER , S. , DAVIES , J. , JACKSON , D. M. , REED , G. M. , REED , J. N. , AND ROSCOE , A.W. 1992 . Timed CSP: Theory and Practice. In REX Workshop--Real-Time: Theory in Practice, 640-675 . LNCS 600, Springer-Verlag. SCHNEIDER, S., DAVIES, J., JACKSON, D. M., REED, G. M., REED, J. N., AND ROSCOE, A.W. 1992. Timed CSP: Theory and Practice. In REX Workshop--Real-Time: Theory in Practice, 640-675. LNCS 600, Springer-Verlag."},{"key":"e_1_2_1_45_1","volume-title":"ROOM: An Object-Oriented Methodology for Developing Real-Time Systems. In CASE '92 Fifth International Workshop on Computer-Aided Software Engineering, Montreal, IEEE Computer Society Press, 230- 240","author":"SELIC B.","year":"1992","unstructured":"SELIC , B. , GULLEKSON , a., MCGEE , J. , AND ENGELBERG , I. 1992 . ROOM: An Object-Oriented Methodology for Developing Real-Time Systems. In CASE '92 Fifth International Workshop on Computer-Aided Software Engineering, Montreal, IEEE Computer Society Press, 230- 240 . SELIC, B., GULLEKSON, a., MCGEE, J., AND ENGELBERG, I. 1992. ROOM: An Object-Oriented Methodology for Developing Real-Time Systems. In CASE '92 Fifth International Workshop on Computer-Aided Software Engineering, Montreal, IEEE Computer Society Press, 230- 240."},{"issue":"2","key":"e_1_2_1_46_1","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF01214554","article-title":"Specification and refinement of networks of asynchronously communicating agents using the assumption\/commitment paradigm","volume":"8","author":"STOLEN K.","year":"1996","unstructured":"STOLEN , K. , DEDERICHS , F. , AND WEBER , R. 1996 . Specification and refinement of networks of asynchronously communicating agents using the assumption\/commitment paradigm . Formal Aspects of Computing , 8 ( 2 ), 127 - 161 . STOLEN, K., DEDERICHS, F., AND WEBER, R. 1996. Specification and refinement of networks of asynchronously communicating agents using the assumption\/commitment paradigm. Formal Aspects of Computing, 8(2), 127-161.","journal-title":"Formal Aspects of Computing"},{"key":"e_1_2_1_47_1","first-page":"217","volume-title":"Proceedings of ICALP '91","author":"YI W.","year":"1991","unstructured":"YI , W. 1991 . CCS + Time = an Interleaving Model for Real Time Systems . In Proceedings of ICALP '91 , 217 - 228 . LNCS 510 Springer-Verlag. YI, W. 1991. CCS + Time = an Interleaving Model for Real Time Systems. In Proceedings of ICALP '91, 217-228. LNCS 510 Springer-Verlag."},{"key":"e_1_2_1_48_1","volume-title":"W. P.D.","author":"ZWIERS","year":"1989","unstructured":"ZWIERS , g. AND ROEVER , W. P.D. 1989 . Compositionality and modularity in process specification and design. In Temporal logic in specification, ed. Banieqbal, B., Barringer, H., and Pnueli, A. 351-374. LNCS 398 Springer-Verlag . ZWIERS, g. AND ROEVER, W. P.D. 1989. Compositionality and modularity in process specification and design. In Temporal logic in specification, ed. Banieqbal, B., Barringer, H., and Pnueli, A. 351-374. LNCS 398 Springer-Verlag."}],"container-title":["ACM Transactions on Software Engineering and Methodology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/295558.295560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,31]],"date-time":"2022-12-31T06:45:24Z","timestamp":1672469124000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/295558.295560"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["10.1145\/295558.295560"],"URL":"http:\/\/dx.doi.org\/10.1145\/295558.295560","relation":{},"ISSN":["1049-331X","1557-7392"],"issn-type":[{"value":"1049-331X","type":"print"},{"value":"1557-7392","type":"electronic"}],"subject":["Software"],"published":{"date-parts":[[1999,1]]},"assertion":[{"value":"1999-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}