Видео

1. What books are considered right now as of 2024 as the modern gold standard HOW TOs of formal methods based software engineering in your opinion based on what you know and what you heard from colleagues that specialize in this? A "must read" list would be amazing. There are way to many podcasts focused on software engineering that recommend endlessly the same books that have nothing to do with formal methods based software engineering. 2. Are there no blogs and podcasts that focus on this sub niche of software engineering that you can list? An exhaustive list would be in itself an incredible resource since hardly anyone is popularizing this approach to software engineering. Thank you!

Thank you very much professor. I finished watching all your videos on this course. They were highly informative.

Thank you very much Professor for this great video. may i have a small exchange with you to discuss about some question??

Here is an updated (and longer) version with a more recent JavaFX and Gradle. It also shows how to use an SQL database, a command line interface, and CSV files: ruclips.net/video/9bqYSYh-G1A/видео.html

The confusion clash of Software Engineering and Algorithms and Data Structures has been resolved. The exerciese schedule of Algorithms and Data Structures was tentative and will likely be moved (check the lecture for updates).

Excellent and clear explanation. Greetings from Argentina!

'Promo sm' 😃

I wanted to apply for more than three years, but I dont know how to. help me out sir !

Thank you so much! Straightforward and simple, saved me lots of time! :)

@JanOliverRingert you save my life. Thx a lot for your awesome tutorial. 😁😁😁

Is it possible to run this validation through code, as you have shown it is possible to instantiate classes?

ty <3

You saved my ass

I love you!!

thanks a lot, amazing work

In the most recent tutorial code we have replaced the library DwyerPatterns.spectra with a version that uses systematic naming rules. Patterns still work the same way, but names are different from those in the video, e.g. the pattern instance pRespondsToS(carA, greenA); now becomes S_responds_to_P_globally(greenA, carA);. The names of auxiliary variables in the Rich Controller Walker changed accordingly.

In the most recent tutorial code we have replaced the library DwyerPatterns.spectra with a version that uses systematic naming rules. Patterns still work the same way, but names are different from those in the video, e.g. the pattern instance pRespondsToS(carA, greenA); now becomes S_responds_to_P_globally(greenA, carA);. Note that the parameter order of trigger/response now changed to response/trigger.

In the most recent tutorial code we have replaced the library DwyerPatterns.spectra with a version that uses systematic naming rules. Patterns still work the same way, but names are different from those in the video, e.g. the pattern instance pRespondsToS(carA, greenA); now becomes S_responds_to_P_globally(greenA, carA);. Note that the parameter order of trigger/response now changed to response/trigger.

For versions Spectra Tools after v1.0.0.202210... loading the controller now requires to also provide the name of the specification and the subfolder indicating the type of controller, e.g., ControllerExecutor executor = new ControllerExecutor(new BasicJitController(), "out/jit", "TrafficE2"); for this example using the just-in-time symbolic controller.

Beachte, dass auf Betriebssystemen mit Deutsch als Standardsprache der Scanner als Dezimalzweichen ein Komma verwendet während Zahlen im Code und in Strings mit Integer.parseInt(...) einen Punkt als Dezimaltrenner verwenden müssen.

Very helpful.

The recent versions of Eclipse, e.g., 2022-03 and 2022-06, have an incompatibility between GEF and Xtext preventing Spectra Tools, which depends on both, from loading. The version indicated on the SYNTECH website (currently Eclipse 2021-03) still works. We will update soon to remove the dependency on GEF.

I have 2 questions (for the robot task): 1. I came up with (e.g.) "gar alw robX=4 & move!=RIGHT -> robX=4", do you think it would behave the same? 2. Could you split the conjunction of implications into 4 separate guarantees? TIA, been using Spectra for my individual project :)

Please upload all videos