
Knowledge Software provide consultancy on 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.
OSPC can be used to solve your portability, maintainability, complexity, quality assurance, style analysis, code review, software metric, standards adherence, and company compliance problems. Standards for which support is provided off the shelf include XPG/4 and POSIX.
OSPC can also check applications that contain embedded SQL declarations and statements. This checking includes SQL level checking and the C/SQL interface.
Call for more information, or to arrange a demonstration.
CtoA converts programs written in C into Ada. The tool is based on CtoP (the manual of CtoP version 1 is available in postscript and the executable is available as shareware, search under the DOS index for CtoP) and it is currently frozen at the end of the first design phase. Port-a-Kit is a portable P-code interpreter for the UCSD Pascal environment. Written in C it has been ported to a wide variety of platforms and is license in source code form.
© Copyright 1996-2008. Knowledge Software Ltd. All rights reserved;