Products | Services | Updates |
---|---|---|
Privacy-leak detector for JavaI can provide a automated detection of privacy-leaks in Java classes using a custom static analysis tool. Pronunciation-aware dictionary look-upAlgorithms for pronunciation-aware searches in dictionaries and other databases. Software for finding wave-induced cracksI have an application for finding wave-induced cracks in video inspections of sub-sea structures available for interested customers. Case statements in AdaA short screencast introducing the viewers to some of the benefits of how Command-line driver generatorAn Open Source tool for generating command-line interfaces to Ada packages. Sound recording and playback for AdaAn Open Source sound library for Ada providing recording and playback support. POSIX in AdaAn appendix to the book HTTP redirectorAre 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. POSIX file descriptors as Ada streamsAn 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 modellingMathematical models designed to solve problems for your business. Software developmentSoftware 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. Review of coding standardsCoding 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. Source code reviewI can provide critical source text reviews, either during development or as an independent review of a final product before delivery/acceptance. Contract-based programming in Ada 2012A course introducing the participants to contract-based programming in Ada 2012, and giving them some basic rules for using the features of Ada 2012 in a consistent and efficient manner. This course has previously been given as a tutorial at the Ada-Europe conferences in 2014 and 2015. Ada as a Second LanguageA course introducing experienced programmers to Software innovationsNew business use of existing software technology, and development of new programming techniques. Data analysis and processingAnalysis of and data processing for biological experiments. POSIX in AdaA course introducing the participants to systems programming in Ada using the POSIX Ada API. An extended version of this course has previously been given as a part of the software engineering education at DMU-Syd. |
Ada-Europe 2018 Conference Dinner ChallengeJohn Barnes was kind enough to bring us an interesting puzzle again for this year's Ada-Europe conference dinner. The challenge is to write up a 3 digit by 3 digit long product, such that each of the digits 0 .. 9 appears exactly twice. The current edition of the program doesn't print the final result nicely, but it is a pretty simple addition. Registration for Ada-Europe 2018 has opened
DTU Robocup 2018: Prize for best Design/EffectsTeam Roadrunner (Jacob Sparre Andersen, Allan Ascanius and Per Dalgas Jakobsen) won the prize for best design/effects at this year's edition of DTU Robocup. Roadrunner is a 3D printed, 4-wheel, 4-engine robot car with most of its custom control software written in Ada (there are also a few lines of assembly in the hard real-time camera control). Unit-testing with Ahven (course)I gave a course on unit-testing with Ahven in connection with Ada-Europe 2018 in Lisbon in June. Ahven is an Open Source framework for writing unit tests. It is intended to work with any Ada 95 compiler and is regularly tested with several different compilers. The course is focused on testing for projects with less strict testing requirements than DO-178C. Writing Contracts in Ada (course)I gave a course on writing contracts in Ada in connection with Ada-Europe 2018 in Lisbon in June. The course is an updated edition of the course Contract-based programming in Ada 2012. Video: Contract-based Programming: a Route to Finding Bugs EarlierThe FOSDEM video team has published a video recording of my presentation Saturday. (Due to a technical glitch, the first couple of seconds of the video are without sound.) The presentation is intended both for software developers, who are considering to try Ada, and for experienced Ada developers, who haven't worked with the newest features for contract-based programming in Ada. Contract-based Programming: a Route to Finding Bugs EarlierPresentation on how Ada makes it easier to insert assertions in your software. There will live-streaming from the presentation at 14:00 CET 2018-02-03. Submission deadline for Ada-Europe 2018 extended to Monday 5 FebruaryThe submission deadline for Ada-Europe 2018 in Lisbon has been moved to 5 February. Please submit presentations which deliver value and insight on industrial use of Ada and reliable software technologies in general. Industrial presentations are submitted as one-page extended abstracts. Feel free to contact me, if you have any questions regarding this. Linux Day 2017 in CagliariI was in Cagliari for Linux Day 2017. I gave a one-hour crash course on parallel and concurrent programming using Ada for software developers who already know sequential programming. The slides are also available in (a kind of) Italian. Many thanks to GULCh for inviting me to Cagliari. Ada DevRoom at FOSDEM 2018The Call for presentations for the Ada DevRoom at FOSDEM 2018 is out. Please submit your proposals soon. |
Portfolio • Curriculum vitae • Publication list • Products • Services • Science • RSS feeds • Calendar
JSA Research & Innovation • Jægerparken 5, 2. th. • 2970 Hørsholm • Danmark