Jan Madey
Jan Madey
Email verificata su mimuw.edu.pl
Titolo
Citata da
Citata da
Anno
Functional documents for computer systems
DL Parnas, J Madey
Science of Computer programming 25 (1), 41-61, 1995
672*1995
Assessment of safety-critical software in nuclear power plants.
DL Parnas, GJK Asmis, J Madey
Nuclear safety 32 (2), 189-198, 1991
2411991
Precise documentation of well-structured programs
DL Parnas, J Madey, M Iglewski
IEEE Transactions on Software Engineering 20 (12), 948-976, 1994
1481994
Documentation of requirements for computer systems
AJ van Schouwen, DL Parnas, J Madey
[1993] Proceedings of the IEEE International Symposium on Requirements …, 1993
1021993
A formal approach to computer systems requirements documentation
M Engel, M Kubica, J Madey, DL Parnas, AP Ravn, AJ van Schouwen
Hybrid Systems, 452-474, 1992
361992
Functional documentation for computer systems engineering
DL Parnas, J Madey
Queen's University at Kingston, Department of Computing & Information Science, 1990
351990
Assessment of safety-critical software
DL Parnas, GJK Asmis, J Madey
Queen's University, Department of Computing & Information Science, 1990
211990
Formal documentation of well-structured programs
DL Parnas, M Iglewski, J Madey
Communications Research Laboratory, McMaster University, 1992
191992
On fundamentals of the trace assertion method
M Iglewski, J Madey, K Stencel
Département d'informatique, Université du Québec à Hull, 1994
161994
TAM'97: the Trace Assertion Method of Module Interface Specification. Reference Manual
M Iglewski, M Kubica, J Madey, J Mincer-Daszkiewicz, K Stencel
151997
Początki informatyki w Polsce
J Madey, MM Sysło
Informatyka 9 (10), 2000
14*2000
Functional approach to protocols specification
J Bojanowski, M Iglewski, J Madey, A Obaid
Protocol Specification, Testing and Verification XIV, 395-402, 1995
141995
Editor for the Trace Assertion Method
M Iglewski, M Kubica, J Madey
Proceedings of the 10th International Conference of CAD/CAM, Robotics and …, 1994
131994
Functional documentation for computer systems engineering (volume 2)
DL Parnas, J Madey
Technical Report CRL 237, McMaster University, Hamilton, Ontario, 1991
121991
Dekalog edukacji internetowej
G Wieczorkowska, J Madey
W: P. Wiemann, G. Domańska-Żurek (Red.), VI Konferencja Uniwersytet …, 2007
112007
Trace specifications of non-deterministic multi-object modules
M Iglewski, M Kubica, J Madey
Asian Computing Science Conference, 381-395, 1995
101995
Documentation of Real-Time Requirements
DL Parnas, J Madey
Real-Time Systems. Abstraction, Languages and Design Methodologies, 48-56, 1992
91992
From top coders to top IT professionals
K Diks, J Madey
International Conference on Informatics in Secondary Schools-Evolution and …, 2008
62008
On Psychology of E-learning
G Wieczorkowska, J Madey
EUNIS 2007, Proc. of the 13th International Conference of European …, 2007
52007
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
51995
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20