The course reviews most of the Java language. It is aimed at people that already have notions in OO programming and want to learn Java. The subjects seen in the course include Java syntax and programming, Graphical User Interfaces, Eclipse development platform, Threads and Synchronization, Dynamic Class Loading, Reflection, Java Virtual Machine, Byte-code, Middleware, and Components.

Principles, methods, and tools of software engineering;requirements analysis, design, implementation, test, maintenance;project management

Principles, methods, and tools of software engineering;requirements analysis, design, implementation, test, maintenance;project management

Trusted Components are reusable software elements accompanied by a guarantee of quality. They should be equipped with contractsdescribing their abstract properties. The course explores the various facets of this notion. Topics include software quality, designpatterns, designing for reuse, componentization, correctness and proofs, testing, program analysis, proof-carrying code.