SPECIFICATION, DESIGN AND IMPLEMENTATION OF LARGE KNOWLEDGE-BASED SYSTEMS.