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
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
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
Visualize Healthcare Data: Build & Critique Dashboards
Did you know that healthcare professionals who use effective data visualizations can reduce patient diagnosis time by up to 30%? This Short Course was created to help healthcare data professionals accomplish clear, accessible data communication that drives better patient outcomes. By completing this course, you'll be able to confidently select the right chart types for your healthcare data, build professional visualizations using industry-standard tools, and ensure your dashboards meet accessibility standards that serve all stakeholders. By the end of this course, you will be able to: - Re
All levels