Premysl Brada

Publication Activity (10 Years)

Years Active: 1999-2015
Publications (10 Years): 1

Top Topics

Reflective Learning

Student Responses

Test Driven Development

Top Venues

Publications

Pavel Herout, Premysl Brada
Duck Testing Enhancements for Automated Validation of Student Programmes - How to Automatically Test the Quality of Implementation of Students' Programmes. CSEDU (1) (2015)
Premysl Brada
Enhanced OSGi Bundle Updates to Prevent Runtime Exceptions. EUROMICRO-SEAA (2008)
Premysl Brada, Lukas Valenta
Practical Verification of Component Substitutability Using Subtype Relation. EUROMICRO-SEAA (2006)
Petr Grillinger, Premysl Brada, Stanislav Racek
Simulation Approach to Embedded System Programming and Testing. ECBS (2004)
Premysl Brada, Petr Grillinger, Stanislav Racek
High-Level Simulation of Embedded Systems: Experiences from the FIT Project. ISORC (2004)
Premysl Brada
Metadata Support for Safe Component Upgrades. COMPSAC (2002)
Premysl Brada
Component revision identification based on IDL/ADL component specification. ESEC / SIGSOFT FSE (2001)
Premysl Brada
Component Change and Version Identification in SOFA. SOFSEM (1999)