{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:28:16Z","timestamp":1761611296617},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540151999"},{"type":"electronic","value":"9783540393078"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15199-0_16","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:12:00Z","timestamp":1330193520000},"page":"246-260","source":"Crossref","is-referenced-by-count":14,"title":["ASSPEGIQUE: An integrated environment for algebraic specifications"],"prefix":"10.1007","author":[{"given":"Michel","family":"Bidoit","sequence":"first","affiliation":[]},{"given":"Christine","family":"Choppy","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"16_CR1","unstructured":"Goguen J., Thatcher J., Wagner E., \"An Initial Algebra approach to the specification, correctness, and implementation of abstract data types\" in Current Trends in Programming Methodology, Vol.4, Yeh Ed. Prentice Hall, 1978 (also IBM Report RC 6487, October 1976)."},{"key":"16_CR2","unstructured":"Gerhart S.L., \"AFFIRM Reference Manual\", UCS-Report (Marina del Rey), 1981."},{"key":"16_CR3","unstructured":"Amar P., \"Winnie: un \u00e9diteur de textes multifen\u00eatres extensible\", Actes des Journ\u00e9es BIGRE (Le Cap d'Agde), 1983."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Bidoit M., Biebow B., Gaudel M.-C., Gresse C., Guiho G., \"Exception handling: formal specification and systematic program specification\", Proc. 7th I.C.S.E., Orlando, USA, 1984.","DOI":"10.1007\/978-3-642-46490-4_22"},{"key":"16_CR5","unstructured":"Beaudouin-Lafon M., \"Petripote: a graphic system for Petri-Nets design and simulation\" Proc. of 4th European Workshop on Applications and Theory of Petri Nets, Toulouse, France, 1983."},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Bidoit M., \"Proofs by induction in \"fairly\" specified equational theories\" Proc. 6th German Workshop on Artificial Intelligence, Bad Honnef, Germany, Springer-Verlag IFB 58, 1982.","DOI":"10.1007\/978-3-642-68826-3_11"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Bidoit M., \"Algebraic specification of exception handling and error recovery by means of declarations and equations\", Proc. 11th ICALP, Antwerp, 1984.","DOI":"10.1007\/3-540-13345-3_8"},{"key":"16_CR8","unstructured":"Bidoit M., Choppy C., Kaplan S., \"ASSPEGIQUE: un environnement de sp\u00e9cification alg\u00e9brique\", Proc. 2nd AFCET Software Engineering Conference, Nice, 1984, pp357\u2013371"},{"key":"16_CR9","unstructured":"Bidoit M., Gresse C., Guiho G., \"CATY: Un syst\u00e8me d'aide au d\u00e9veloppement de programmes\", Actes des Journ\u00e9es BIGRE 83 (Le Cap d'Agde), 1983."},{"key":"16_CR10","unstructured":"Bidoit M., Gaudel M.-C., Guiho G. \"Towards a systematic and safe programming of exception handling in ADA\" Proc. of Ada-Europe\/Ada TEC Conf., Brussels, June 1984."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Broy M., Wirsing M., \"Partial Abstract Data Types\" Acta Informatica, Vol. 18-1, Nov 1982.","DOI":"10.1007\/BF00625280"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Burstall R., Goguen J., \"The semantics of CLEAR, a specification language\", in Abstract Software Specifications, D. Bjorner Ed., LNCS 86, Springer-Verlag, 1979.","DOI":"10.1007\/3-540-10007-5_41"},{"key":"16_CR13","unstructured":"CIP language group \"Report on a wide spectrum language for program specification and development\", Rapport TUM-I8104 (Munich), 1981."},{"key":"16_CR14","unstructured":"Choppy C., \"Tools and techniques for building rapid prototypes\", AFCET Workshop on \"Prototypage, Maquettage et G\u00e9nie Logiciel\", Lyon, January 1985."},{"key":"16_CR15","unstructured":"\"The programming language ADA \u2014 Reference Manual\" United States Department of Defense, January 1983."},{"key":"16_CR16","unstructured":"\"Les \u00e9diteurs dirig\u00e9s par la syntaxe\", Journ\u00e9es d'Aussois \u2014 INRIA Ed. (Rocquencourt \u2014 France), 1983."},{"key":"16_CR17","unstructured":"Gaudel M.-C., \"Proposition pour un Langage d'Utilisation de Sp\u00e9cifications Structur\u00e9es: PLUSS\", C.G.E. Research Report, 1983."},{"key":"16_CR18","unstructured":"Gogolla M., Drosten K., Lipeck U., Ehrich H., \"Algebraic and operational semantics of specifications allowing exceptions and errors\" Proc. 6th GI-Conference on Theoretical Computer Science, LNCS 145, 1983, Springer-Verlag."},{"key":"16_CR19","volume-title":"Formal Description of Programming Concepts","author":"J. A. Goguen","year":"1977","unstructured":"Goguen J.A., \"Abstract errors for abstract data types\" in Formal Description of Programming Concepts, E.J. NEUHOLD Ed., North Holland, New York 1977."},{"key":"16_CR20","unstructured":"Goguen J.A., \"Exception and Error Sorts, Coercion and Overloading Operators\" S.R.I. Research Report, 1978."},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Goguen J.A., Parsaye-Ghomi K., \"Algebraic denotational semantics using parameterized modules\", Tech. Report CSL-119, SRI International, UCLA, 1981.","DOI":"10.1007\/3-540-10699-5_106"},{"key":"16_CR22","volume-title":"Parameterized Programming","author":"J. A. Goguen","year":"1983","unstructured":"Goguen J.A., \"Parameterized Programming\", Proc. Workshop on Reusabibility in Programming, Stratford CT, USA, 1983."},{"key":"16_CR23","unstructured":"Guttag J.V., Horning J.J., \"An introduction to the LARCH shared language\", Proc. IFIP 83, REA. Mason ed., North Holland Publishing Company, 1983."},{"key":"16_CR24","unstructured":"Kaplan S., \"Un langage de sp\u00e9cification de types abstraits alg\u00e9briques\", Th\u00e8se de 3\u00e8me cycle, LRI (Orsay \u2014 France), 1983."},{"key":"16_CR25","unstructured":"Plaisted D., \"An initial algebra semantics for error presentations\" Unpublished Draft, 1982."},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Sanella D., Wirsing M., \"A Kernel Language for Algebraic Specification and Implementation\", to appear in Int. Conf. on Foundations of Computing Theory, Bergholm, Sweden, 1983.","DOI":"10.1007\/3-540-12689-9_122"},{"key":"16_CR27","unstructured":"Voisin F., \"CIGALE: un outil de construction incr\u00e9mental de grammaire et d'analyse d'expression\", Th\u00e8se de 3\u00e8me cycle, Orsay (France), 1984."},{"key":"16_CR28","unstructured":"Wirsing M., \"Structured algebraic specifications\", Proc. AFCET Symp. on Mathematics for Computer Science, Paris, France, 1982."},{"key":"16_CR29","unstructured":"Wirsing M., \"Structured algebraic specifications: A kernel language\", PhD. Thesis, Munchen, Germany 1983."}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15199-0_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:07Z","timestamp":1605643687000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15199-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540151999","9783540393078"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-15199-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1985]]}}}