Z — Axiomatic Definition

Z (pronounced as zed) is a formal specification language which uses mathematical text to describe computing systems. Unlike some informal methods such as Data Flow Diagram, which only describes the structure of the computing systems; and State Transition Diagram, which only describes the finite state model of the computing systems; Z is a model-based notation…

dennis_ritchie-400px

R.I.P. Dennis M. Ritchie

A week after Steve Jobs’ passing, which had shaken the world, an equally important technology giant passed away quietly at his home on October 12. Dennis M. Ritchie was best known for inventing the C programming language and co-developing the UNIX operating system. Without his contributions, it’s hard to imagine the computers today, and our…

Hello? What is Ada?

I was giving an Ada talk this afternoon. The room was quite packed with students although not full. They were mainly 3rd year sem 1. Most of them were looking at technologies that they could work with their FYP (Final Year Project). While I regaled them with fascinating true facts of Ada, I could see…