Software tools for the specification language LOTOS / Peter Herman Johan van EijkA program generator for recognition, parsing and transduction with syntactic patterns / door Gert Jan van der SteenSoftware engineering / J.C. van VlietCompositionality, concurrency and partial correctness : proof theories for networks of processes, and their connection / Jakob ZwiersConductor : a multilingual programming environment for statistical software / Volken Jelle de JongSoftware engineering / I. Sommerville ; [vert. uit het Engels door R.J. Lunbeck]Verification and derivation of infinite-list programs / Berend Ate SijtsmaTermherschrijfsystemen / J.A. Bergstra, J.W. Klop, A. MiddeldorpAlgoritmen en datastructuren / Niklaus Wirth ; [vert. uit het Engels door J. de Bruyn]Program generator systems for business-oriented programs / Frans Adrianus van HoeveConstructie en verificatie van programma's / Roland C. Backhouse ; [vert. uit het Engels: M.M. Stefanski]Beginselen van gestructureerd programmeren / Fred Mulder, Herman KoppelmanA formalisation of design methods : a →l⇋[lambda]-calculus approach to system design with an application to text editing / Laurentius Michiel Gerardus FeijsSyntax and semantics of VVSL : a language for structured VDM specifications / Cornelis Adam MiddelburgTurbo Assembler, Turbo Debugger / J. BieleckiCase studies in process specification and verification / door Johannes Cornelis MulderObjectgeoriënteerd software-ontwerp / Bertrand Meyer ; [vert. uit het Engels door J.A.A.M. Poirters]Specification and compositional verification of real-time systems / Jozef Johannes Maria HoomanComputational optimization and applications : an international journalTowards a software factory / Michael Jozef Ignatius Maria van GenuchtenReasoning about dynamically evolving process structures : a proof theory for the parallel object-oriented language POOL / Frank Sipke de BoerStudies in process algebra, algebraic specifications and parallelism / Joseph Laurentius Maria VranckenImplementation of modular algebraic specifications / Paul Robert Hendrik HendriksTowards formal specification and proof of finite element software within the ATES development system / Herman Hendrik ten CateOn equal terms : implementing algebraic specifications / Humphrey Robert WaltersWerken met Turbo Assembler / Tom Swan ; [vert. uit het Engels door Bart Verbeek]Separation of the user interface and application / Johannes Martinus VersendaalObject-georiënteerde technologie / David A. Taylor ; [vert. uit het Engels door Andrea Zwaanswijk]Loop checking in logic programming / Roland Nicolaas BolJaarverslag ... / Software Engineering Research CentrumCase technology, from Software Development Life Cycle (SDLC) to Software Engineering Life Cycle (SELC) / Tsvi G. Vinig, Jan S. AchterbergMethods and tools in user-centered design in information technology / ed. by Margaret Galer, Susan Harker, Jürgen ZieglerLaw and order in algorithmics / Martinus Maria FokkingaPersistence in algebraic specifications / Frederik WiedijkDesigning usable and maintainable software : proceedings of the symposium on the occasion of the 25th anniversary of the CAWCS, held on April 16th 1992 in Den Helder, The Netherlands / ed. by J.J. Scholten, J.M. de VriesA software architecture for CAPP systems / Frank Jacob Cornelis Maria JonkersProgramming environments for high-level scientific problem solving : proceedings of the IFIP TC2/WG 2.5 Working Conference on Programming Environments for High-level Scientific Problem Solving, Karlsruhe, Germany, 23-27 September, 1991 / ed. by P.W. Gaffney, E.N. Houstis ; managing ed. A. HiltHuman aspects in computer integrated manufacturing : proceedings of the IFIP TC5/WG5.3 eighth International PROLAMAT Conference, Man in CIM, Tokyo, Japan, 24-26 June 1992 / ed. by G. Olling, F. KimuraPREGMATIC : a generator for incremental programming environments / Marinus Gerardus Josephus van den BrandLeerboek software engineering / [Ian Sommerville ; vert. uit het Engels: Buro Baas ; red.: Marc Leipoldt]