Study

Computing

Information, Logic, and Languages

  • Class 30
  • Practice 15
  • Independent work 105
Total 150

Course title

Information, Logic, and Languages

Lecture type

Elective

Course code

183450

Semester

5

ECTS

5

Lecturers and associates

Course objectives

Information systems components; Valuing information systems; Overview of UML; Structure diagrams; Behavior diagrams; Interaction diagrams.
Information systems in organization; Security issues and programming guidelines.
Parser generators; Port and socket; Socket application programming interface (API); Name and address; User Datagram Protocol (UDP) server and client; Command line arguments parsing; Program testing; Application protocols based on UDP; Transmission Control Protocol (TCP) server and client; Concurrency; Application protocols based on TCP; Hypertext Transfer Protocol (HTTP) and File Transfer Protocol (FTP); Simple HTTP server; Case studies focused on Java network programming and network programming in Python.
Program testing, performance analysis, and optimization; Testing types/techniques; Testing fundamentals.
Socket options; Raw socket; Daemons and super-server "inetd"; I/O multiplexing; Threading.
Broadcast and multicast addressing and applications; Application protocols based on Stream Control Transmission Protocol (SCTP).
Documents, electronic publishing, markup, and markup languages.
Midterm exam.
Documents, electronic publishing, markup, and markup languages.
Enterprise-wide information systems.
Development and acquisition of IS; Business Intelligence fundamentals; Program testing, performance analysis, and optimization; High-level program representations such as abstract syntax trees; Testing types/techniques; Testing fundamentals.
Clausal representation of data structures and algorithms, Horn clauses.
Concept of logical programming languages; Satisfiability modulo theory (SMT) problem.
Application to telecommunication systems design.
Final exam.

Required reading

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
Martin Fowler (2010.), Domain-Specific Languages, Pearson Education
Elliotte Rusty Harold (2004.), XML 1.1 Bible, John Wiley and Sons
Kent Beck (2003.), Test-driven Development, Addison-Wesley Professional
Paul Ammann, Jeff Offutt (2016.), Introduction to Software Testing, Cambridge University Press
Glenford J. Myers, Corey Sandler, Tom Badgett (2011.), The Art of Software Testing, John Wiley and Sons
E. M. Clarke, Orna Grumberg, Doron Peled (1999.), Model Checking, MIT Press

Minimal learning outcomes

  • Explain term information content and possible use
  • Explain process for telecommunication software development
  • Develop software in object-oriented 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
SHARE : Facebook Twitter