| 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.
| 
