{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:33Z","timestamp":1725663993057},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547426"},{"type":"electronic","value":"9783540464464"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3540547428_43","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:13:55Z","timestamp":1330193635000},"page":"60-79","source":"Crossref","is-referenced-by-count":1,"title":["Rational design of distributed applications"],"prefix":"10.1007","author":[{"given":"Thierry","family":"Cattel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,2]]},"reference":[{"unstructured":"M. Accetta, R. Baun, W. Bolosky et al.: Mach: a new kernel foundation for Unix development; Proceedings of the Summer Usenix Conf., Atlanta, July, 1986.","key":"5_CR1"},{"doi-asserted-by":"crossref","unstructured":"C. Atkinson, A. Di Maio: From DIADEM to DRAGOON; Distributed Ada Symposium, Southampton, December 1989.","key":"5_CR2","DOI":"10.1017\/CBO9780511526541.006"},{"unstructured":"G. Berry, L. Cosserat: The synchronous programming language ESTEREL and its mathematical semantics; INRIA research report N\u2134327, 1987.","key":"5_CR3"},{"doi-asserted-by":"crossref","unstructured":"P. Borras, D. Cl\u00e9ment, T. Despeyroux et al.: CENTAUR: The system; Proc. of SIGSOFT88 third annual symposium on sotfware development environments, Boston, 1988","key":"5_CR4","DOI":"10.1145\/64135.65005"},{"issue":"N\u21344","key":"5_CR5","first-page":"307","volume":"8","author":"A. Billionnet","year":"1989","unstructured":"A. Billionnet, M.C. Costa, A. Sutter: Les probl\u00e8mes de placement dans les syst\u00e8mes distribu\u00e9s; Techniques et sciences informatiques Vol. 8, N\u21344, p.-307\u2013337, 1989.","journal-title":"Techniques et sciences informatiques"},{"unstructured":"R. Bloomfield, P. Froome, B. Monahan: Specbox: a toolkit for BSI-VDM; Adelard, internal report, February 1989.","key":"5_CR6"},{"unstructured":"J. Barwisi, D. Kaplan, H.J. Reisler et al.: The lambda calculus, its syntax and semantics; North Holland, 1984.","key":"5_CR7"},{"unstructured":"J. Despeyroux: Theo: an interactive proof development system; INRIA research report N\u2134116, 1990.","key":"5_CR8"},{"key":"5_CR9","volume-title":"Les langages \u00e0 objets","author":"D. Colnet","year":"1989","unstructured":"D. Colnet, D. L\u00e9onard, G. Masini et al.: Les langages \u00e0 objets; Inter\u00e9ditions, Paris, 1989."},{"unstructured":"M.C. Eglin, J. Julliand, G.-R. Perrin: Compiling Equations in Asynchronous Communicating Processes; Fourth ISMM\/IASTED International Conference on PARALLEL & DISTRIBUTED COMPUTING & SYSTEMS, Washington, U.S.A., 8\u201311 October 1991.","key":"5_CR10"},{"key":"5_CR11","first-page":"165","volume-title":"Program specification and transformation","author":"M.S. Feather","year":"1987","unstructured":"M.S. Feather: A survey of classification of some program transformation approaches and techniques; Program specification and transformation, p.165\u2013195, Elsevier science publishers, Holland, 1987."},{"issue":"N\u21343","key":"5_CR12","first-page":"245","volume":"9","author":"J.P. Finance","year":"1990","unstructured":"J.P. Finance, N. L\u00e9vy, J. Souqui\u00e8res et al.: SACSO: un environnement d'aide \u00e0 la sp\u00e9cification; Techniques et Science Informatiques, Vol.9, N\u21343, p. 245\u2013261, 1990.","journal-title":"Techniques et Science Informatiques"},{"unstructured":"C.B. Jones: Systematic Software Development Using VDM; Prentice Hall International, 1990 (second edition).","key":"5_CR13"},{"unstructured":"C.B. Jones, R.C. Shaw: Case Studies in Systematic Software Development Using VDM; Prentice Hall International, 1990.","key":"5_CR14"},{"doi-asserted-by":"crossref","unstructured":"G. Kahn: Natural Semantics; Proc. of STACS'87, LNCS 247,1987.","key":"5_CR15","DOI":"10.1007\/BFb0039592"},{"doi-asserted-by":"crossref","unstructured":"J. Krammer, J. Magee, K. Ng: Graphical configuration programming; IEEE Computer, 1989.","key":"5_CR16","DOI":"10.1109\/2.42014"},{"issue":"N\u21346","key":"5_CR17","first-page":"663","volume":"15","author":"J. Kramer","year":"1989","unstructured":"J. Kramer, J. Magee, M. Sloman: Constructing distributed systems in CONIC; IEEE transactions on software engineering, Vol. 15, N\u2134 6, June 1989, p. 663\u2013675.","journal-title":"IEEE transactions on software engineering"},{"doi-asserted-by":"crossref","unstructured":"J. Kramer, J. Magee, M. Sloman: Managing evolutions in distributed systems; Software Engineering Journal, November 1989, p. 321\u2013329.","key":"5_CR18","DOI":"10.1049\/sej.1989.0044"},{"doi-asserted-by":"crossref","unstructured":"C. Lafontaine, Y. Ledru, P.Y. Schobbens: An experiment in formal software development: using the B theorem prover on a VDM case study; Proc. 12th Int. Conf. on Software Engineering, IEEE Computer society press, 1990.","key":"5_CR19","DOI":"10.1109\/ICSE.1990.63601"},{"doi-asserted-by":"crossref","unstructured":"Y. Ledru, P.Y. Schobbens: Applying VDM to large developments; Proc. ACM SIGSOFT Int. Workshop on Formal methods in software development, p. 55\u201358, Napa, May 1990.","key":"5_CR20","DOI":"10.1145\/99569.99815"},{"unstructured":"B. Meyer: Object-oriented Software Construction; Prentice Hall, 1988.","key":"5_CR21"},{"doi-asserted-by":"crossref","unstructured":"M.M\u00fchlh\u00e4user: Software engineering in distributed systems \u2014 Approaches and issues; Proc. of Phoenix conf. on computers and communications, Scottsdale, March 1990.","key":"5_CR22","DOI":"10.1109\/PCCC.1990.101650"},{"key":"5_CR23","volume-title":"CONPAR'88","author":"P. Clauss","year":"1988","unstructured":"P.Clauss, G.R.Perrin: Synthesis of process arrays; CONPAR'88, Manchester, Cambridge University Press 88, September 1988."},{"unstructured":"M. Rozier, V. Abrossimov, F. Armand et al.: Chorus Distributed Operating Systems; Chorus syst\u00e8mes, technical report 88-7.5, 1988.","key":"5_CR24"},{"unstructured":"RAISE overview; RAISE\/CRI\/DOC\/9\/V2, Computer ressources international, denmark, June 1990.","key":"5_CR25"},{"unstructured":"J.M. Spivey: The Z notation; Prentice Hall, 1989.","key":"5_CR26"},{"doi-asserted-by":"crossref","unstructured":"A.S. Tanenbaum, R.V. Renesse, H. VanStaveren et al.: Experiences with the AMOEBA distributed operating system; Communications of the ACM Vol. 33, N\u213412, December 1990.","key":"5_CR27","DOI":"10.1145\/96267.96281"}],"container-title":["Lecture Notes in Computer Science","ESEC '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3540547428_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:24:05Z","timestamp":1619558645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3540547428_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547426","9783540464464"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3540547428_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}