Theory and practice of software - tapSW
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.
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
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:
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 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.
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