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
Books, articles and papers
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
© Copyright 1996-2012. Knowledge Software Ltd. All