=

A Method for Faster and Safer Software Development

=

LinkZ in 5 Key Points

  1. Stability and coherence of software guaranteed by design
  2. Software architecture becomes a testable component
  3. Incremental development from prototype to final product
  4. Generation of code from doc, and/or doc from code
  5. Automatic multithreading, distributed systems and other features offered by the LinkZ operational API

More time for the essential!

=

Spend more time on...

  • Your core business

  • Your clients’ needs

  • Functional development

  • Innovation

=

Save time on...

  • Tests

  • Maintenance

  • Documentation

For whom?

Corporate

Reduce costs and speed-up
maintenance and evolutions

LinkZ guarantees stable and scalable applications… with agility!

Start-ups

Focus your resources
on innovation

LinkZ takes care of integration, documentation and testing.

Research

More science,
less engineering

LinkZ provides a sandbox for researchers to quickly and safely test their ideas.

Overview of the method

About…

Marek BUCKI

I am passionate about software development and mathematical modeling. During my 20 years in research and development in medical devices I have invented a number of novel techniques for personalized medicine in various fields such as computer assisted neurosurgery, personalized orthotic design and validation, computer guided orthopedic surgery, finite element biomechanical modeling and automated model validation, computer-assisted urologic procedures, … and even anthropology.

The necessity to provide reliable software to surgeons or physicians pushed me to develop a software design and development method that formally guarantees software correctness and stability at any time. I have been successfully putting this method in practice for many years now, and wish to further expand its application to other fields where software is a critical component facing high quality requirements.

Inspiration

A few abridgements of wisdom...

Here are some quotes that express the philosophy promoted by the LinkZ method.

Purpose of Architecture

“The primary purpose of architecture is to support the life cycle of the system. Good architecture makes the system easy to understand, easy to develop, easy to maintain, and easy to deploy. The ultimate goal is to minimize the lifetime cost of the system and to maximize programmer productivity.”

Clean Architecture, Robert C. Martin, 2017

Perfection and Adequacy

“It doesn’t matter much what the programs are about or
what applications they serve. What does matter is how well they perform and how smoothly they fit with other programs in the creation of still greater programs. The programmer must seek both perfection of part and adequacy of collection.”

Structure and Interpretation of Computer Programs, Harold Abelson, Gerald Jay Sussman, Julie Sussman, 1996

Simple and Elegant Solutions

“When you first start off trying to solve a problem, the first solutions you come up with are very complex, and most people stop there. But if you keep going, and live with the problem and peel more layers of the onion off, you can often times arrive at some very elegant and simple solutions.” – Steve Jobs

Formal Methods

“Formal methods help engineers get the design right,
which is a necessary first step toward getting the code right. […] Engineers are unlikely to realize the design is incorrect while focused on coding; […] Formal methods help engineers gain a better understanding of the design.”

How Amazon Web Services Uses Formal Methods, Newcombe et al., Communications of the ACM, 58(4), pp. 66-73, April 2015

Writing and Thinking

“Writing is nature’s way of letting you know how sloppy your thinking is.” – Richard Guindon

quoted by Leslie Lamport in Specifying Systems, 2002

l

Contact form

1 + 6 =