Technical Writing

• The Ericsson Language
  Elektronica + ES 9 2007, p28-29
  Erlang is a functional programming language for concurrent soft real-time embedded systems

• Designing with Bluespec
  Elektronica + ES 6 2007, p18-20
  Bluespec's EDA tools are based on term rewriting and functional programming

• TorX generates tests by itself
  Elektronica + ES 4 2007, p12 - 13
  A tool for automated model based testing from the University of Twente

• The Clockless Processor
  Elektronica + ES 1/2 2007, p10 - 11
  The ARM 996HS is based on asynchronic logic from Handshake Solutions

• NFC is Getting Closer
  Elektronica + ES 12 2006, p10 - 11
  Overview of Near Field Communication technology and the NFC Forum

• A Tool for Top Sport
  Elektronica + ES 11 2006, p10 - 11
  An automatic tracking system for professional soccer training, jointly developed by TNO and Abatec

• Minix 3
  Elektronica + ES 11 2006, p16 - 17
  The well known Minix operating system has been redesigned as a very reliable and dependable Unix

• Veiligheid is Programmeerbaar
  Elektronica + ES 6 2006, p21, 22
  Article about CIP (Common Industrial Protocol) Safety application in industrial automation

• The successor to the successor of the DVD
  Elektronica + ES 5 2006, p21 - 23
  An article about holographic data storage and its implementation by InPhase Technologies

• Open Source Hardware
  Elektronica + ES 11 2005, p 22 - 24
  Article on open source in electronics and electronics design, based on email with evangelist Jamil Khatib

• Herontwerp drukt kosten Elektronica
  PT Industrieel Management Oktober 2005, pp26,27
  Redesign of electronic subsystems may reduce costs of high mix/high complexity/low volume devices

• Open standaard in Java
  Computable September 16, 2005
  An introduction to the Open Systems Gateway Interface (OSGi) for WAN to LAN services

• Straalmotor voor mobiel?
  Computable August 19, 2005
  An overview of the IP Multimedia Subsystem for 3G mobile networks

• Kostenreductie door Herontwerp
  Elektronica + ES 4 2005 p14, 15
  Low Volume/High Mix/High Complexity OEMs save costs through electronic redesign

• Diensten vanuit WANs naar LANs
  Elektronica + ES 6 2005 p8,9
  An introductory overview of the OSGi standard for service delivery from WANs to LANs

• Chips met Vele Gezichten
  Computable December 17, 2004
  An introduction to programmable logic chips, their technology, use and market

• De plussen in SystemC
  Elektronica + ES 11 2004, p14,15
  SystemC is an extension of the C++ software programming language to include hardware constructs

• Hard Java in ARM processoren
  Elektronica + ES 6 2004, p24 - 27
  An article on Java bytecode and how it is implemented in ARMs Jazelle processor s

• SIM Cards for WLAN
  Elektronica + ES 3 2004, p 28,29
  An article with co-author Aad Verbunt on SIM cards, based on the SIM event in Amsterdam

• Media Dienstverlening op Maat
  Computable December 12, 2003
  Digital Rights Management based on an interview with DMD Secure CEO Rist Brouwer

• Eclipse
  Computable November 21, 2003
  An article on the 'Eclipse' development environment

• Dumb Numbers for Internet Content
  Computable November 14, 2003
  Reprinted in Dutch and French Data News 01 26, 19 January 2004, p 12,13
  
  An article on the digital object identifier and it's use

• MDA at Deutsche Bank Bauspar
  Computable March 28, 2003
  This German Bank received the OMG prize for best Model Driven Architecture application

• De onzichtbare hand vanARM
  Computable May 10, 2002
  A feature on Advanced Risc Machines and their IC designs

• Boundary Scan test beter
  Elektronica 5, 12 - 15, (2002)
  An article on the IEEE 1149.1 Boundary-Scan test method for components and PCBs.

• Statische Functionele Verificatie
  Elektronica 4, 23 - 25, (2002)
  Introduction to the formal verification tool Solidify from Averant

• Draadloze Communicatie met Bluetooth
  Computable February 1, 2002
  An introduction to Bluetooth wireless communication technology

• Bewijzen is Weten
  Elektronica 11, 31 - 34 (2001)
  Formal verification may prevent design errors in hardware

• Software Ontwerp volgens Hardware Model
  Elektronica 6, 21 - 23 (2001)
  Philips's software architecture for consumer electronics: the 'Koala' component model

• De Kracht van VHDL, deel 2
  Elektronica 10, 30 - 33 (2000)
  Introduction to the hardware description language VHDL part 2: Simulation and Synthesis

• De Kracht van VHDL, deel 1
  Elektronica 9, 24 - 27 (2000)
  Introduction to VHDL part 1: Entity and Architecture descriptions

• Systeemontwerp en Requirementsbeheer
  Elektronica 5, 34 - 37 (2000)
  Software Development Life Cycle support with Requirements Management Tools.

• HSE heeft de Toekomst
  Elektronica 5, 42 - 44 (2000)
  Hardware/Software Co-design of embedded systems.

• Programmeren met Gödel
  Elektronica 94/3, 20-25 (1994)
  Article about John LLoyd's logic programming language Gödel, the successor of Prolog.

• Hoe Kleiner de Hooiberg, des te Groter de Speld
  Elektronica 93/17, 18-23 (1993)
  Article about Constraint Logic Programming (CLP), in particular the CLP program 'Charme'.

• Beroep Kennistechnoloog
  Elektronica 92/11, 16-23 (1992)
  The Structured Knowledge Engineering (SKE) course by AI company Bolesian.

• Formeel Formuleren, deel 2
  Elektronica 92/6, 21-25 (1992)
  Mini-tutorial on mathematical logic and formal specification: predicate logic and semantics.

• Formeel Formuleren, deel 1
  Elektronica 92/5, 27-31 (1992)
  This first part of the tutorial on mathematical (symbolic) logic covers formal models.

• De Rol van Termreductie bij Algebraïsch Specificeren
  Informatie 33/10, 627-635 (1991)
  Introduction to the theory of term rewrite systems and their part in algebraic specification.

• Abstracte Syntaxis Notatie
  Elektronica 90/22, 21-31 (1990)
  Describes the ISO 8824/5 standards Abstract Syntax Notation One (ASN1) and the Basic Encoding Rules.

• Amsterdamse Processen
  Elektronica 90/15-16, 36-47 (1990)
  Process Algebra, developed at the CWI and University of Amsterdam, aims at communication protocols.

• Inhoud krijgt Vorm in ODA
  Elektronica 90/12, 46-57 (1990)
  Exchange of 'Office Documents' between different systems has been standardized in ISO 8613.

• Vier Dagen MC68HC11A8, deel 2
  Elektronica 90/3, 17-31 (1990)
  Mini guide for Motorola's HC11 single chip microcomputer, based on the official course.

• Vier Dagen MC68HC11A8, deel 1
  Elektronica 90/1-2, 19-31 (1990)
  First part of the summary of Motorola's four day course on HC11 system design.

• CAM in Concreto
  Elektronica 89/9, 31-43 (1989)
  Computer Aided Manufacturing (CAM)in practice. A case study of metal processing using Miturn.

• Redeneren met Vage Gegevens, deel 2
  Elektronica 89/1-2, 35-43 (1989)
  Applying fuzzy linguistic information (fuzzy sets and possibility theory) in knowledge systems.

• Redeneren met Vage Gegevens, deel 1
  Elektronica 88/24, 36-45 (1988)
  One of the first Dutch articles about 'fuzzy sets' and 'fuzzy logic'.