{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:08:26Z","timestamp":1725458906385},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540590088"},{"type":"electronic","value":"9783540491736"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0035817","type":"book-chapter","created":{"date-parts":[[2006,1,25]],"date-time":"2006-01-25T10:36:05Z","timestamp":1138185365000},"page":"211-224","source":"Crossref","is-referenced-by-count":0,"title":["Prototyping a visual formalism for system modelling"],"prefix":"10.1007","author":[{"given":"Michael W.","family":"Godfrey","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard C.","family":"Holt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Spiros","family":"Mancoridis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Jonathan P. Bowen. \u201cX: Why Z?\u201d. Computer Graphics Forum, 11(4), October 1992.","DOI":"10.1111\/1467-8659.1140221"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Susan A. Dart. \u201cThe Past, Present and Future of Configuration Management\u201d. Technical Report CMU\/SEI-92TR-8, Carnegie-Mellon University, July 1992.","DOI":"10.21236\/ADA254175"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Frank DeRemer and Hans H. Kron. \u201cProgramming-in-the-Large Versus Programming-in-the-Small\u201d. IEEE Trans. on Software Engineering, SE-2(2), June 1976.","DOI":"10.1109\/TSE.1976.233534"},{"key":"18_CR4","unstructured":"Peter H. Feiler. \u201cConfiguration Management Models in Commercial Environments\u201d. Technical Report CMU\/SEI-91-TR-7, Carnegie-Mellon University, March 1991."},{"key":"18_CR5","unstructured":"Michael W. Godfrey. \u201cVisual Formalisms for Configuration Management\u201d. In Proc. of GASCON '93, Toronto, October 1993."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"David Garlan and Mary Shaw. \u201cAn Introduction to Software Architecture\u201d. Advances in Software Engineering and Knowledge Engineering, 1, 1993.","DOI":"10.1142\/9789812798039_0001"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"David Harel. \u201cBiting the Silver Bullet\u201d. IEEE Computer, 25(1), January 1992.","DOI":"10.1109\/2.108047"},{"key":"18_CR8","volume-title":"Turing Reference Manual","author":"C. H. Richard","year":"1993","unstructured":"Richard C. Holt. Turing Reference Manual. Holt Software Associates, Toronto, 1993."},{"key":"18_CR9","unstructured":"Cliff B. Jones. Systematic Software Development Using VDM. Prentice Hall International, second edition, 1990."},{"key":"18_CR10","series-title":"Technical Report 94\/6","volume-title":"Tools for Software Engineering Education","author":"M. Spiros","year":"1994","unstructured":"Spiros Mancoridis, Richard C. Holt, and Michael W. Godfrey. \u201cTools for Software Engineering Education\u201d. In Proc. of the ICSE-16 Workshop on Software Engineering Education, Sorrento, Italy, April 1994. Proceedings published as Technical Report 94\/6, Dept. of Computing, Imperial College, London, June 1994."},{"key":"18_CR11","unstructured":"Marc Moorcroft. \u201cGUILT-A GUI Library for Turing\u201d. Private circulation, 1993."},{"key":"18_CR12","unstructured":"Carroll Morgan. Programming from Specifications. Prentice Hall International, 1990."},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"David A. Penny, Richard C. Holt, and Michael W. Godfrey. \u201cFormal Specification in Metamorphic Programming\u201d. In S. Prehn and W. J. Toetenel, editors, VDM '91: Formal Software Development Methods-Proc. of the 4th International Symposium of VDM Europe, October 1991. Proceedings published as Springer-Verlag Lecture Notes in Computer Science no. 551.","DOI":"10.1007\/3-540-54834-3_4"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Dewayne E. Perry and Alexander L. Wolf. \u201cFoundations for the Study of Software Architectures\u201d. ACM SIGSOFT Software Engineering Notes, 17(4), October 1992.","DOI":"10.1145\/141874.141884"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Robert W. Schwanke, R. Z. Altucher, and M. A. Platoff. \u201cDiscovering, Visualizing, and Controlling Software Structure\u201d. In Proc. of the Fifth International Workshop on Software Specification and Design, Pittsburgh, May 1989.","DOI":"10.1145\/75199.75223"},{"key":"18_CR16","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International, second edition, 1992."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Human-Computer Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0035817","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T10:42:29Z","timestamp":1555411349000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0035817"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540590088","9783540491736"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0035817","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}