# Formal Design Methods: Formalism and Design

100% booked

## What you will 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.

### Gain an industry-trusted UX Course Certificate

You earn a verifiable and industry-trusted Course Certificate once you complete the course. You can highlight them on your resume, CV, LinkedIn profile or your website.

Our courses and Course Certificates are trusted by these industry leaders, who have taken up company memberships with the IDF:

## Who should take this course

This is an advanced-level course on formal methods, and it is recommended for designers with some form of experience:

• UX designers keen on boosting their workflows by incorporating formal methods into their designs
• Project managers looking to improve the product development process with formalism
• Software engineers interested in creating a close integration of design and development, by using models and notations to specify designs
• Entrepreneurs keen on creating products that are free from major usability flaws
• Newcomers to design who are considering making a switch to UX design

Courses in the Interaction Design Foundation are designed to contain comprehensive, evidence-based content, while ensuring that the learning curve is never too steep. All participants will have the opportunity to share ideas, seek help with tests, and enjoy the social aspects afforded by our open and friendly forum.

## Learn and work with a global team of designers

When you take part in this course, you will join a global multidisciplinary team working on the course and the exercises at the same time as you. You will work together to improve your skills and understanding. Your course group will be made up of an incredibly diverse group of professionals, all of whom have the same objective—to become successful designers. It’s your chance to learn, grow, and network with your peers across the planet.

# Lessons in this course

• Lessons become available at a schedule of one lesson per week.
• Lessons remain open for you forever and have no deadlines.
• There is no time limit to finish a course.
• Estimated time to complete: 5 hours 42 mins spread over 6 weeks.

## Lesson 0: Welcome and Introduction

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

• 0.1: An introduction to IDF courses (14 mins)
• 0.3: How to earn your Course Certificate (4 mins)
• 0.4: Meet your peers online in our discussion forums (6 mins)
• 0.5: Meet and learn from design professionals in your area (1 min)
• 0.6: Gain Timeless Knowledge Through IDF Courses (11 mins)
• 0.7: Mandatory lessons vs. Optional lessons (2 mins)
• 0.8: A mix between video-based and text-based lesson content (2 mins)

## Lesson 1: Formalism In Action

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

• 1.1: Formal methods - introduction (16 mins)
• 1.2: Early examples - formalism in action (43 mins)
• 1.3: Discussion Forum (5 mins)

## Lesson 2: What Is Formal?

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

• 2.1: What is formal? (18 mins)
• 2.2: A brief history of formalism (21 mins)
• 2.3: Discussion Forum (5 mins)

## Lesson 3: Dialogue

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

• 3.1: Dialogue notations (7 mins)
• 3.2: State transition networks (5 mins)
• 3.3: Properties of dialogue (14 mins)
• 3.4: Checking properties: Reversability and completeness (9 mins)
• 3.5: Checking properties: Dangerous states (11 mins)
• 3.6: Lexical issues and layout (8 mins)
• 3.7: Discussion Forum (5 mins)

## Lesson 4: A Success Story

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

• 4.1: A success story (21 mins)
• 4.2: Lessons about state (22 mins)
• 4.3: Discussion Forum (5 mins)

## Lesson 5: Modelling State

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

• 5.1: Modelling state (39 mins)
• 5.2: Discussion Forum (5 mins)

## Lesson 6: Generic interaction models

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

• 6.1: Interaction Models (38 mins)
• 6.2: Discussion Forum (5 mins)

## Lesson 7: Course Certificate, Final Networking, and Course Wrap-up

To be scheduled.

• 7.1: Course evaluation (1 min)

## How others have benefited

Jim Brown, United States

“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.”

Karla Shores, United States

“Very straight forward, clear examples. Extremely important and relevant in relation to dangerous states and what to avoid.”

Neha Hall, United Kingdom

“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.”

1. ### Attend lessons at your own pace

Each week throughout the course, you get access to a new lesson, but you can move through the lessons at your own pace. This means you can learn before you leave for work, or in between breaks — in as little as 15 minutes per day.

2. ### Network online and offline

Network with your fellow course-takers online, through discussion forums inside lessons. You can also connect with your peers offline via IDF’s Local Groups. Local Groups connect you with other designers around your city who share the same passion in UX design as you.

Get a verifiable and industry-trusted Course Certificate once you’ve scored at least 70% on a course. Highlight your Course Certificates on your résumé, your LinkedIn profile, or your website to showcase your newly mastered skills.

Become a member to take “Formal Design Methods: Formalism and Design”. Take any other IDF UX courses at no additional cost. Take a concrete step forward in your career path today.

I missed the enrollment date and now the course is closed. Will I have any opportunity to take the course in the future?

Don't worry if you missed the course. We will re-run it shortly. One of the reasons we continually open and close courses is to be able to control the classroom size.

Networking is a large part of our value proposition, so we want just the right number of people inside the courses. That is also why we display the "XX % percent booked" on our course icons.

We’ll re-schedule the course and make it available for sign-up on https://www.interaction-design.org/courses in only about a week (or perhaps a little bit longer). The actual start date of the course will be a few weeks after sign-ups begin too. We’ve found that this is the best way to maximize flexibility and convenience for everyone, especially you as you put your course program together.

