Jan Madey

Publication Activity (10 Years)

Years Active: 1978-2009
Publications (10 Years): 0

Publications

Jan Madey, Leszek Rudak
E-learning versus T-learning. Bio Algorithms Med Syst. 5 (9) (2009)
Krzysztof Diks, Jan Madey
From Top Coders to Top IT Professionals. ISSEP (2008)
José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki
Foreword. Inf. Process. Lett. 88 (1-2) (2003)
Jan Madey
WMT - from a personal perspective. Inf. Process. Lett. 88 (1-2) (2003)
Jan Madey, Andrzej Tarlecki, Wladyslaw M. Turski
Foreword. Sci. Comput. Program. 28 (2-3) (1997)
Michal Iglewski, Marcin Kubica, Jan Madey
Trace Specifications of Non-Deterministic Multi-Object Modules. ASIAN (1995)
David Lorge Parnas, Jan Madey
Functional Documents for Computer Systems. Sci. Comput. Program. 25 (1) (1995)
Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid
Functional approach to protocols specification. PSTV (1994)
David Lorge Parnas, Jan Madey, Michal Iglewski
Precise Documentation of Well-Structured Programs. IEEE Trans. Software Eng. 20 (12) (1994)
A. John van Schouwen, David Lorge Parnas, Jan Madey
Documentation of requirements for computer systems. RE (1993)
Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen
A Formal Approach to Computer Systems Requirements Documentation. Hybrid Systems (1992)
Cezary Dubnicki, Jan Madey, Wojciech Wygladala
Edison -N-an Edison Implementation for a Network of Microcomputers. Softw. Pract. Exp. 18 (4) (1988)
Michal Iglewski, Jan Madey, Stan Matwin
A contribution to an improvement of PASCAL. ACM SIGPLAN Notices 13 (1) (1978)