Jan Madey

According to our database, Jan Madey authored at least 13 papers between 1978 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

E-learning versus T-learning.

Jan Madey, Leszek Rudak

Bio Algorithms Med Syst., 2009

2008

From Top Coders to Top IT Professionals.

Krzysztof Diks, Jan Madey

Proceedings of the Informatics Education - Supporting Computational Thinking, Third International Conference on Informatics in Secondary Schools, 2008

2003

WMT - from a personal perspective.

Jan Madey

Inf. Process. Lett., 2003

Foreword.

José Luiz Fiadeiro, Jan Madey, Andrzej Tarlecki

Inf. Process. Lett., 2003

1997

Foreword.

Jan Madey, Andrzej Tarlecki, Wladyslaw M. Turski

Sci. Comput. Program., 1997

1995

Functional Documents for Computer Systems.

David Lorge Parnas, Jan Madey

Sci. Comput. Program., 1995

Trace Specifications of Non-Deterministic Multi-Object Modules.

Michal Iglewski, Marcin Kubica, Jan Madey

Proceedings of the Algorithms, 1995

1994

Precise Documentation of Well-Structured Programs.

David Lorge Parnas, Jan Madey, Michal Iglewski

IEEE Trans. Software Eng., 1994

Functional approach to protocols specification.

Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid

Proceedings of the Protocol Specification, 1994

1993

Documentation of requirements for computer systems.

A. John van Schouwen, David Lorge Parnas, Jan Madey

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

1992

A Formal Approach to Computer Systems Requirements Documentation.

Marcin Engel, Marcin Kubica, Jan Madey, David Lorge Parnas, Anders P. Ravn, A. John van Schouwen

Proceedings of the Hybrid Systems, 1992

1988

Edison -N-an Edison Implementation for a Network of Microcomputers.

Cezary Dubnicki, Jan Madey, Wojciech Wygladala

Softw. Pract. Exp., 1988

1978

A contribution to an improvement of PASCAL.

Michal Iglewski, Jan Madey, Stan Matwin

ACM SIGPLAN Notices, 1978