Formal Design Methods: Formalism and Design

Suited For: Intermediate to Advanced
G2 Logo 5 Stars Google Logo 5 Stars
Course Closed Re-opens in a few weeks
100 % booked

What You’ll Learn

  • An introduction to formal methods, and how formalism can help in design problems
  • A brief history of the development of formalisms (in logic, mathematics, and science)
  • What states are, and what the various kinds of states that can exist in an interactive product are
  • How to model and specify the states of a design in a detailed manner
  • How to use dialogue notation, such as state transition networks, to present the different states in your designs as well as annotate any danger states that might be present

You've just fixed a usability problem and are about to release the updated app or website... but have you really got it right this time? Is there an unusual use case you haven't thought of? Can you ever be sure? Thankfully, applying formal methods to your design can help you.

Formal methods are usually employed in mathematical and scientific fields, as the preferred way of presenting information. Many mathematical and scientific theories we know today are in fact written in a formal manner. The scientific theory of gravity, for instance, is presented with all variables, parameters, and factors clearly named and defined, and all assumptions explicitly stated. The power of formalism is that it allows a concept, theory, or model to be completely and clearly defined, so anyone who reads it can easily spot any gaps in logic or exceptions to the rule.

When applied to design, formal methods allow designers to flesh out the entire product (e.g., all the states of an app) explicitly and completely. This allows designers to spot potential flaws in the design (e.g., incomplete user flows, links, or buttons that are not defined in the design, etc.) in less time.

In this course, you will learn how various forms of formal notation and methods can help you catch potentially disastrous problems early in a design process. Formal design methods will also give you confidence that the delivered systems are both what you intended and as free from major usability flaws as possible. You will also learn how to use formal methods to increase the probability that the developers will deliver precisely the design you intended.

Explore Course Content

Earn Industry-Recognized Certificates

Industry giants trust our courses to train their teams, and prestigious universities integrate our content into their curricula. Add your certificates to your LinkedIn profile, résumé, and job applications.

Our clients: IBM, Harvard University, University of Cambridge, NASA, Adobe, Stanford, Massachusetts Institute of Technology, LinkedIn
Course Certificate Example

Is This Course Right for You?

  • You want an evidence-based curriculum taught by industry leaders.
  • You want real-world design skills that translate directly into professional practice.
  • You want to earn industry-recognized credentials.
  • Your time is too valuable for scattered free content with no structure.
  • You want learning that leads to better roles and stronger earning potential over time.
Explore Course Content

Loved by People Around the World

View full testimonial from Jim Brown
Jim Brown
Jim Brown
Senior Designer

I was completely unfamiliar with formalism prior to this course and am looking forward to see how I can apply this methodology in my day to...

IxDF Course Certificate awarded to Jim Brown for completing the "Formal Design Methods: Formalism and Design" course
View full testimonial from Neha Hall
Neha Hall
Neha Hall
Senior Experience Designer

This is an interesting course; not being very advanced in mathematics I was initially quite taken aback by the formulaic nature of the slide...

Certificate

How It Works

  1. Build High-Impact AI and Design Skills

    Industry leaders from companies like Adobe, Google, and NASA teach you real-world skills grounded in industry practice and research.

  2. Combine AI and Timeless Design Skills

    Learn both AI and the human-centered design skills that AI can't replace.

  3. Earn Industry-Recognized Certificates

    Add IxDF Course Certificates to your LinkedIn profile and résumé to show you've completed an evidence-based curriculum taught by industry leaders.

  4. Turn Your Skills Into Career Opportunities

    Use your new skills to take on higher-value work, qualify for promotions or find a role that fits you better.

  5. Build a Network That Supports Your Career

    Connect with designers in 497 cities across 107 countries. Learn together, get mentored, and build relationships that open doors.

Course Overview

  • Each week, one lesson becomes available.
  • Study flexibly. Take as much time as you want.

Lesson 0: Welcome and Introduction

To be scheduled. Estimated time to complete: 1 hour, 32 mins.

Lesson 1: Formalism In Action

To be scheduled. Estimated time to complete: 2 hours, 30 mins.

Lesson 2: What Is Formal?

To be scheduled. Estimated time to complete: 1 hour, 50 mins.

Lesson 3: Dialogue

To be scheduled. Estimated time to complete: 2 hours, 21 mins.

Lesson 4: A Success Story

To be scheduled. Estimated time to complete: 2 hours, 5 mins.

Lesson 5: Modelling State

To be scheduled. Estimated time to complete: 1 hour, 45 mins.

Lesson 6: Generic interaction models

To be scheduled. Estimated time to complete: 1 hour, 43 mins.

Lesson 7: IxDF Course Certificate and Course Wrap-up

To be scheduled. Estimated time to complete: 13 mins.

What's Inside IxDF Membership?

  • High-impact design and AI skills

  • Learn from 211 industry leaders

  • 42 evidence-based courses

  • 162 one-hour Master Classes

  • Industry-recognized certificates

  • $2,189 worth of toolkits

  • 9,988 active design jobs

  • 10 structured career programs

  • Global community in 497 cities

  • $6,649 worth of premium tools

  • 276 ready-made templates

  • and much more

Start Today

Risk-free: 14-day money-back guarantee

Privacy Settings

By using this site, you accept our Cookie Policy and Terms of Use.
Customize
Accept all
Jim Brown
Jim Brown
Senior Designer

I was completely unfamiliar with formalism prior to this course and am looking forward to see how I can apply this methodology in my day to day work. Certainly applicable to interaction design and experience design.

Richie McGirr
Richie McGirr
Developer / Designer

Great course. It made me think about things and use parts of my brain that I haven't used for a while. I really needed this.

Neha Hall
Neha Hall
Senior Experience Designer

This is an interesting course; not being very advanced in mathematics I was initially quite taken aback by the formulaic nature of the slides, however as the course instructor goes through them, the takeaways make sense. You wouldn't necessarily need to do the equations to prove your UX/UI recommendations to the client, however you can use that logical basis to validate your design recommendations and ensure that you design products that are logical to use and thus don't create a burden on the user to try and figure out what they need to do.