Formal Specification and Design Techniques

Formal methods as DESIGN METHODOLOGY

Download 0.69 Mb.

Page	2/6
Date	04.03.2021
Size	0.69 Mb.
	#55992

1 2 3 4 5 6

fmse-introduction

Steps of learning

Formal methods as DESIGN METHODOLOGY

This is the core of this course. It covers in great depth the operations and theory of a methodology for system design.
Applications of this methodology will be shown through Workflow Systems, Multi-agent Systems and Information Systems.
This methodology is in the frontier of research and development of software engineering. Many current issues will be addressed.

Steps of learning

Students should look for open problems for their projects/thesis from this topic.
The material is practical in the sense that it can be used to improve the design of, sequential, distributed or parallel systems.

FIRST, UNDERSTAND WHAT THE PROBLEM IS
THEN, FIND OUT WHAT THE METHOD OF SOLUTION IS
THEN, REMEMBER THE ASSUMPTIONS OF THE METHOD AND THE PLATFORMS FOR ITS IMPLEMENTATION
FINALLY, ASK ABOUT THE REASONING BEHIND THE METHOD

Download 0.69 Mb.

Share with your friends:

1 2 3 4 5 6

The database is protected by copyright ©ininet.org 2024
send message