Can I take more than one course at a time?

Yes, you can take all the courses you would like. For example, if there are 30 active courses, you can enroll in all 30 courses at the same time and move from one to the other as you please.

There are no further charges once you’ve paid for your membership.

Please note: If you have a student membership, you can take a maximum of three courses at the same time. As a student, you can thus still take all the courses you would like – free of extra charges – just as long as you finish them (or drop them) so that you don’t have more than three ongoing courses at the same time.

Do I have to be online at an exact time to study?

No. You can set your own study schedule. There are no "live sessions" or "webinars" since our members are from all timezones around the world. We are a truly global community – with members in every single corner of the world.

Thus, once you are enrolled, you can take all the time you want to complete a given course. Every "classroom" in each course will never close, so you’ll have permanent access to your classmates and your course material (as well as your own answers).

Will I receive a Course Certificate?

Yes. Every time you complete a course, you get an industry-recognized Course Certificate. There is no limit to how many Course Certificates you can earn during your membership. You will also receive a 3-step guide on how to include your Course Certificate on LinkedIn and in your résumé/CV.

I have answered questions in a lesson; when will they be marked/graded?

We do this because it is much more efficient than doing one little step every day. It's part of our lean/agile work philosophy, and that approach to efficiency is one of the factors that keeps our membership prices so incredibly low.

We are doing it to save you money and as part of our mission to lower the cost of high-quality design education.

I have updated my name, but my course certificate is not updated — how can I change it?

I have started the course/lesson later than the specified date, are my answers still going to be marked?

We will be marking answers for as long as there are active members. Therefore, even if you are the only person taking a lesson at that particular time, your answers will still be marked.

Open-ended questions are graded by our experts and course instructors - not by machines.

That's one of the reasons why our Course Certificates are credible and recognized by industry leaders.

I started a course after the official start date; for how long will I have access to the course materials?

Regardless of when you have enrolled on a course, you will have access to the course materials for the entire duration of your membership. So, if you pay for a one-year membership, you will have access for one year, renewing your membership for a second year means you will have access for two years, and so on.

English is not my first language. Is that a problem?

No problem!

• Our videos have subtitles
• Our instructors and the IDF staff is from all over the world
• You can even use Google Translate

New lessons are starting before I have had the chance to complete all aspects of the previous lesson(s); am I going to be locked out of these unfinished lessons?

No, you will not be locked out of any lesson or course. You will have access to all course materials throughout your membership, so there is no pressure to keep at the same pace as the specified lesson release dates.

All we recommend is that you try to stick to the same schedule as other participants. The reason is they may have moved on to other lessons, thereby meaning you could miss out on the social aspects of the course(s). However, we anticipate that there will be a constant flow of participants working through different lessons and courses, so overall you are unlikely to miss out. We will also be running all courses again — so there really is no rush.

Are course certificates awarded on a specific date?

No; you can generate your certificate as soon as you attain at least 70% of the total course points.

When will I receive my Course Certificate?

Course certificates will be given to participants when they have scored more than 70% or more of the total course points. For example, if a course contains ten lessons each with ten questions, you will receive a course certificate when the instructor has awarded you at least 70 points (70% of the total course points).

There is no specified time that certificates will be awarded — instead, they are given to participants as and when they have answered all questions, even if this is long after the official end date.

2. On the right, in the Add profile section dropdown, choose Background and then select the + next to Licenses & Certifications.

3. In the following fields add:
• Name – Course name
• Issuing organization – The Interaction Design Foundation
• Check the field “This credential does not expire”
• Issue date - Input the date written on your certificate (e.g., May 2019)
• Credential ID – Your membership ID number (it's written on your certificate)
• Credential URL: Input the certificate URL provided on your course page

4. Click on the save button.

Congratulate yourself!
You’ve made a great accomplishment by earning your course certificate, and now the world knows about it!

How do I add the IDF Membership Certificate to my LinkedIn Profile?

2. On the right, in the Add profile section dropdown, choose Background and then select the + next to Licenses & Certifications.

3. In the following fields add:
• Name – Membership Certificate
• Issuing organization – The Interaction Design Foundation
• Check the field “This credential does not expire”
• Issue date - Input the date when you joined our community (e.g., May 2019)
• Credential ID – Your membership ID number (it's written on your certificate)
• Credential URL: Input the certificate URL provided on your profile page
4. Click on the save button.

It is as simple as that. Now, anyone who visits your profile can see your certificate!

How much will I have to pay for the courses?

As a member, you can take as many courses as you want with no additional costs. This means you only have to pay our membership fee to take an unlimited number of courses. There will be no further charges on top of the membership fee, no matter how many courses you decide to take.

Do you provide mostly beginners' or more advanced courses?

We provide courses for all levels of mastery and accross the full spectrum. If you’re new to design, you can start from our beginner courses and progress all the way up to our advanced ones. If you’re an established designer, on the other hand, you will find some of our lower-level courses provide a good refresher—and the advanced ones, a bit of a challenge.

How long does it take to complete a course?

Once enrolled in a course, you will gain access to a new lesson each week, which you are free to complete without any deadlines and no end date, either.