Browse by Tags

I just completed a simple app and got it in the store in about 24 hours.  Students that I work with have gotten apps in the store in less than 3 hours or so.  It isn’t difficult but you do need to get some practice.  Like a doctor who is learning how use the DaVinci Robot, it takes about...

Datadog?  I am at SIGSCE and I just learned about something called datadog.  So what is datadog (and no I didn’t just put words randomly together): Counterdog is an automated theorem-prover for a counterfactual meta-logic about propositional Datalog programs. It is useful, for example, for...

Guessimate? What is that? Guessimate, who names these things? Guesstimate is a programming model for developing collaborative distributed systems. Think about, in many systems there are processes that need to queue up pairs of processing. If, for example, you have two sensors, let’s say...

Hadar Ziv, at UC Irvine, in my opinion, is the teacher you want to get to know. His specialty is loosely around software engineering, and his students are quite knowledgeable about the in and outs of system design. In Southern California another school that does a good job is California State University...

  If we are going to discuss software engineering over time, then we got to start with the basics.  The reference for this is at: http://combination.cs.uiowa.edu/ Combination of logics (e.g., modal logics, logics in AI, ...); Combination of constraint solving techniques (unification and matching...

In a paper titled: Incremental Compositional Dynamic Test Generation , researchers from the University of Wisconsin, Madison, during the production phase of Windows 7, found one-third of all of the security bugs in Windows 7, using a process called Satisfiability Modulo Theories (SMT) solver or as it...

Z3 may bring back memories of Modula-2, and it should there are a number of similarities.  Z3 provides APIs for use with ‘C’, this is illustrated at: http://research.microsoft.com/en-us/um/redmond/projects/z3/group__capi__ex.html Managed (.NET) API Examples is illustrated at: http://research.microsoft...

It is very sad that the Japanese Earthquake occurred, but when you look at the way buildings held up against one of the strongest earthquakes ever measured, one just has to marvel at the strength and excellence of Japanese civil engineering. As software developers, I think that we should all take a moment...

Original title for this blog:   OMG: I appeared to have made a commitment to show how to build a dll in a previous blog and Angelina Jolie tells her story about DLLs I am sorry, I made the statement: “In this blog, we will create a simple DLL that works in both Windows 7, Vista and the like, as...

It's Christmas time and what better thing to do than to build a game to give away as a Christmas gift? Especially one that works on many different devices? To get started you will need to make sure you have one of the versions of Visual Studio Express, Visual Studio Professional or Visual Studio Team...

Wow, with the new CTP release of the XNA Game Studio 3.0 you can create games that work on the Zune. Since we only talk about things you can do using the Express products on this blog, you will need to download VC# 2008 Express. However, if you have access to the Visual Studio 2008 Professional or VSTS...