Project PQL quality modelMarkus Pizka, Florian DeissenboeckTECHNICAL UNIVERSITY OF MUNICH, FEBRUARY 2006
SALT-Structured Assertion Language for Temporal LogicJonathan Streit, Andreas Bauer, Martin LeuckerIN PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS (ICFEM), MACAU, CHINA, 2006
Goal-Driven Software DevelopmentIngo Schnabel, Markus PizkaIN 30TH ANNUAL IEEE/NASA GODDARD SOFTWARE ENGINEERING WORKSHOP (SEW-30 2006), COLUMBIA, MD, APRIL 2006. IEEE/NASA, IEEE COMPUTER SOCIETY
Concise and consistent namingFlorian Deissenboeck, Markus PizkaSOFTWARE QUALITY JOURNAL, 2006, 14, 261-282