Travelled to:1 × France
1 × Germany
1 × USA
Collaborated with:C.Dony C.Tibermacine L.Fabresse H.Kim H.Jin K.Ravi J.Pierce R.P.Kurshan F.Somenzi
Talks about:compon (3) base (3) program (2) level (2) architectur (1) implement (1) constrain (1) structur (1) prototyp (1) behavior (1)
Person: Petr Spacek
DBLP: Spacek:Petr
Contributed to:
2014
2012
2008Wrote 3 papers:
- CBSE-2014-SpacekDT #architecture #component #implementation #modelling #programming #prototype
- A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language (PS, CD, CT), pp. 13–22.
- GPCE-2012-SpacekDTF #behaviour #component #inheritance #programming #reuse
- An inheritance system for structural & behavioral reuse in component-based software programming (PS, CD, CT, LF), pp. 60–69.
- CAV-2008-KimJRSPKS #analysis #random #simulation
- Application of Formal Word-Level Analysis to Constrained Random Simulation (HK, HJ, KR, PS, JP, RPK, FS), pp. 487–490.