Presentation is loading. Please wait.

Presentation is loading. Please wait.

Thomas Ball Microsoft Research. C# 3.0C# 3.0 Visual Basic 9.0Visual Basic 9.0 OthersOthers.NET Language Integrated Query LINQ to Objects LINQ to DataSets.

Similar presentations


Presentation on theme: "Thomas Ball Microsoft Research. C# 3.0C# 3.0 Visual Basic 9.0Visual Basic 9.0 OthersOthers.NET Language Integrated Query LINQ to Objects LINQ to DataSets."— Presentation transcript:

1 Thomas Ball Microsoft Research

2

3 C# 3.0C# 3.0 Visual Basic 9.0Visual Basic 9.0 OthersOthers.NET Language Integrated Query LINQ to Objects LINQ to DataSets LINQ to SQL LINQ to Entities LINQ to XML Objects Relational XML

4

5

6 Improvements to the F# research release April 2008 Microsoft Research refresh release Broadly improved VS 2008 integration Simplifications in language and libraries Just Released September 2008 CTP Full product-quality release Fully stable and supported language Aligned with future VS releases 2009 Supported Release

7 On the Web: Books:

8

9 Contract Library in.NET 4.0 Coming soon: Tools for contracts at

10 string GetDescription(int x); /// /// should be greater than zero /// /// non-null string /// string GetDescription(int x); /// /// should be greater than zero /// /// non-null string /// string GetDescription(int x); string s = o.GetDescription(i); … s.Length … string s = o.GetDescription(i); … s.Length …

11 string GetDescription(int x) { Contract.Requires( 0 < x ); Contract.Ensures( Contract.Result () != null ); … } string GetDescription(int x) { Contract.Requires( 0 < x ); Contract.Ensures( Contract.Result () != null ); … } Design-by-Contract meets.NET! Design-by-Contract meets.NET!

12 class Rational { public Rational(int n, int d) { Contract.Requires( 0 < d ); this.N = n; this.D = d; } } DocumentationDocumentation Runtime Checking Static Checking Test Generation ( Pex ) Test Generation ( Pex )

13

14 Greater developer productivity More reliable code More precise downstream analysis

15 End-to-end integrated solution Languages Libraries, frameworks, middleware Tools (testing, debugging, performance, etc.) Planning/management Tracking (features, schedule, bugs) Group coordination Deployment, monitoring, update, etc.

16 Microsoft Visual Studio Team System 2008 is an integrated Application Life-cycle Management (ALM) solution comprising tools, processes, and guidance to help everyone on the team improve their skills and work more effectively together. Visual Studio Team System enables members of your team to: Collaborate and communicate more effectively with other team members and business stakeholders. Ensure software quality using advanced quality tools at every step of the application life cycle. Gain visibility into project activity and priorities to make informed decisions based on real-time data. In addition, over 200 Visual Studio Industry Partners offer products to support a broad range of software processes, tools, and platforms.


Download ppt "Thomas Ball Microsoft Research. C# 3.0C# 3.0 Visual Basic 9.0Visual Basic 9.0 OthersOthers.NET Language Integrated Query LINQ to Objects LINQ to DataSets."

Similar presentations


Ads by Google