Nokia Mobile Phones (NMP) ist Europas gr?ster und der weltweit zweitgr?ste Hersteller von tragbaren Telefonen. Seit 1987 wurde die Softwareentwicklung bei NMP systematisch verbessert, zun?hst mit dem Hauptaugenmerk auf den Techniken der Softwareentwicklung, sp?er wurden die Qualit? und der Entwicklungsprozess selbst verbessert. Seit 1992 ist die Software ISO 9001 zertifiziert.
Inspiriert durch den Boom der Techniken der ''K?stlichen Intelligenz'', schaffte es NMP, in einigen wichtigen Bereichen mit Hilfe von Werkzeugen auf Basis von IF/Prolog der immer komplexer werdenden Softwareentwicklung Herr zu werden. Diese Werkzeuge werden in vielen NMP B?os t?lich benutzt und haben folgende Resultate erbracht: schnellere Entwicklung, verbesserte Qualit? und optimierter Code.
Unterschiedliche Marktsegmente oder Benutzer erfordern unterschiedliche Software-Pakete f? die tragbaren Telefone. Das Konfigurationswerkzeug hierf? wurde in IF/Prolog implementiert.
Ein graphisches SA/SD Werkzeug wurde benutzt, um Teile der Software f? tragbare Telefone zu entwerfen. Dieses Werkzeug sichert Diagramme in Prolog-Format, die dann in optimierten Source-Code ?ersetzt werden.