Programmatuur-ontwikkeling

A method of software development using functional programming / S.M.M. Joostenschema:ProductModel A program generator for recognition, parsing and transduction with syntactic patterns / door Gert Jan van der Steenschema:ProductModel A software architecture for CAPP systems / Frank Jacob Cornelis Maria Jonkersschema:ProductModel An applied study on computerized adaptive testing / Wouter Schoonmanschema:ProductModel Compositional verification of parallel programs using epistemic logic and abstract assertional languages / Marten van Hulstschema:ProductModel Computer hardware description languages and their application : proceedings of the 11th IFIP WG10.2 international conference on computer hardware description languages and their applications, CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC Ottawa, Ontario, Canada, 26-28 April, 1993 / ed. by David Agnew, Luc Claesen, Raul Camposanoschema:ProductModel Constructing large conceptual models with MOVIE / Wilhelmus Johannes Joseph Stutschema:ProductModel Designing 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 Vriesschema:ProductModel Engineering for human-computer interaction : proceedings of the IFIP TC2/WG2.7 Working Conference on Engineering for Human Computer Interaction, Ellivuori, Finland, 10-14 August 1992 / ed. by J. Larson, C. Ungerschema:ProductModel Generalized data flow graphs : theory and applications / Gjalt Gerrit de Jongschema:ProductModel Generation of program analysis tools / Frank Tipschema:ProductModel Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International workshop on higher order logic theorem proving and its applications - Hol '92, organized by CHEOPS ESPRIT BRA 3215, sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 / ed. by Luc J.M. Claesen, Michael J.C. Gordonschema:ProductModel Human 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. Kimuraschema:ProductModel Impact of CASE technology on the systems development life cycle / Gregory Tsvi Vinigschema:ProductModel Onderzoek programmeren, hoe doe je dat? : een wegwijzer / P.H.M. van Hoesel, A.F. Wiersemaschema:ProductModel Performance analysis of storage management in combinator graph reduction / Pieter Hendrik Hartelschema:ProductModel PLATO : a piecewise linear analysis tool for mixed-level circuit simulation / Martinus Theodorus van Stiphoutschema:ProductModel Program generator systems for business-oriented programs / Frans Adrianus van Hoeveschema:ProductModel Programmatuur naar een hoger plan : eindrapport / van de Werkgroep Programmatuurontwikkeling, [H.P. Struch, voorz.]schema:ProductModel Programmatuur zonder logica / C.A. Middelburgschema:ProductModel ... show all 30

Programmatuurskos:Concept