The Making of Office 2010 is a series of videos that takes you behind the scenes with those who are responsible for creating Microsoft Office 2010. This is Abigail Welborn, she is a software Development Engineer with Microsoft Access. She talks about the features she worked on with Access 2010 primarily the Calculated Field.
Braincandy for your needs…
Archives for posts with tag: Software
The Making of Office 2010 – Abigail Welborn, Software Development Engineer – Microsoft Access
Comments Off
Security Talk: Simplified SDL with David Ladd
Comments Off
The Microsoft Security Development Lifecycle (SDL) is the software development security assurance process used at Microsoft. With the release of the Simplified Implementation of the Microsoft SDL guidance paper, the Microsoft SDL team provides guidance to organizations on the core elements and security activities of the Microsoft SDL to be performed in order to improve their own software development process.
Download the Simplified Implementation of the Microsoft SDL here.
Dr. Cormac Herley spends most of his time thinking about why and how computer users reject security advice (from both fellow humans and software security warning prompts). Recently, his paper, “So Long, and No Thanks for the Externalities: the Rational Rejection of Security Advice by Users,” received a fair amount of attention from the general media (Boston Globe, Tech Republic, NPR, etc). The paper also prompted our favorite software renegade, Dr. Erik Meijer, to send me an email, simply asking that I “please set up an E2E with Cormac Herley.” I did just that and the following conversation is what happened…
Enjoy.
Margus Veanes, a Researcher from the RiSE group at Microsoft Research, gives an overview of Rex, a tool that generates matching string from .NET regular expressions. Rex turns regular expressions into symbolic automatons, then gives them to a constraint solver to find matching strings.
- Download Rex and play with it!
The Research in Software Engineering team (RiSE) coordinates Microsoft’s research in Software Engineering in Redmond, USA.
The Verification Corner – Loop Termination
Comments Off
In this episode of The Verification Corner, Rustan Leino, Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research, shows how to prove loop termination. During his demonstration, Rustan presents the theoretical background information necessary to build the proof before modeling it using the Dafny language.
- Find past and future episodes of the The Verification Corner!
The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE), which coordinates Microsoft’s research in Software Engineering in Redmond, USA.
Pro Scrum Developer Intro
Comments Off
The Professional Scrum Developer program is a uniquely valuable five-day experience for software developers. The course guides teams on how to turn product requirements into potentially shippable increments of software using Visual Studio 2010, the Scrum framework, and modern software engineering practices. In this video, Ken Schwaber of Scrum.org and Sam Guckenheimer of Microsoft give an overview of the course and guidelines to getting started.
Ken Schwaber, co-inventor of Scrum, and Sam Guckenheimer, Group Product Planner for Visual Studio discuss the Professional Scrum Developer (PSD) program around VS 2010. PSD includes a unique and intensive five-day experience for software developers. The course guides teams on how to turn product requirements into potentially shippable increments of software using Visual Studio 2010, the Scrum framework, and modern software engineering practices.
Ken and Sam talk about how Scrum.org and Microsoft collaborated on a new standard to make development teams more effective. Rather than treat process, tooling and engineering practices as separate topics and leaving their application as follow-up homework, both organizations saw the need to make teams effective in the application within a training setting. PSD classes are available worldwide at VS 2010 launch from certified trainers who are assessed, trained, mentored, and monitored by Scrum.org and Microsoft.
It’s been far too long since we’ve chatted with the great Brian Beckman, an astrophysicist, software architect, and Channel 9 icon. Some of you may know him as the wizard who appears out of thin air whenever the word Monad is said three times in succession. :->
A few weeks ago, Erik Meijer sent an email to Brian with a link to some videos about the use of analog computers in the US Navy in the 1950s. This got Brian thinking and reflecting about his past. Turns out Brian’s father was a famous Hollywood actor who also produced training movies for the US Navy. Well, I was added on to the email thread and we taped the conversation in this video a few days later.
It’s always a pleasure to embark on an unscripted chat with Dr. Beckman. There are always great nuggets of wisdom and insight around every corner. Here, you’ll learn about some of Brian’s personal history, some insights on analog computing, and even some discussion on the Drake equation, N = N* fp ne fl fi fc fL, which attempts to formalize the probability of intelligent life in the universe.
Sit back, relax, and enjoy.
In this episode of The Verification Corner, Rustan Leino gives a demonstration of specifications in action. He builds a program that chunks strings into pieces, i.e. a chunker, in Spec#. During the demo, he shows the verifier, the developer, and the specifications fit together in the development cycle. Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research.
- Find past and future episodes of the The Verification Corner!
The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE) , which coordinates Microsoft’s research in Software Engineering in Redmond, USA.
The Verification Corner: Loop Invariants
Comments Off
In this episode of The Verification Corner, Rustan Leino talks about Loop Invariants. He gives a brief summary of the theoretical foundations and shows how a program can sometimes be systematically constructed from its specifications. Rustan Leino is a Principal Researcher in the Research in Software Engineering (RiSE) group at Microsoft Research.
- Whiteboard slides [.pdf] [.pptx]
- Spec# Demo project [.zip]
- Find past and future episodes of the The Verification Corner!
The Verification Corner is a show on Software Verification Techniques and Tools. The show is produced by the Research in Software Engineering team (RiSE) coordinates Microsoft’s research in Software Engineering in Redmond, USA.