I can provide a automated detection of privacy-leaks in Java classes using a custom static analysis tool.
Algorithms for pronunciation-aware searches in dictionaries and other databases.
I have an application for finding wave-induced cracks in video inspections of sub-sea structures available for interested customers.
A short screencast introducing the viewers to some of the benefits of how
An Open Source tool for generating command-line interfaces to Ada packages.
An Open Source sound library for Ada providing recording and playback support.
An appendix to the book
An Open Source Ada package wrapping a POSIX file descriptor (as declared in the POSIX.IO package from the POSIX Ada API) as an Ada stream. This allows you to stream Ada objects to/from any kind of file opened with the POSIX Ada API using just the standard stream attributes of Ada.
Mathematical models designed to solve problems for your business.
Software development on a consultancy basis. I can provide time estimates and hourly rates, or fixed-price quotes depending on your needs. I have experience in a large variety of programming languages, among others: Ada, C, C++, Python, Oracle PL/SQL, Pascal, SPARK and Fortran.
Coding standards can benefit from a critical review from an experienced software developer. I provide reviews and constructive comments for coding standards for Ada source text.
I can provide critical source text reviews, either during development or as an independent review of a final product before delivery/acceptance.
New business use of existing software technology, and development of new programming techniques.
Slides from my talk on using tools to generate integration tests from use-cases at Driving IT in Copenhagen.
Earlier today the list of DevRooms at FOSDEM 2016 was announced. This includes an Ada DevRoom organised by Ada-Belgium. Please submit proposals for presentations to <email@example.com>.
I just picked up my copy of Ada User Journal 36.3 from my mailbox. I really look forward to read the paper by A. A. Lovelace (even if it appears to be a reprint ;-).
Are you tired of having all kinds of people tracking which links you click, and which pages you visit on the web? My HTTP redirector attempts to solve this problem by providing you with a local, non-logging replacement for some of the trackers out there. The tool is Open Source and written in Ada.
I was pointed to some interesting programming exercises by a fellow Ada programmer. I took a few hours out of the calendar to solve them in Ada. One interesting observation is that the hardest part of the exercises was to make nice terminations of the programs. The actual synchronisation and communication is easy to do in Ada.
I have built a model of a human brain in LEGO for an exhibition at Medical Museion in Copenhagen.
I have created a minimal example showing how SPARK 2014 proofs and Ada 2012 run-time checks of the same contracts can be done. In the example there is a simple increment procedure with a precondition, which either can be checked at compile-time (by a SPARK 2014 prover) or at run-time (by compiler-inserted checks).
I have done some work on persistent containers for Ada 2012 in connection with a paper I have submitted to the Ada Europe 2015 conference. While I expect to keep the interface to the containers unchanged, I plan to change the implementation drastically.