Jan Madey
Jan Madey
Verifierad e-postadress på mimuw.edu.pl
Titel
Citeras av
Citeras av
År
Functional documents for computer systems
DL Parnas, J Madey
Science of Computer programming 25 (1), 41-61, 1995
668*1995
Assessment of safety-critical software in nuclear power plants.
DL Parnas, GJK Asmis, J Madey
Nuclear safety 32 (2), 189-198, 1991
2391991
Precise documentation of well-structured programs
DL Parnas, J Madey, M Iglewski
IEEE Transactions on Software Engineering 20 (12), 948-976, 1994
1471994
Documentation of requirements for computer systems
AJ van Schouwen, DL Parnas, J Madey
[1993] Proceedings of the IEEE International Symposium on Requirements …, 1993
1011993
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
181992
TAM'97: the Trace Assertion Method of Module Interface Specification. Reference Manual
M Iglewski, M Kubica, J Madey, J Mincer-Daszkiewicz, K Stencel
151997
On fundamentals of the trace assertion method
M Iglewski, J Madey, K Stencel
Département d'informatique, Université du Québec ā Hull, 1994
151994
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
131995
Editor for the Trace Assertion Method
M Iglewski, M Kubica, J Madey
Proceedings of the 10th International Conference of CAD/CAM, Robotics and …, 1994
121994
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
81992
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20