| Functional documents for computer systems DL Parnas, J Madey Science of Computer programming 25 (1), 41-61, 1995 | 755* | 1995 |
| Assessment of safety-critical software in nuclear power plants. DL Parnas, GJK Asmis, J Madey Nuclear safety 32 (2), 189-198, 1991 | 258 | 1991 |
| Precise documentation of well-structured programs DL Parnas, J Madey, M Iglewski IEEE Transactions on Software Engineering 20 (12), 948-976, 1994 | 156 | 1994 |
| Documentation of requirements for computer systems AJ van Schouwen, DL Parnas, J Madey [1993] Proceedings of the IEEE International Symposium on Requirements …, 1993 | 110 | 1993 |
| A formal approach to computer systems requirements documentation M Engel, M Kubica, J Madey, DL Parnas, AP Ravn, AJ van Schouwen International Hybrid Systems Workshop, 452-474, 1991 | 37 | 1991 |
| Functional documentation for computer systems engineering DL Parnas, J Madey Queen's University at Kingston, Department of Computing & Information Science, 1990 | 31 | 1990 |
| Assessment of safety-critical software DL Parnas, GJK Asmis, J Madeya Nuclear Safety 32 (2), 189-198, 1991 | 21 | 1991 |
| Początki informatyki w Polsce J Madey, MM Sysło Informatyka 9 (10), 2000 | 20 | 2000 |
| Formal documentation of well-structured programs DL Parnas, M Iglewski, J Madey Communications Research Laboratory, McMaster University, 1992 | 18 | 1992 |
| On fundamentals of the trace assertion method M Iglewski, J Madey, K Stencel Département d'informatique, Université du Québec à Hull, 1994 | 17 | 1994 |
| Functional approach to protocols specification J Bojanowski, M Iglewski, J Madey, A Obaid Protocol Specification, Testing and Verification XIV, 395-402, 1995 | 16 | 1995 |
| TAM’97: The Trace Assertion Method of Module Interface Specification. Reference Manual,(1997) M Iglewski, M Kubica, J Madey, J Mincer-Daszkiewicz, K Stencel | 14 | |
| Editor for the Trace Assertion Method M Iglewski, M Kubica, J Madey Proceedings of the 10th International Conference of CAD/CAM, Robotics and …, 1994 | 13 | 1994 |
| Functional documentation for computer systems engineering (volume 2) DL Parnas, J Madey Technical Report CRL 237, McMaster University, Hamilton, Ontario, 1991 | 13 | 1991 |
| Dekalog edukacji internetowej G Wieczorkowska, J Madey VI Konferencja Uniwersytet Wirtualny: model, narzędzia, praktyka …, 2007 | 12 | 2007 |
| Documentation of Real-Time Requirements DL Parnas, J Madey Real-Time Systems. Abstraction, Languages and Design Methodologies, 48-56, 1992 | 11 | 1992 |
| Trace specifications of non-deterministic multi-object modules M Iglewski, M Kubica, J Madey Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science …, 1995 | 10 | 1995 |
| From top coders to top IT professionals K Diks, J Madey International Conference on Informatics in Secondary Schools-Evolution and …, 2008 | 6 | 2008 |
| The Fun-Project: From requirements specification to program presentation M Iglewski, M Kubica, J Madey, J Mincer-Daszkiewicz, K Stencel Warsaw University, Institute of Informatics, Warsaw, Poland, Technical …, 1995 | 5 | 1995 |
| Pascal: język wzorcowy: Pascal 6000 M Iglewski, J Madey, S Matwin Wydawnictwa Naukowo-Techniczne, 1979 | 5 | 1979 |