kamil-jezek documents

EnhancingOSGi with Explicit, Vendor Independent Extra-functional Properties
Technology EnhancingOSGi with Explicit, Vendor Independent Extra-functional Properties
On the Use of Static Analysis to Safeguard Recursive Dependency Resolution
Software On the Use of Static Analysis to Safeguard Recursive Dependency Resolution
Software Components Compatibility Verification Based on Static Byte-Code Analysis
Software Software Components Compatibility Verification Based on Static Byte-Code Analysis
Static program analysis tools
Software Static program analysis tools