Kamil Jezek

0 Seguidores

Researcher in Component Based Software Engineering. Working on methods of components composition verification. Targeting both functional and extra-functional properties of components contract. To date, developing methods for static analysis of the Java byte-code. It allows for automatic finding of all static errors in Java programs. It is important as recent studies have shown that every second Java developer is not familiar with possible static errors and the majority of Java programs are riddled with these errors. Moreover, experienced in Java development achieved in about 5 year practise in software companies. Used to work on Java EE applications, rich experience with widely used Ja...

compatibility error static verification byte-code java transitive dependencies components maven static verification java byte-code static error verification osgi non-functional binding extra-functional component

Actividad
Acerca de

Kamil Jezek

Presentaciones

EnhancingOSGi with Explicit, Vendor Independent Extra-functional Properties

Software Components Compatibility Verification Based on Static Byte-Code Analysis

On the Use of Static Analysis to Safeguard Recursive Dependency Resolution

Static program analysis tools