{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:55:08Z","timestamp":1750308908165,"version":"3.41.0"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[1978,10,1]],"date-time":"1978-10-01T00:00:00Z","timestamp":276048000000},"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":[[1978,10]]},"abstract":"<jats:p>We consider the nature of software system specifications and designs, then survey the languages used in representing them. We emphasize the utility of language-based representations as a foundation for computerized tools which provide aid during software system development. The survey is based upon a classification of the languages according to their underlying representational constructs.<\/jats:p>","DOI":"10.1145\/1010741.1010742","type":"journal-article","created":{"date-parts":[[2004,7,21]],"date-time":"2004-07-21T23:30:10Z","timestamp":1090452610000},"page":"7-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Languages for representing software specifications and designs"],"prefix":"10.1145","volume":"3","author":[{"given":"William E.","family":"Riddle","sequence":"first","affiliation":[{"name":"University of Colorado, Boulder, Colorado"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jack C.","family":"Wileden","sequence":"additional","affiliation":[{"name":"University of Massachusetts, Amherst, Massachusetts"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1978,10]]},"reference":[{"key":"e_1_2_1_1_1","series-title":"Lecture Notes in Computer Science, 16","volume-title":"The specification of process synchronization by path expressions","author":"Campbell R. A.","year":"1974","unstructured":"{Ca74} Campbell , R. A. and Habermann , A. N . The specification of process synchronization by path expressions . Lecture Notes in Computer Science, 16 , Springer Verlag , Heidelberg , 1974 . {Ca74} Campbell, R. A. and Habermann, A. N. The specification of process synchronization by path expressions. Lecture Notes in Computer Science, 16, Springer Verlag, Heidelberg, 1974."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.233839"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/359897.359904"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/800027.808443"},{"key":"e_1_2_1_6_1","first-page":"3","volume-title":"Proc. IFIP Congress 71","author":"Parnas D. L.","year":"1971","unstructured":"{Pa71} Parnas , D. L. Information distribution aspects of design methodology . Proc. IFIP Congress 71 , Ljubljana , August 1971 , TA3-26-TA 3 - 30 . {Pa71} Parnas, D. L. Information distribution aspects of design methodology. Proc. IFIP Congress 71, Ljubljana, August 1971, TA3-26-TA3-30."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/355602.361309"},{"key":"e_1_2_1_8_1","volume-title":"Department of Comp. and Comm. Sci.","author":"Riddle W. E.","year":"1976","unstructured":"{Ri76} Riddle , W. E. An approach to software system modelling, behavior specification and analysis. RSSM\/25 , Department of Comp. and Comm. Sci. , University of Michigan , Ann Arbor , July 1976 . {Ri76} Riddle, W. E. An approach to software system modelling, behavior specification and analysis. RSSM\/25, Department of Comp. and Comm. Sci., University of Michigan, Ann Arbor, July 1976."},{"key":"e_1_2_1_9_1","volume-title":"Dept. of Comp. and Comm. Sci.","author":"Riddle W. E.","year":"1977","unstructured":"{Ri77a} Riddle , W. E. A formalism for the comparison of software analysis techniques. RSSM\/29 , Dept. of Comp. and Comm. Sci. , University of Michigan , Ann Arbor , July 1977 . {Ri77a} Riddle, W. E. A formalism for the comparison of software analysis techniques. RSSM\/29, Dept. of Comp. and Comm. Sci., University of Michigan, Ann Arbor, July 1977."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1010730.1010731"},{"key":"e_1_2_1_11_1","volume":"4","author":"Riddle W. E.","year":"1978","unstructured":"{Ri77c} Riddle , W. E. , Wileden , J. C., Sayler , J. H. , Segal , A. R. , and Stavely , A. M. Behavior modelling during software design. IEEE Trans. on Software Engineering, SE-4 , 4 ( July 1978 ). {Ri77c} Riddle, W. E., Wileden, J. C., Sayler, J. H., Segal, A. R., and Stavely, A. M. Behavior modelling during software design. IEEE Trans. on Software Engineering, SE-4, 4 (July 1978).","journal-title":"IEEE Trans. on Software Engineering, SE-4"},{"key":"e_1_2_1_12_1","volume-title":"Proc. 3rd Jerusalem Conference on Information Technology","author":"Riddle W. E.","year":"1978","unstructured":"{Ri77d} Riddle , W. E. , Sayler , J. H., Segal , A. R. , Stavely , A. M. , and Wileden , J. C . DREAM--a software design aid system . Proc. 3rd Jerusalem Conference on Information Technology , Jerusalem , August 1978 . {Ri77d} Riddle, W. E., Sayler, J. H., Segal, A. R., Stavely, A. M., and Wileden, J. C. DREAM--a software design aid system. Proc. 3rd Jerusalem Conference on Information Technology, Jerusalem, August 1978."},{"key":"e_1_2_1_13_1","volume-title":"SRI","author":"Robinson L.","year":"1975","unstructured":"{Ro75a} Robinson , L. , Levitt , K., Neumann , P. and Saxena , A . A formal methodology for the design of operating systems software . SRI , Menlo Park , September 1975 . {Ro75a} Robinson, L., Levitt, K., Neumann, P. and Saxena, A. A formal methodology for the design of operating systems software. SRI, Menlo Park, September 1975."},{"key":"e_1_2_1_17_1","volume":"3","author":"Shaw A. C.","year":"1978","unstructured":"{Sh77} Shaw , A. C. Software descriptions with flow expressions. IEEE Trans. on Software Engineering, SE-4 , 3 ( May 1978 ). {Sh77} Shaw, A. C. Software descriptions with flow expressions. IEEE Trans. on Software Engineering, SE-4, 3 (May 1978).","journal-title":"IEEE Trans. on Software Engineering, SE-4"},{"key":"e_1_2_1_18_1","volume-title":"Datamation","author":"Teichroew D.","year":"1971","unstructured":"{Te71} Teichroew , D. and Sayani , H . Automation of system building . Datamation , August 15, 1971 . {Te71} Teichroew, D. and Sayani, H. Automation of system building. Datamation, August 15, 1971."},{"key":"e_1_2_1_19_1","volume-title":"Huntsville","author":"Validation System Users Manual","year":"1976","unstructured":"{Tr76} Requirements Engineering and Validation System Users Manual , TRW Defense and Space Systems Group , Huntsville , July 1976 . {Tr76} Requirements Engineering and Validation System Users Manual, TRW Defense and Space Systems Group, Huntsville, July 1976."},{"key":"e_1_2_1_20_1","volume-title":"Dept. of Computer and Information Science","author":"Wileden J. C.","year":"1978","unstructured":"{Wi78} Wileden , J. C. Behavior specification in a software design system. RSSM\/43 , Dept. of Computer and Information Science , University of Massachusetts , Amherst, August 1978 . {Wi78} Wileden, J. C. Behavior specification in a software design system. RSSM\/43, Dept. of Computer and Information Science, University of Massachusetts, Amherst, August 1978."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010741.1010742","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1010741.1010742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:26:14Z","timestamp":1750281974000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1010741.1010742"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978,10]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1978,10]]}},"alternative-id":["10.1145\/1010741.1010742"],"URL":"https:\/\/doi.org\/10.1145\/1010741.1010742","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[1978,10]]},"assertion":[{"value":"1978-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}