Introduction

Knowledge Software has been in the business developing tools for software development and source code analysis consultancy since 1983.

Books, articles and papers

• Evidence-based Software Engineering: based on the available public data, a pdf of the complete book is available, along with all the code+data.
• 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?

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