Browse by Tags

Tagged Content List
  • Blog Post: Why are specifications important for software and design?

    If you are in a rapidly evolving small company and the main concern is to make payroll, writing specifications are not at the top your todo list.  But building code against specifications are usually what you do, the specifications might be the work order that your customer agrees to pay you for...
  • Blog Post: A Game Production Focus Curriculum

    A Game Production Focus Curriculum Author: Sam Stokes Abstract Using Games as a motivator for Computer Science has been proven by many papers in this conference, especially, “Defining the expectation gap: a comparison of industry needs and existing game development curriculum [i] ”. We wanted to take...
  • Blog Post: TouchDevelop: Build Windows Store apps easily and quickly

    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...
  • Blog Post: Datadog? What in the heck is datadog and is it part of that new OS?

    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...
  • Blog Post: Free tool for Software Engineering: Guessimate

    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...
  • Blog Post: Software Engineering: Success or no success, generally the schools aren’t going to be helpful

    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...
  • Blog Post: Research: What is Automated Reasoning

      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...
  • Blog Post: University of Wisconsin, Madison finds GIANT number of security bugs during Windows 7 production

    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...
  • Blog Post: Online Programming Tools from Microsoft Research: Z3, where do you use 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...
  • Blog Post: Japanese Earthquake, a monument to design excellence and a society that works together

    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...
  • Blog Post: DLLs: Important stuff, and questions about Angelina Jolie’s use of DLLs

    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...
  • Blog Post: Installing XNA 3.0 Game Studio getting ready to build a Christmas Gift!

    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...
  • Blog Post: New Zune Review: Create games on the Zune

    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...
Page 1 of 1 (13 items)