Travelled to:1 × Italy
1 × Latvia
Collaborated with:∅ J.Jablonowski W.Lukaszewicz E.Madalinska-Bugaj
Talks about:program (2) develop (2) architectur (1) multipl (1) correct (1) system (1) comput (1) level (1) meta (1) pro (1)
Person: Barbara Dunin-Keplicz
DBLP: Dunin-Keplicz:Barbara
Contributed to:
1994
1994Wrote 2 papers:
- LOPSTR-1994-Dunin-Keplicz #architecture #development #multi #source code
- An Architecture with Multiple Meta-Levels for the Development of Correct Programs (BDK), pp. 293–310.
- SEKE-1994-Dunin-KepliczJLM #development #named
- CAProDel: a system for computer aided program development (BDK, JJ, WL, EMB), pp. 470–477.