MSc: Models Software Systems - Revision history

R.sirgalina at 09:02, 29 August 2022

2022-08-29T09:02:00Z

M.petrishchev at 08:07, 26 April 2022

2022-04-26T08:07:35Z

← Older revision		Revision as of 08:07, 26 April 2022
Line 36:		Line 36:


−	=== Course Objectives Based on Bloom’s Taxonomy ===	+	== Course Objectives Based on Bloom’s Taxonomy ==

−	=== - What should a student remember at the end of the course? ===	+	=== What should a student remember at the end of the course? ===

	By the end of the course, the students should be able to recognize and define		By the end of the course, the students should be able to recognize and define
Line 48:		Line 48:
	* List Popular verification tools		* List Popular verification tools

−	=== - What should a student be able to understand at the end of the course? ===	+	=== What should a student be able to understand at the end of the course? ===

	By the end of the course, the students should be able to describe and explain (with examples)		By the end of the course, the students should be able to describe and explain (with examples)
Line 57:		Line 57:
	* Abstract formal models for certain classes of systems		* Abstract formal models for certain classes of systems

−	=== - What should a student be able to apply at the end of the course? ===	+	=== What should a student be able to apply at the end of the course? ===

	By the end of the course, the students should be able to apply		By the end of the course, the students should be able to apply

M.petrishchev at 06:50, 21 April 2022

2022-04-21T06:50:50Z

← Older revision		Revision as of 06:50, 21 April 2022
Line 23:		Line 23:
	* First Order Logic		* First Order Logic
	* Formal Systems		* Formal Systems
		+
		⚫	Recommendations for students on how to succeed in the course:

	I suggest here some simple video material that can help a smooth introduction with the course:		I suggest here some simple video material that can help a smooth introduction with the course:
