Personal Information
Entreprise/Lieu de travail
District Plzen-City, Czech Republic Czech Republic
Profession
Junior Researcher at University of West Bohemia
Secteur d’activité
Technology / Software / Internet
Site Web
http://verifiqua.com
À propos
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...
Mots-clés
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
Tout plus
Présentations
(4)Personal Information
Entreprise/Lieu de travail
District Plzen-City, Czech Republic Czech Republic
Profession
Junior Researcher at University of West Bohemia
Secteur d’activité
Technology / Software / Internet
Site Web
http://verifiqua.com
À propos
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...
Mots-clés
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
Tout plus