Jan Friso Groote

Jan Friso Groote (1965) received an engineering degree in computer science 1988 at Twente University. In 1991 he defended his PhD. thesis at the University of Amsterdam, which was about operational semantics and process algebra. Since 1998 he is a full professor at Eindhoven University of Technology with as major assignment to improve the quality of software controlled systems by modelling and analysing behaviour of software.

Sort options

System Validation (2): Model process behaviour (Coursera)

Apr 29th 2024
System Validation (2): Model process behaviour (Coursera)
Course Auditing
Coursera
EIT Digital
Categories
CS: Software Engineering
Effort
Intermediate
3 Weeks
1-4 Hours/Week
Languages
English
English
System Validation (2): Model process behaviour (Coursera)
System Validation is the field that studies the fundamentals of system communication and information processing. It is the next logical step in computer science and improving software development in general. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We [...]
System Validation
Model Process Behaviour
Information Processing
Computer Science
Data Types
Software Development
System Communication
Coursera Plus
View more details
Apr 29th 2024
Course Auditing
Coursera
EIT Digital
CS: Software Engineering
Intermediate
3 Weeks
1-4 Hours/Week
42.00 EUR
English
English

System Validation (3): Requirements by modal formulas (Coursera)

Apr 15th 2024
System Validation (3): Requirements by modal formulas (Coursera)
Course Auditing
Coursera
EIT Digital
Categories
CS: Software Engineering
Effort
Advanced
2 Weeks
1-4 Hours/Week
Languages
English
English
System Validation (3): Requirements by modal formulas (Coursera)
System Validation is the field that studies the fundamentals of system communication and information processing. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do. The [...]
System Validation
System Communication
Modal Formulas
Coursera Plus
View more details
Apr 15th 2024
Course Auditing
Coursera
EIT Digital
CS: Software Engineering
Advanced
2 Weeks
1-4 Hours/Week
42.00 EUR
English
English

System Validation (4): Modelling Software, Protocols, and other behaviour (Coursera)

Apr 8th 2024
System Validation (4): Modelling Software, Protocols, and other behaviour (Coursera)
Course Auditing
Coursera
EIT Digital
Categories
CS: Software Engineering
Effort
Advanced
2 Weeks
1-4 Hours/Week
Languages
English
English
System Validation (4): Modelling Software, Protocols, and other behaviour (Coursera)
System Validation is the field that studies the fundamentals of system communication and information processing. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do. The [...]
System Validation
Modelling Software
Protocols
System Communication
Coursera Plus
View more details
Apr 8th 2024
Course Auditing
Coursera
EIT Digital
CS: Software Engineering
Advanced
2 Weeks
1-4 Hours/Week
42.00 EUR
English
English

System Validation: Automata and behavioural equivalences (Coursera)

Apr 8th 2024
System Validation: Automata and behavioural equivalences (Coursera)
Course Auditing
Coursera
EIT Digital
Categories
CS: Design & Product
Effort
Intermediate
3 Weeks
1-4 Hours/Week
Languages
English
English
Vietnamese
System Validation: Automata and behavioural equivalences (Coursera)
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 [...]
System Validation
Behavioural Equivalences
Embedded Systems
Automata
Coursera Plus
View more details
Apr 8th 2024
Course Auditing
Coursera
EIT Digital
CS: Design & Product
Intermediate
3 Weeks
1-4 Hours/Week
42.00 EUR
English
English
Vietnamese