Conferences in DBLP
Helmuth Partsch Algebraic Specification: A Step Towards Future Software Engineering. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:7-30 [Conf ] Michel Bidoit , Marie-Claude Gaudel , A. Mauboussin How to Make Algebraic Specifications More Understandable?. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:31-67 [Conf ] Herbert Klaeren , Klaus Indermark Efficient Implementation of an Algebraic Specification Language. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:69-90 [Conf ] Egidio Astesiano , Alessandro Giovini , Gianna Reggio , Elena Zucca An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:91-116 [Conf ] Horst Reichel Software Specification by Behavioural Canons. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:117-138 [Conf ] H. B. M. Jonkers An Introduction to COLD-K. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:139-205 [Conf ] W. E. Baats , Loe M. G. Feijs , J. H. A. Gelissen A Formal Specifications of INGRES. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:207-245 [Conf ] C. P. J. Koymanns , Gerard R. Renardel de Lavalette The Logic MPLomega . [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:247-282 [Conf ] H. B. M. Jonkers Description Algebra. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:283-306 [Conf ] Loe M. G. Feijs The Calculus lambda-pi. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:307-330 [Conf ] Heinrich Hußmann , Alfons Geser The RAP System as a Tool for Testing COLD Specifications. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:331-345 [Conf ] Alfons Geser A Specification of the intel 8085 Microprocessor: A Case Study. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:347-401 [Conf ] Heinrich Hußmann , Christian Rank Specification and Prototyping of a Compiler for a Small Applicative Language. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:403-418 [Conf ] Luigi Lavazza , Stefano Crespi-Reghizzi Algebraic ADT Specifications of an Extended Relational Algebra and their Conversion into a Working Prototype. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:419-446 [Conf ] Jan A. Bergstra , Jan Willem Klop ACTtau : A Universal Axiom System for Process Specification. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:447-463 [Conf ] Rob J. van Glabbeek , Frits W. Vaandrager Modular Specifications in Process Algebra with Curious Queues. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:465-506 [Conf ] Sjouke Mauw An Algebraic Specification of Process Algebra, Including Two Examples. [Citation Graph (0, 0)][DBLP ] Algebraic Methods, 1987, pp:507-554 [Conf ]