Software Specification Processing System

摘要: This invention is directed towards software development and testing process. The specifications supplied for the used put along with program code. Logical functions predicates can be defined in this framework code itself to assist defining specifications. Assertions are inserted statements describe state of machine before after statement. logic engine verifies assertions their correctness, hence proving does meet embedded into executable or library whichever created so that anyone using verify if it what needed.