Software Specification and Modeling | Faculty of Technical Sciences

Subject: Software Specification and Modeling (17.E242)

Native organizations units: Sub-department for Applied Computer Science and Informatics

General information:

Category	Professional-applicative
Scientific or art field	Applied Computer Science and Informatics
ECTS	7

Students learn about efficient and effective modeling and specification of software systems. They gain knowledge and skills necessary for analysis and specification of software requirements. They learn the basics of model based design. They learn about UML specifications.

After successfully finishing the course the students have these abilities: analysis of complex systems, specification of requirements according to the system and software and application of UML formalisms with modeling static and dynamic behavior of system and software.

Basic software system model. Relationship between requirement specification, design specification and software system implementation. Basics of requirement engineering, process, expression, analysis, design specification, requirement verification and validation. Development of formal document – requirement specification. Basics of software design, static and dynamic modeling. Basics of UML, structure, organization and meta-model. UML diagrams: use case diagram, class diagrams, object diagrams, cooperation diagram, sequence diagram, activity diagram, state diagram. Advanced UML modeling: Interface, packets and physical architecture modeling. Architectural and design patterns and their application in software system architecture.

In the theoretical part of the course, parallel with the introduction of knowledge and skills related to specification and modeling of systems and software , students from project teams of 3 to 5 members and working in teams practice what they have learnt on two typical projects of complex systems from real life. The first project deals with system which is primarily oriented towards data and manipulation of data and is modeled in tutor operating model. The second project deals with events driven system and its modeling is given to project teams. As part of lecture classes the teams report on their progress on the project. At the practical part of the course the students defend their project solutions.

Authors	Title	Year	Publisher	Language
Hiroki Sayama	Introduction to the Modeling and Analysis of Complex Sys	2015	Open SUNY Textbooks, Milne Library - elektronsko izdanje	English
L. A. Maciaszek	Requirements Analysis and System Design Developing Information Systems with UML	2001	Addisom Wesley	English
Partha Kuchan	Software Architecture Design Patterns in Java	2004	CRC Press LLC - elektronsko izdanje	English

Course activity	Pre-examination	Obligations	Number of points
Praćenje aktivnosti pri realizaciji projekata	Yes	Yes	10.00
Practical part of the exam - tasks	No	Yes	35.00
Theoretical part of the exam	No	Yes	15.00
Project task	Yes	Yes	40.00