Line 32:		Line 34:
	It can be an advantage to read introductory chapters of the book:		It can be an advantage to read introductory chapters of the book:
	M. Huth and M. Ryan. [https://books.google.ru/books/about/Logic_in_Computer_Science.html?id=sVLOaObSBHkC&redir_esc=y Logic in Computer Science: Modelling and Reasoning About Systems]. Cambridge University Press (2004)		M. Huth and M. Ryan. [https://books.google.ru/books/about/Logic_in_Computer_Science.html?id=sVLOaObSBHkC&redir_esc=y Logic in Computer Science: Modelling and Reasoning About Systems]. Cambridge University Press (2004)
−
⚫	== Recommendations for students on how to succeed in the course ==
−	I suggest here some simple video material that can help a smooth introduction with the course:
−	* [https://www.youtube.com/watch?v=tyDKR4FG3Yw INTRODUCTION to SET THEORY - DISCRETE MATHEMATICS]
−	* [https://www.youtube.com/watch?v=itrXYg41-V0 INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS]
−	* [https://www.youtube.com/watch?v=h5UTvdcgFHw (Logic) Predicate Logic]
−	* [https://www.youtube.com/watch?v=-CTNS2D-kbY What is Formal Verification?]
−
−	It can be an advantage to read introductory chapters of the book:
−	* [M. Huth and M. Ryan. Logic in Computer Science: Modelling and Reasoning About Systems]. Cambridge University Press (2004)

M.petrishchev: /* Prerequisites */

2022-04-21T06:48:30Z

Prerequisites

← Older revision		Revision as of 06:48, 21 April 2022
Line 23:		Line 23:
	* First Order Logic		* First Order Logic
	* Formal Systems		* Formal Systems
		+
		+	I suggest here some simple video material that can help a smooth introduction with the course:
		+	* [https://www.youtube.com/watch?v=tyDKR4FG3Yw INTRODUCTION to SET THEORY - DISCRETE MATHEMATICS]
		+	* [https://www.youtube.com/watch?v=itrXYg41-V0 INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS]
		+	* [https://www.youtube.com/watch?v=h5UTvdcgFHw (Logic) Predicate Logic]
		+	* [https://www.youtube.com/watch?v=-CTNS2D-kbY What is Formal Verification?]
		+
		+	It can be an advantage to read introductory chapters of the book:
		+	M. Huth and M. Ryan. [https://books.google.ru/books/about/Logic_in_Computer_Science.html?id=sVLOaObSBHkC&redir_esc=y Logic in Computer Science: Modelling and Reasoning About Systems]. Cambridge University Press (2004)

	== Recommendations for students on how to succeed in the course ==		== Recommendations for students on how to succeed in the course ==

R.akhmetzyanov: /* Prerequisites */

2022-04-18T07:56:30Z

Prerequisites

← Older revision		Revision as of 07:56, 18 April 2022
Line 24:		Line 24:
	* Formal Systems		* Formal Systems

		+	== Recommendations for students on how to succeed in the course ==
	I suggest here some simple video material that can help a smooth introduction with the course:		I suggest here some simple video material that can help a smooth introduction with the course:
	* [https://www.youtube.com/watch?v=tyDKR4FG3Yw INTRODUCTION to SET THEORY - DISCRETE MATHEMATICS]		* [https://www.youtube.com/watch?v=tyDKR4FG3Yw INTRODUCTION to SET THEORY - DISCRETE MATHEMATICS]

M.petrishchev: M.petrishchev moved page MSc:Models Software Systems to MSc: Models Software Systems

2022-04-15T08:42:38Z

M.petrishchev moved page MSc:Models Software Systems to MSc: Models Software Systems

← Older revision	Revision as of 08:42, 15 April 2022
(No difference)

M.petrishchev: /* Prerequisites */

2022-04-11T08:40:13Z

Prerequisites

← Older revision		Revision as of 08:40, 11 April 2022
Line 27:		Line 27:
	* [https://www.youtube.com/watch?v=tyDKR4FG3Yw INTRODUCTION to SET THEORY - DISCRETE MATHEMATICS]		* [https://www.youtube.com/watch?v=tyDKR4FG3Yw INTRODUCTION to SET THEORY - DISCRETE MATHEMATICS]
	* [https://www.youtube.com/watch?v=itrXYg41-V0 INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS]		* [https://www.youtube.com/watch?v=itrXYg41-V0 INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS]
−	* [https://www.youtube.com/watch?v=h5UTvdcgFHw [Logic] Predicate Logic]	+	* [https://www.youtube.com/watch?v=h5UTvdcgFHw (Logic) Predicate Logic]
	* [https://www.youtube.com/watch?v=-CTNS2D-kbY What is Formal Verification?]		* [https://www.youtube.com/watch?v=-CTNS2D-kbY What is Formal Verification?]

M.petrishchev: /* Prerequisites */

2022-04-11T08:39:27Z

Prerequisites

← Older revision		Revision as of 08:39, 11 April 2022
Line 127:		Line 127:
	*		*
	*		*
−	*	+	*

	== Course Sections ==		== Course Sections ==

M.petrishchev at 08:39, 11 April 2022

2022-04-11T08:39:16Z

← Older revision		Revision as of 08:39, 11 April 2022
Line 15:		Line 15:

	Formal models and formal methods are gaining an increasing importance today - in academia and in industry - in particular due to the emerging of tool support used for modeling and analysis of systems. An important question is asked world-wide when developing academic curricula: what a software engineer should know about formal modeling? On what specific aspect a course should focus and help the perspective engineer to navigate such a complex and fast changing field? The course attempt to give a partial although consistent answer to this question by providing an introduction to the foundations and uses of formal modeling. The course can be seen as organized in three parts: the first part sets out the mathematical foundations on which the rest of the course is based. It presents the mathematical concepts, such as logics, proofs, theories, sets, functions, relations, etc., on which all modern modeling approaches build. The second part presents the concepts that allow to relate mathematics to computation and to software: state machines, invariants, pre- and post-conditions, proving properties about programs. The third part consists of particular notations and method of formal modeling showing how the general concepts of the second part can be turned into effective engineering tools.		Formal models and formal methods are gaining an increasing importance today - in academia and in industry - in particular due to the emerging of tool support used for modeling and analysis of systems. An important question is asked world-wide when developing academic curricula: what a software engineer should know about formal modeling? On what specific aspect a course should focus and help the perspective engineer to navigate such a complex and fast changing field? The course attempt to give a partial although consistent answer to this question by providing an introduction to the foundations and uses of formal modeling. The course can be seen as organized in three parts: the first part sets out the mathematical foundations on which the rest of the course is based. It presents the mathematical concepts, such as logics, proofs, theories, sets, functions, relations, etc., on which all modern modeling approaches build. The second part presents the concepts that allow to relate mathematics to computation and to software: state machines, invariants, pre- and post-conditions, proving properties about programs. The third part consists of particular notations and method of formal modeling showing how the general concepts of the second part can be turned into effective engineering tools.
		+
		+	== Prerequisites ==
		+
		+	The course has been designed to be self-included as much as possible. However, it has a strong formal flavour for which it can be very useful to have a general understanding of the following topics:
		+	* Set theory
		+	* Propositional Logic
		+	* First Order Logic
		+	* Formal Systems
		+
		+	I suggest here some simple video material that can help a smooth introduction with the course:
		+	* [https://www.youtube.com/watch?v=tyDKR4FG3Yw INTRODUCTION to SET THEORY - DISCRETE MATHEMATICS]
		+	* [https://www.youtube.com/watch?v=itrXYg41-V0 INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS]
		+	* [https://www.youtube.com/watch?v=h5UTvdcgFHw [Logic] Predicate Logic]
		+	* [https://www.youtube.com/watch?v=-CTNS2D-kbY What is Formal Verification?]
		+
		+	It can be an advantage to read introductory chapters of the book:
		+	* [M. Huth and M. Ryan. Logic in Computer Science: Modelling and Reasoning About Systems]. Cambridge University Press (2004)
		+

	=== Course Objectives Based on Bloom’s Taxonomy ===		=== Course Objectives Based on Bloom’s Taxonomy ===

M.petrishchev: M.petrishchev moved page MSc:ModelsSoftwareSystems.S22 to MSc:Models Software Systems

2022-04-10T12:37:28Z

M.petrishchev moved page MSc:ModelsSoftwareSystems.S22 to MSc:Models Software Systems

← Older revision	Revision as of 12:37, 10 April 2022
(No difference)