Geeks With Blogs
Blog Moved to http://podwysocki.codebetter.com/ Blog Moved to http://podwysocki.codebetter.com/ Spec#
ALT.NET Open Spaces, Seattle Day 2 Recap
In my previous installment of recapping the events from ALT.NET Open Spaces, Seattle, I covered pretty much the opening ceremonies as it were. The weather was definitely interesting the entire weekend. Who would believe that we had snow, hail and rain for most of the time we were there in the latter half of April? Mind you it didn't stick, but if you believe in God, there is something to be said of ALT.NET coming to town. Coverage Galore Jeffrey Palermo was gracious enough to capture the opening ......

Posted On Tuesday, April 22, 2008 7:14 PM

Singularity - C# OS Released on CodePlex
Update: If you want the .iso I used for the VPC, check it out here on my SkyDrive. During my research and posts about Design by Contract and Spec# and my interactions with folks from Microsoft Research, I came across Singularity OS, an operating system written in an offshoot language based upon C#. In that time, I realized that the Singularity team extended Spec# and the Design by Contract and static verification pieces of it into a new language called Sing#. Fast forward to last Tuesday. Almost ......

Posted On Tuesday, March 11, 2008 8:03 PM

Design by Contract Revisited with C# and .NET
In a previous post, I talked about various attempts at frameworks that are trying to do Design By Contract (DBC) in .NET. Many simply just come across as simple validation frameworks without the heart of DBC which is the contract. Where is the contract? Well, dig through my code and find out! It's something that I've been harping on time and time again is that without transparency to the caller and callee of the contract, it's just another validation framework. You'll hear either myself or Greg Young ......

Posted On Thursday, January 31, 2008 7:32 PM

Design by Contract and C# (without Spec#)
After finishing the mini-lecture circuit and my often viewed dive into Spec#, I decided to see if anyone else was working in the Design By Contract (DBC) arena with C#. Greg Young and I often talk about this subject and various scenarios where it would make sense, and where it wouldn't. Hopefully we'll hear more from the Spec# team shortly about the futures. It turns out there are two other attempts at what Spec# does, and that's what I'm going to dive into today. Back to Basics So, first, let's ......

Posted On Tuesday, January 22, 2008 12:58 AM

DC ALT.NET Meeting 1/15/2008 Reminder
For those who missed it, our DC ALT.NET group will meet on January 15th at 7PM. I'm hoping for a great turnout of passionate developers in the DC Metro area. Hope you can make it. Also, don't forget to join the list as we discuss more issues and our next meeting stuff. The meeting this month will bring ALT.NET to CMAP. Are you a developer who always keeps an eye out for a better way? Do you look outside the mainstream to adopt the best practices of any development community, including Open Source, ......

Posted On Sunday, January 13, 2008 11:26 PM

DC ALT.NET Meeting 1/15/2008
We are announcing our second meeting of DC ALT.NET on January 15th at 7PM. The meeting this month will bring ALT.NET to CMAP. Are you a developer who always keeps an eye out for a better way? Do you look outside the mainstream to adopt the best practices of any development community, including Open Source, Agile, Java, and Ruby communities? Are you always looking for more elegant, more simple, more maintainable solutions? If so, then you might be an ALT.NET practitioner! This group follows the Open ......

Posted On Wednesday, January 2, 2008 11:31 PM

.NET 3.5, Design by contract and Spec# Part 4
Updates: Part 5: Frame Conditions/Inheritance/Boogie Part 6: Implementing a non-null string collection Part7: Spec# Wrapup Sorry about the delay in getting this post out, but work and the holidays have been busy! COM and C++ interop have taken a large amount of my time lately for my customer. I am going to present Spec# to a couple of groups this month, so this should be my motivation to increase the number of posts. The goal of this series is to better introduce the subject of Spec#. This product, ......

Posted On Friday, December 28, 2007 6:41 PM

.NET 3.5, Design by contract and Spec# Part 3
Updates: Part 4: Object Ownership/Assertions & Assumptions Part 5: Frame Conditions/Inheritance/Boogie Part 6: Implementing a non-null string collection Part7: Spec# Wrapup In my previous posts regarding Spec#, I have discussed some of the general concepts. Let's review each one before we move onto today's topic, because each one builds upon another. Part 1: Spec# introduction Part 2: Method Contracts (Preconditions/Postconditions) Now that we're caught up, let's move on. Today's topic is going ......

Posted On Sunday, December 16, 2007 12:00 AM

.NET 3.5, Design by contract and Spec# Part 2
Updates: Part 3: Invariants Part 4: Object Ownership/Assertions & Assumptions Part 5: Frame Conditions/Inheritance/Boogie Part 6: Implementing a non-null string collection Part7: Spec# Wrapup In a previous post, I talked about the essentials of Spec# and where it's going. After the first post, I talked with Greg Young a little bit about the possibilities and potential of Spec# and Design by Contract. Greg gave a session on Spec# at DevTeach, so it's great to talk to someone passionate about this ......

Posted On Wednesday, December 12, 2007 3:05 AM

C# - vNext
I've been reading lately about what people are interested in with the next version of C#. It's amazing to think how far the language has come from the early days. Many of the newer features of the language with 3.0 by far have made it a better language. So, what did we get with the latest C# 3.0? Object Initializers Automatic Properties Anonymous Types Extension Methods Lambda Expressions LINQ Collection Initializers By far, I agree with most of Jeremy Miller's sentiments regarding C# vNext, including: ......

Posted On Friday, January 11, 2008 9:20 PM

Copyright © Matthew Podwysocki | Powered by: GeeksWithBlogs.net