a  background image showing the tapSW office
Theory and practice of software - tapSW
home about us it services people testimonials projects book a meeting contact us ext:g+

software and project problems in the right hands

agile methods from day one

bespoke software development, mobile and web environments

meet the team, their theory and their practice

your dream, your theory, your software, our expertise

expertise from theory


We take on projects that you outsource to us but we also maintain several projects in-house.
booking dialog product box

BookingDialog is a web 2.0 SaaS project, which is under constant maintenance. The program allows SME's to have a fully fledged appointment-reminder-invoice system embedded into their own website by simply pasting a few lines of javascript code.

Appointments can be administered from a web-app or from a mobile app. The project exhibits a variety of engineering challenges: Higher order multiuser (each client has many users) and multi domain (works for different business domains) platform with own security spec, SMS and email notification system, REST API, multi tier J2EE back-end deployed on Glassfish clusters. See here for more details.

Interaction net compiler logo
Interaction net compiler

Interaction nets are a visual programming paradigm and computational model. You program interaction nets by specifying visual rules. For example, the following specifies the rules of addition: interaction net compiler logo The engineering challenge here was the implementation of the compiler and execution engine that can compute the answer of such a program. Read more here .

Virtual Machine Project logo
Virtual Machine Delta

There is a specific class of virtual machines, known as environment machines. In a nutshell, this work is about specification of operational semantics of resource agnostic virtual machines, that is, a set of rules that act as a formal description of steps that the machine has to take in order to compute a program. The design challenge of this project is simple: correctness and efficiency. Read more here .

Need an IT solution? We'll get it.

Let us have a look at your IT requirements. Are you in London? Simply arrange a meeting. No obligations.

IT consultation with proven practice, IT development with sound theory.

we keep costs and risks at a minimum

training in programming and mathematical skills

Software developers with proven practice.

we deliver on time

performance through practice