Knowledge Software Ltd

Introduction

Knowledge Software provide consultancy on source code analysis, software quality assurance, software porting, coding guidelines and standards, and other software engineering related issues.

Knowledge Software has been in the business developing tools for software development and source code analysis consultancy since 1983. The company has taken an active role in the creation of the C standard since 1987, the MISRA C++ guidelines since 2004, and more recently the ISO working group on programming language vulnerabilities. Past projects have included writing a portable front end for a validated C compiler, a front end for checking embedded SQL/2, a tool for converting Pascal like languages to C, and retargeting a Cobol intermediate code to a variety of RISC processors.

Books, articles and papers

Compiler validation

Knowledge Software is the European distributor for the Perennial range of compiler validation tools. Languages covered include C, C++ and Java.

Call for more information, or to arrange a demonstration.

TEL: +44 1252-520667

OSPC@knosof.co.uk


© Copyright 1996-2014. Knowledge Software Ltd. All rights reserved;