Concepedia

Jan Madey

JM

Statistics

Publications

5

Citations

1.3K

H-Index

5

Active since

1990

Affiliations

McMaster University(Current)

University of Warmia and Mazury in Olsztyn

Jan Madey is an author at McMaster University specializing in computer science, computer systems, and software design.

Publications per year

1990–2002

5

Publications

5

The Z notation: A reference manual

Jan Madey · Science of Computer Programming · 1990 · 561 citations

, , +3

Functional documents for computer systems

David Lorge Parnas, Jan Madey · Science of Computer Programming · 1995 · 413 citations

, , +13

Assessment of safety-critical software in nuclear power plants

David Lorge Parnas, Jan Madey, G.J.K. Asmis · Nuclear safety · 1991 · 154 citations

, , +17

Precise documentation of well-structured programs

David Lorge Parnas, Jan Madey, Michal Iglewski · IEEE Transactions on Software Engineering · 1994 · 105 citations · Full text

, , +8

Documentation of requirements for computer systems

A. John van Schouwen, David Lorge Parnas, Jan Madey · 2002 · 74 citations

, , +12

1–5 of 5