Mirosława Miłkowska, PhD
Instytut Informatyki UW
Banacha 2, 02-097 Warszawa, Poland
pokój #4370
tel: (+48-22) 55-44-437
fax: (+48-22) 55-44-400
e-mail: M.Milkowska@mimuw.edu.pl
Zainteresowania naukowe
Publikacje
- W.Drabent, M.Miłkowska (2005). Proving Correctness and Completeness of
Normal Programs - a Declarative Approach.
Theory and Practice of Logic Programming,
5(6):669-711,
available
from CoRR .
- M.Miłkowska (2003). Programowanie w logice a przyszłość
inżynierii oprogramowania. Software 2.0, nr 4 (100), str. 59-61,
Software-Wydawnictwo, Warszawa, kwiecień 2003.
- W.Drabent, M.Miłkowska (2002). Proving Correctness and Completeness of
Normal Programs - A Declarative Approach.
Technical Report, Institute of Informatics, Warsaw University, TR 02-04 (269),
December 2002.
- W.Drabent, M.Miłkowska (2001). Proving Correctness and Completeness of
Normal Programs - A Declarative Approach. 17th International Conference
on Logic Programming, ICLP 2001, Paphos, Cyprus, 2001, LNCS 2237,
pp. 284-299, ed. P. Codognet.
- W.Drabent, M.Miłkowska (2001). Deklaratywne podejście do wnioskowania o
programach w języku logiki. III Krajowa Konferencja Inżynierii
Oprogramowania, Otwock, październik 2001.
- M.Miłkowska (2000). Instytut Informatyki UW, Wspomaganie walidacji
specyfikacji wymagań w języku Spill.
II Krajowa Konferencja Inżynierii Oprogramowania, Zakopane,
październik 2000, red. Krzysztof Zieliński.
- M.Miłkowska (1999). Instytut Informatyki UW, Walidacja specyfikacji wymagań,
Informatyka Stosowana, S4/99, 17-28,
I Krajowa Konferencja Inżynierii Oprogramowania, Kazimierz Dolny,
październik 1999, red. Janusz Górski.
- F.Kluźniak, M.Miłkowska (1997). Spill - a Logic Language for Writing
Testable Requirements Specifications. Science of Computer Programming,
28 (2-3), 1997, 193-223.
- F.Kluźniak, M.Miłkowska (1994). Readable, Runnable Requirements Specifications:
Bridging the Credibility Gap.
Programming Language Implementation and Logic Programming.
Proceedings of the 6th International Symposium, PLILP'94,
LNCS 844, 449-450, 1994.
- M.Miłkowska, F.Kluźniak (1994). Executable Requirements Specifications in a Logic
Specification Language SPILL-2. Proceedings of the post-Conference Workshop on
Applications of Logic Programming to Software Engineering (held in
conjunction with International Conference on Logic Programming),
(ed) P.Ciancarini, L.Sterling, 100--119, 1994.
- A.Brogi, S.Contiero, M.Jeusfeld, R.Soiron, J.Lloyd, M.Miłkowska (1994).
Applications of Godel, ESPRIT Basic Research Project Compulog 2,
(ed.) K.R.Apt, 1994.
Tłumaczenia
- M. Ben-Ari. Logika matematyczna dla informatyków. WNT, 2004.
(Nagroda im. Jerzego Kuryłowicza dla tłumaczy literatury naukowej, 2005)
- M.J.Bach. Budowa systemu operacyjnego Unix. WNT, 1995.
- M.J.Rochkind. Programowanie w systemie Unix dla zaawansowanych. WNT, 1993.
- P.D.Terry. Uczymy się programować na przykładzie Moduli 2. WNT, 1992.
Zajęcia dydaktyczne