System Validation: Automata and behavioural equivalences
Have you ever experienced software systems failing? Websites crash, calendar not synchronising, or even a power blackout. Of course you have! But did you know that many of these errors are the result of communication errors either within a system or between systems? Depending on the system, the impact of software failures can be huge, even resulting in massive economic damage or loss of lives. Software, and in particular the communication between software-intensive systems, is very complex and very difficult to get right. However, we need dependability in the systems we use, directly or indire
Skills you'll learn
We may earn a commission if you enroll through our links — it never affects the price you pay.
Similar courses
Data Visualization and Communication with Tableau
One of the skills that characterizes great business data analysts is the ability to communicate practical implications of quantitative analyses to any kind of audience member. Even the most sophisticated statistical analyses are not useful to a business if they do not lead to actionable advice, or if the answers to those business questions are not conveyed in a way that non-technical people can understand. In this course you will learn how to become a master at communicating business-relevant implications of data analyses. By the end, you will know how to structure your data analysis proj
All levels
Accounting Analysis I: The Role of Accounting as an Information System
This course is the first course in a five-course Financial Reporting Specialization that covers the collection, processing, and communication of accounting information (via financial reports) about economic entities to interested parties (i.e., managers and external stakeholders such as stockholders and creditors). To gain the most relevant knowledge from these courses, learners should have taken a basic accounting course prior to this Specialization (which can be done through Coursera courses, such as any accounting course from the Fundamentals of Accounting Specialization: https://www.cours
All levels
Sales Skills: Build Trust And Influence Buyers
This course introduces the core principles of challenger-style selling and insight-led communication that help sales professionals influence buyer thinking early in the sales process. You will learn how to communicate value clearly, build trust quickly and use behavioural psychology to guide productive sales conversations. Through practical frameworks and real-world examples, you’ll strengthen your ability to ask diagnostic questions, uncover buyer motivations and create constructive tension that encourages customers to rethink problems and explore better solutions. You’ll also learn how pers
All levels
Virtual Sales Presentations, Meetings And Influence
This course develops the presentation, facilitation and engagement skills required to run effective virtual sales meetings and digital presentations. Learners explore how to structure persuasive online conversations, maintain engagement remotely and build trust through digital communication techniques. By the end of the course, learners will be able to deliver more confident virtual presentations, facilitate productive online meetings and improve engagement throughout remote sales interactions.
All levels