Knowledge Software Ltd Home Page

Introduction

Knowledge Software provide consultancy on source code analysis, software quality assurance, software porting, coding guidelines and standards, and other software engineering related issues. 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.

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.

Books, articles and papers

Empirical Software Engineering with R, a book under development.
Various experiments on the behavior of professional software developers.
The Shape of Code blog contains observations on software development.
The slike tool attempts to generate words that sound like the input word.
The numbers tool attempts to deduce the application domain addressed by source code.
The New C Standard: An Economic and Cultural Commentary latest version of this book available for download (Jun 09: updated to version 1.2).
Verifying claims of Open Systems conformance
Checking an Applications use of API's
Commentary on the MISRA C Guidelines.
Migrating from 32 to 64 bit systems
Applications POSIX.1 conformance testing
Checking C code containing embedded SQL
Reusing C code in Java
Translating C to Ada
Who guards the guardians?

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