Shrivatsan Navalpakkam Rajagopalan

A method and a system to maintain consistency between software specification and code are described. A specification engine converts a specification describing features included in a piece of software into converted specification that describes the historical details of the features organized temporally. A code engine abstracts code corresponding to the specification into a design. An n-trace engine traces a portion of the converted specification that describes a particular feature of the one or more features to a portion of the design that includes the code that, when executed by one or more processors, implements the particular feature and generates a time-graph that sequentially orders events occurring in connection with the portion of the code.