My Research Activities

Updated 20.01.2017 18:08

This is an overview of my professional activities, which cover both research and applied projects. They are part of the Reliable software architectures research group, mainly.



See also topics for potential PhD students.

Research interests

Modeling for component/modular systems

In general, the focus is on capturing important component characteristics on a meta-model and model level.

Concrete areas:

Component substitutability

Specializing in type-based substitutability, and studying the interplay of formal notions and the properties of real-world component frameworks.

Concrete areas and results:

General component properties

Studying, at a higher abstraction level, what are the (various) foundational concepts of component-based approach and how concrete component models fulfill them; namely the black-box property.

Concrete areas:

Membership and community involvement

I have served in the programme committees of Euromicro SEAA , FESCA, QUASOSS, etc.

My organizational involvement includes IFIP TC2, Informatics Europe.

Other areas

The use of discrete-time simulation in application development process including reducing the distance between the simulation and production source code; part of the DSS research group efforts.

Web foundations, in particular the structures available in markup languages and their mapping to real needs of web authors. See also “areas of my professional expertise”:txp:expertise.html.

For reference: “my PhD dissertation was on component substitutability”:txp:phd.html.

Copyright 2004-2011 ZČU v Plzni, Přemek Brada. Publikováno v textpatternu.