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
Products
We take on projects that you outsource to us but we also maintain several projects in-house.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 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 .
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.