Software engineering consulting with 30+ years of experience in building reliable and correct systems for critical environments, including financial systems, distributed infrastructures, and complex legacy software.
Gobosoft helps organizations improve system reliability using rigorous engineering methods, including Eiffel and Design by Contract.
Building reliable software systems since 1995, using Eiffel, compilers, and rigorous software engineering methods.
ECMA Eiffel standard committee member since 2002.
30 years building reliable financial systems with Eiffel and related technologies.
Compiler components, language tooling, and debugging systems for Eiffel and other languages.
Contributor to the ECMA Eiffel language standard.
High-reliability distributed and financial systems.
Reusable class libraries for building reliable and maintainable systems.
Compiler infrastructure and runtime support for robust software systems.
Lexer/parser generators and tooling for programming languages.
Modern development integration for Eiffel.
Stronger correctness guarantees with Eiffel assertions.
Understand and fix complex or undocumented Eiffel systems.
Reduce technical debt and improve long-term maintainability.
Set up reliable pipelines tailored to Eiffel environments.
Extend or build compilers, parsers, developer tools.
Develop expertise in Eiffel and build correct, maintainable systems within teams.
Available for consulting on reliability, correctness, and maintainability of complex software systems.
Typical engagements include debugging production issues, improving legacy systems, and strengthening software architecture.
No sales process. Just a technical discussion.