Nokia Mobile Phones (NMP) is Europes largest and the world's second largest mobile telephone manufacturer. Systematic improvement of NMP's software development processes have been made since 1987. Focus started with software development practices and moved on to quality and software process monitoring, achieving ISO 9001 in 1992.

NMP has coped with the increasingly complex software development process by integrating IF/Prolog based tools in several key areas. The tools are in use everyday at many NMP sites and have resulted in: faster application development, improved quality and optimised code.

Configuring Software:

Different market areas and user groups require different software configurations for their mobile phones. The configuration tool is implemented in IF/Prolog and utilises Prolog formatted configuration files to produce a link list and a set of header files for configuring source code and building the SW package.

Automatic Code Generation:

A graphical software analysis and design tool is used to design parts of the mobile phone software. This tool saves diagrams as Prolog code format and these diagrams are then compiled into highly optimised source code.