Information, Logic, and Languages
Data is displayed for academic year: 2023./2024.
Course Description
Introduction to relationships between concepts: information, logic and artificial languages in telecommunication domain. Observartion, communication, learning, thinking and domain knowledge. Information as a difference between domain knowledge states. Information theory and semantic contents of information, symbols as elements of semantic representations (semantic web). Lexical and syntax structure, context and semantics. Logic and logical rules, structure of formal languages. Language space as a function of system development and problems solving. Functional specification, modelling. Verification and validation testing. Methods based on some languages: UML, DSL, Java, XML and TTCN. Industrial approach for development and application of formal models and methods in telecommunication systems design.
Study Programmes
University undergraduate
[FER3-EN] Computing - study
Elective Courses
(5. semester)
[FER3-EN] Electrical Engineering and Information Technology - study
Elective Courses
(5. semester)
Learning Outcomes
- explain term information content and possible use
- explain process for telecommunication software development
- develop software in object-orijented programming language Java
- apply of language XML in telcommunications software
- generate and execute software testing based on unit tests
- conduct functional testing and compare correctness of UML specification with developed program
Forms of Teaching
Lectures
Materials and presentations are on course web page before each lecture.
Independent assignmentshomework assignments, preparation for laboratory work
Laboratorycomplex laboratory assignments which includes: programming, XML manipulation, and program testing
Grading Method
Continuous Assessment | Exam | |||||
---|---|---|---|---|---|---|
Type | Threshold | Percent of Grade | Threshold | Percent of Grade | ||
Laboratory Exercises | 10 % | 20 % | 0 % | 20 % | ||
Homeworks | 10 % | 15 % | 0 % | 15 % | ||
Mid Term Exam: Written | 0 % | 30 % | 0 % | |||
Final Exam: Written | 0 % | 25 % | ||||
Final Exam: Oral | 10 % | |||||
Exam: Written | 0 % | 55 % | ||||
Exam: Oral | 10 % |
Comment:
All laboratory work must be successfully accomplished. On oral exam students must have at least 50% of possible points in order to pass this course.
Week by Week Schedule
- On information, logic and language. Information logic and languages in development processes for networks and services
- Error handling, information gathering, and network programming in the Java programming language.
- Domain-specific languages, regular expressions, and language grammars in the Java programming language.
- Testing in the Java programming language (JUnit5)
- Robust programming: test-driven development (TDD)
- Object oriented design for the Internet, client, server (REST, Spring Boot), integration testing
- Robust server development and end-to-end testing
- Midterm exam
- Software models and markup languages (XML technologies)
- XML technologies: XML Schema, XPath, XQuery
- XML technologies: XSLT Model based testing.
- Languages and tools for system testing
- Logic and software
- Logic and verification of programming models
- Final exam
Literature
Marina Bagić Babac, Mario Kušek (2011.), Jezici za označavanje sadržaja, FER, interna skripta
Marina Bagić Babac, Mario Kušek (2009.), Testiranjem upravljano programiranje, FER, interna skripta
For students
General
ID 223350
Winter semester
5 ECTS
L1 English Level
L1 e-Learning
45 Lectures
0 Seminar
0 Exercises
15 Laboratory exercises
0 Project laboratory
Grading System
85 Excellent
70 Very Good
60 Good
50 Sufficient