Skip to content

Commit 5eff5a1

Browse files
mery54mery54
committed
I commit
1 parent d1f8efb commit 5eff5a1

26 files changed

+1655
-104
lines changed

‎.#Makefile

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
[email protected]

‎CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html

+24
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
<!DOCTYPE html>
2+
<html lang='en-US' xml:lang='en-US'>
3+
<head><title>Course ASPD Distributed Algorithms on modelling, verifying and trying to
4+
understand distributed algorithms used in main computer systems.</title>
5+
<meta charset='utf-8' />
6+
<meta content='TeX4ht (https://tug.org/tex4ht/)' name='generator' />
7+
<meta content='width=device-width,initial-scale=1' name='viewport' />
8+
<link href='web.css' rel='stylesheet' type='text/css' />
9+
<meta content='web.tex' name='src' />
10+
</head><body>
11+
<!-- l. 94 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>next</a>] [<a href='#tailCourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>tail</a>] [<a href='web.html#CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>up</a>] </p></div>
12+
<h3 class='sectionHead' id='course-aspd-distributed-algorithms-on-modelling-verifying-and-trying-to-understand-distributed-algorithms-used-in-main-computer-systems'><span class='titlemark'>1 </span> <a id='x2-10001'></a> Course ASPD Distributed Algorithms on modelling, verifying and trying to
13+
understand distributed algorithms used in main computer systems.</h3>
14+
<!-- l. 98 --><p class='noindent'>The course Distributed Algorithms ASPD is taught in the Master in Computer Science of
15+
the University of Lorraine and in the Master in Computer Engineering of Telecom
16+
Nancy. The lectures notes and documents for the students are at the link —large
17+
<a href='https://mery54.github.io/teaching/aspd'>ASPD</a>
18+
19+
20+
</p>
21+
<!-- l. 106 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>next</a>] [<a href='CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>front</a>] [<a href='web.html#CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>up</a>] </p></div>
22+
<!-- l. 106 --><p class='indent'><a id='tailCourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'></a></p>
23+
</body>
24+
</html>

‎CourseDISCONTModellingModellingSystems.html

+5-5
Original file line numberDiff line numberDiff line change
@@ -7,17 +7,17 @@
77
<link href='web.css' rel='stylesheet' type='text/css' />
88
<meta content='web.tex' name='src' />
99
</head><body>
10-
<!-- l. 169 --><div class='crosslinks'><p class='noindent'>[<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>prev</a>] [<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html#tailCourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>prev-tail</a>] [<a href='#tailCourseDISCONTModellingModellingSystems.html'>tail</a>] [<a href='web.html#CourseDISCONTModellingModellingSystems.html'>up</a>] </p></div>
11-
<h3 class='sectionHead' id='course-discont-modelling-modelling-systems'><span class='titlemark'>7 </span> <a id='x8-70007'></a> Course DISCONT Modelling Modelling Systems</h3>
12-
<!-- l. 173 --><p class='noindent'>The course Modelling Modelling Systems (DISCONT) is taught in the Master in
10+
<!-- l. 164 --><div class='crosslinks'><p class='noindent'>[<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html#tailUsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev-tail</a>] [<a href='#tailCourseDISCONTModellingModellingSystems.html'>tail</a>] [<a href='web.html#CourseDISCONTModellingModellingSystems.html'>up</a>] </p></div>
11+
<h3 class='sectionHead' id='course-discont-modelling-modelling-systems'><span class='titlemark'>6 </span> <a id='x7-60006'></a> Course DISCONT Modelling Modelling Systems</h3>
12+
<!-- l. 168 --><p class='noindent'>The course Modelling Modelling Systems (DISCONT) is taught in the Master in
1313
Computer Science of the University of Lorraine and in the Master in Computer
1414
Engineering of Telecom Nancy. The lectures notes and documents for the students are at
1515
the link <a href='https://mery54.github.io/discont'>DISCONT</a>. The lectures have been designed in the ANR project DISCONT and
1616
it has been taught two times for assessing it.
1717

1818

1919
</p>
20-
<!-- l. 182 --><div class='crosslinks'><p class='noindent'>[<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>prev</a>] [<a href='CourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html#tailCourseASPDonmodellingverifyingandtryingtounderstanddistributedalgorithmsusdinmaincomputersystems.html'>prev-tail</a>] [<a href='CourseDISCONTModellingModellingSystems.html'>front</a>] [<a href='web.html#CourseDISCONTModellingModellingSystems.html'>up</a>] </p></div>
21-
<!-- l. 182 --><p class='indent'><a id='tailCourseDISCONTModellingModellingSystems.html'></a></p>
20+
<!-- l. 177 --><div class='crosslinks'><p class='noindent'>[<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev</a>] [<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html#tailUsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>prev-tail</a>] [<a href='CourseDISCONTModellingModellingSystems.html'>front</a>] [<a href='web.html#CourseDISCONTModellingModellingSystems.html'>up</a>] </p></div>
21+
<!-- l. 177 --><p class='indent'><a id='tailCourseDISCONTModellingModellingSystems.html'></a></p>
2222
</body>
2323
</html>

‎CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html

+4-4
Original file line numberDiff line numberDiff line change
@@ -8,17 +8,17 @@
88
<link href='web.css' rel='stylesheet' type='text/css' />
99
<meta content='web.tex' name='src' />
1010
</head><body>
11-
<!-- l. 121 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMVSIforfrenchstudentsinfrench.html'>next</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>prev</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html#tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>prev-tail</a>] [<a href='#tailCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>tail</a>] [<a href='web.html#CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>up</a>] </p></div>
11+
<!-- l. 120 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMVSIforfrenchstudentsinfrench.html'>next</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>prev</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html#tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>prev-tail</a>] [<a href='#tailCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>tail</a>] [<a href='web.html#CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>up</a>] </p></div>
1212
<h3 class='sectionHead' id='course-mosos-modelling-softwarebased-systems-using-the-eventb-modelling-language'><span class='titlemark'>3 </span> <a id='x4-30003'></a> Course MOSOS Modelling Software-based Systems using the Event-B modelling
1313
language</h3>
14-
<!-- l. 125 --><p class='noindent'>The course Modelling Software-based Systems (MOSOS) is taught in the Master in
14+
<!-- l. 124 --><p class='noindent'>The course Modelling Software-based Systems (MOSOS) is taught in the Master in
1515
Computer Science of the University of Lorraine and in the Master in Computer
1616
Engineering of Telecom Nancy. The lectures notes and documents for the students are at
1717
the link <a href='https://mery54.github.io/teaching/mosos'>MOSOS</a>
1818

1919

2020
</p>
21-
<!-- l. 132 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMVSIforfrenchstudentsinfrench.html'>next</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>prev</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html#tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>prev-tail</a>] [<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>front</a>] [<a href='web.html#CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>up</a>] </p></div>
22-
<!-- l. 132 --><p class='indent'><a id='tailCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'></a></p>
21+
<!-- l. 131 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMVSIforfrenchstudentsinfrench.html'>next</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>prev</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html#tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>prev-tail</a>] [<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>front</a>] [<a href='web.html#CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>up</a>] </p></div>
22+
<!-- l. 131 --><p class='indent'><a id='tailCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'></a></p>
2323
</body>
2424
</html>

‎CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html

+4-4
Original file line numberDiff line numberDiff line change
@@ -8,18 +8,18 @@
88
<link href='web.css' rel='stylesheet' type='text/css' />
99
<meta content='web.tex' name='src' />
1010
</head><body>
11-
<!-- l. 108 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>next</a>] [<a href='CourseASPDDistributedAlgorithms.html'>prev</a>] [<a href='CourseASPDDistributedAlgorithms.html#tailCourseASPDDistributedAlgorithms.html'>prev-tail</a>] [<a href='#tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>tail</a>] [<a href='web.html#CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>up</a>] </p></div>
11+
<!-- l. 107 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>next</a>] [<a href='CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>prev</a>] [<a href='CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html#tailCourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>prev-tail</a>] [<a href='#tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>tail</a>] [<a href='web.html#CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>up</a>] </p></div>
1212
<h3 class='sectionHead' id='course-movex-modelling-verification-and-experimentation-for-softwarebased-systems'><span class='titlemark'>2 </span> <a id='x3-20002'></a> Course MOVEX Modelling, Verification and Experimentation for Software-based
1313
Systems</h3>
14-
<!-- l. 112 --><p class='noindent'>The course Modelling, Verification and Experimentation for Software-based Systems
14+
<!-- l. 111 --><p class='noindent'>The course Modelling, Verification and Experimentation for Software-based Systems
1515
(MOVEX) is taught in the Master in Computer Science of the University of
1616
Lorraine and in the Master in Computer Engineering of Telecom Nancy. The
1717
lectures notes and documents for the students are at the link <a href='https://mery54.github.io/teaching/movex'>MOVEX and
1818
MALG</a>
1919

2020

2121
</p>
22-
<!-- l. 120 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>next</a>] [<a href='CourseASPDDistributedAlgorithms.html'>prev</a>] [<a href='CourseASPDDistributedAlgorithms.html#tailCourseASPDDistributedAlgorithms.html'>prev-tail</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>front</a>] [<a href='web.html#CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>up</a>] </p></div>
23-
<!-- l. 120 --><p class='indent'><a id='tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'></a></p>
22+
<!-- l. 119 --><div class='crosslinks'><p class='noindent'>[<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>next</a>] [<a href='CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>prev</a>] [<a href='CourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html#tailCourseASPDDistributedAlgorithmsonmodellingverifyingandtryingtounderstanddistributedalgorithmsusedinmaincomputersystems.html'>prev-tail</a>] [<a href='CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>front</a>] [<a href='web.html#CourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'>up</a>] </p></div>
23+
<!-- l. 119 --><p class='indent'><a id='tailCourseMOVEXModellingVerificationandExperimentationforSoftwarebasedSystems.html'></a></p>
2424
</body>
2525
</html>

‎CourseMVSIforfrenchstudentsinfrench.html

+4-4
Original file line numberDiff line numberDiff line change
@@ -7,15 +7,15 @@
77
<link href='web.css' rel='stylesheet' type='text/css' />
88
<meta content='web.tex' name='src' />
99
</head><body>
10-
<!-- l. 132 --><div class='crosslinks'><p class='noindent'>[<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>next</a>] [<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>prev</a>] [<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html#tailCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>prev-tail</a>] [<a href='#tailCourseMVSIforfrenchstudentsinfrench.html'>tail</a>] [<a href='web.html#CourseMVSIforfrenchstudentsinfrench.html'>up</a>] </p></div>
10+
<!-- l. 131 --><div class='crosslinks'><p class='noindent'>[<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>next</a>] [<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>prev</a>] [<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html#tailCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>prev-tail</a>] [<a href='#tailCourseMVSIforfrenchstudentsinfrench.html'>tail</a>] [<a href='web.html#CourseMVSIforfrenchstudentsinfrench.html'>up</a>] </p></div>
1111
<h3 class='sectionHead' id='course-mvsi-for-french-students-in-french-'><span class='titlemark'>4 </span> <a id='x5-40004'></a>Course MVSI for french students (in french) </h3>
12-
<!-- l. 136 --><p class='noindent'>Les élèves apprentis de seconde année trouveront un ensemble de ressources pédagohiques
12+
<!-- l. 135 --><p class='noindent'>Les élèves apprentis de seconde année trouveront un ensemble de ressources pédagohiques
1313
comme les textes des cours et des exercices ainsi que les solutions des exercices en
1414
consultant ce lien <a href='https://mery54.github.io/teaching/mvsi'>MVSI</a>
1515

1616

1717
</p>
18-
<!-- l. 143 --><div class='crosslinks'><p class='noindent'>[<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>next</a>] [<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>prev</a>] [<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html#tailCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>prev-tail</a>] [<a href='CourseMVSIforfrenchstudentsinfrench.html'>front</a>] [<a href='web.html#CourseMVSIforfrenchstudentsinfrench.html'>up</a>] </p></div>
19-
<!-- l. 143 --><p class='indent'><a id='tailCourseMVSIforfrenchstudentsinfrench.html'></a></p>
18+
<!-- l. 142 --><div class='crosslinks'><p class='noindent'>[<a href='UsingtheEventBmodellinglanguageforteachingverificationtechniques.html'>next</a>] [<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>prev</a>] [<a href='CourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html#tailCourseMOSOSModellingSoftwarebasedSystemsusingtheEventBmodellinglanguage.html'>prev-tail</a>] [<a href='CourseMVSIforfrenchstudentsinfrench.html'>front</a>] [<a href='web.html#CourseMVSIforfrenchstudentsinfrench.html'>up</a>] </p></div>
19+
<!-- l. 142 --><p class='indent'><a id='tailCourseMVSIforfrenchstudentsinfrench.html'></a></p>
2020
</body>
2121
</html>

‎Makefile

+8
Original file line numberDiff line numberDiff line change
@@ -2,3 +2,11 @@ all:
22
git add --all
33
git commit -m "I commit"
44
git push -u origin main
5+
6+
go:
7+
make4ht web.tex "3,sec-filename,fn-in"
8+
9+
up:
10+
$(MAKE) -C /Users/mery/lectures/malg/webmovex ht
11+
$(MAKE) -C /Users/mery/github/teaching all
12+

0 commit comments

Comments
 (0)