2008 |
10 | EE | Krzysztof Diks,
Jan Madey:
From Top Coders to Top IT Professionals.
ISSEP 2008: 31-40 |
2003 |
9 | EE | José Luiz Fiadeiro,
Jan Madey,
Andrzej Tarlecki:
Foreword.
Inf. Process. Lett. 88(1-2): 1-2 (2003) |
8 | EE | Jan Madey:
WMT - from a personal perspective.
Inf. Process. Lett. 88(1-2): 3-6 (2003) |
1997 |
7 | | Jan Madey,
Andrzej Tarlecki,
Wladyslaw M. Turski:
Foreword.
Sci. Comput. Program. 28(2-3): 91 (1997) |
1995 |
6 | | Michal Iglewski,
Marcin Kubica,
Jan Madey:
Trace Specifications of Non-Deterministic Multi-Object Modules.
ASIAN 1995: 381-395 |
5 | | David Lorge Parnas,
Jan Madey:
Functional Documents for Computer Systems.
Sci. Comput. Program. 25(1): 41-61 (1995) |
1994 |
4 | | Jakub Bojanowski,
Michal Iglewski,
Jan Madey,
Abdellatif Obaid:
Functional approach to protocols specification.
PSTV 1994: 395-402 |
3 | EE | David Lorge Parnas,
Jan Madey,
Michal Iglewski:
Precise Documentation of Well-Structured Programs.
IEEE Trans. Software Eng. 20(12): 948-976 (1994) |
1992 |
2 | | 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: 452-474 |
1988 |
1 | | Cezary Dubnicki,
Jan Madey,
Wojciech Wygladala:
Edison -N-an Edison Implementation for a Network of Microcomputers.
Softw., Pract. Exper. 18(4): 349-363 (1988) |