Already a member? Log in

Sign up with your...

or

Sign Up with your email address

Add Tags

Duplicate Tags

Rename Tags

Share It With Others!

Save Link

Sign in

Sign Up with your email address

Sign up

By clicking the button, you agree to the Terms & Conditions.

Forgot Password?

Please enter your username below and press the send button.
A password reset link will be sent to you.

If you are unable to access the email address originally associated with your Delicious account, we recommend creating a new account.

ADVERTISEMENT
ADVERTISEMENT

Links 1 through 10 of 17 by Kirill Osenkov tagged StaticAnalysis

Share It With Others!

Share It With Others!

Visualize code structure Check architecture conformance and quality Redesign architecture Monitor structural and qualitative evolution

Share It With Others!

Share It With Others!

Share It With Others!

Share It With Others!

NDepend is a tool for .NET developers that allows controlling the complexity and quality of .NET code. NDepend analyses source code and assemblies and generates a report. A GUI allows to visualize, zoom and control any part of the code.

Share It With Others!

Epigram is a dependently typed programming language and an interactive programming environment. Epigram has got a type system which is strong enough to express the behaviour of programs, the type checker then guarantees that the program is well behaved.

Share It With Others!

Share It With Others!

The goal of the Foundations of Software Engineering (FSE) group at Microsoft Research in Redmond, Wash., is to improve software development productivity by software modeling, design verification, and automated testing.

Share It With Others!

ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT