software

A case study on adaptability problems of the separation of user interface and application semantics / M. Eversschema:ProductModel A method of software development using functional programming / S.M.M. Joostenschema:ProductModel A module architecture browser : visualisation of architectural information in support of reverse engineering / André Glasschema:ProductModel A real-life application of software component modelling / J.W.G.M. Hubbers, T.F. Verhoefschema:ProductModel A software architecture for ScopeMeter instruments : an object-oriented approach for a Windows CE environment / Alexander Vrijsenschema:ProductModel A software design tool for the analysis of robot dynamics properties / by R.J.P. Groothuizen, J.I. van den Berg, W. van Leeuwenschema:ProductModel A software environment for designing delay-insensitive circuits II / René Engbers & Jan Langenbergschema:ProductModel A specification system for statistical software / V.J. de Jongschema:ProductModel Abstraction in, specification and proof of software for a 1D heat-transfer problem / H.H. ten Cateschema:ProductModel Adaptability of model transformations / Ivan Kurtev Ivanovschema:ProductModel Advanced debugging methods / by Raimondas Lenceviciusschema:ProductModel Advanced object-oriented requirement specification methods / Roel Wieringaschema:ProductModel AEvdm action-event modeling using an extended VDM-SL / Ronald Huijsman ... [et al.]schema:ProductModel Algorithms, software, architecture : proceedings of the IFIP 12th World Computer Congress, Madrid, Spain, 7-11 September 1992 / ed. by Jan van Leeuwenschema:ProductModel Applications and benefits of formal methods in software development / Nico Plat, Jan van Katwijk, Hans Toetenelschema:ProductModel Applying abstraction and formal specification in numerical software design / H.H. ten Cateschema:ProductModel Applying formal methods in the DO-178B certification process : an introduction / by L.M.G. de Vriesschema:ProductModel ASF, an algebraic specification formalism / J.A. Bergstra, J. Heering, P. Klintschema:ProductModel Auteursrecht op techniek : de auteursrechtelijke bescherming van het technisch aspect van industriële vormgeving en computerprogrammatuur / Antoon Alfons Quaedvliegschema:ProductModel Automatisering van de testuitvoering : een praktische handleiding / Bart Broekman, Christiaan Hoos, Mark Paap ; [red.: LINE UP tekstprodukties]schema:ProductModel ... show all 1102