Подписаться
Jan Madey
Jan Madey
Подтвержден адрес электронной почты в домене mimuw.edu.pl
Название
Процитировано
Процитировано
Год
Functional documents for computer systems
DL Parnas, J Madey
Science of Computer programming 25 (1), 41-61, 1995
739*1995
Assessment of safety-critical software in nuclear power plants.
DL Parnas, GJK Asmis, J Madey
Nuclear safety 32 (2), 189-198, 1991
2611991
Precise documentation of well-structured programs
DL Parnas, J Madey, M Iglewski
IEEE Transactions on Software Engineering 20 (12), 948-976, 1994
1721994
Documentation of requirements for computer systems
AJ van Schouwen, DL Parnas, J Madey
[1993] Proceedings of the IEEE International Symposium on Requirements …, 1993
1101993
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
361991
Functional documentation for computer systems engineering
DL Parnas, J Madey
Queen's University at Kingston, Department of Computing & Information Science, 1990
341990
Assessment of safety-critical software
DL Parnas, GJK Asmis, J Madey
Queen's University, Department of Computing & Information Science, 1990
231990
Początki informatyki w Polsce
J Madey, MM Sysło
Informatyka 9 (10), 2000
182000
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,(1997)
M Iglewski, M Kubica, J Madey, J Mincer-Daszkiewicz, K Stencel
15
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
131991
Dekalog edukacji internetowej
G Wieczorkowska, J Madey
In book: Uniwersytet Wirtualny: model, narzędzia, praktyka (VU’06) Edition …, 2006
122006
Trace specifications of non-deterministic multi-object modules
M Iglewski, M Kubica, J Madey
Algorithms, Concurrency and Knowledge: 1995 Asian Computing Science …, 1995
101995
Documentation of Real-Time Requirements
DL Parnas, J Madey
Real-Time Systems. Abstraction, Languages and Design Methodologies, 48-56, 1992
101992
From top coders to top IT professionals
K Diks, J Madey
International Conference on Informatics in Secondary Schools-Evolution and …, 2008
62008
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
On Psychology of E-learning
G Wieczorkowska, J Madey
EUNIS 2007, Proc. of the 13th International Conference of European …, 2007
42007
Software engineering issues emerged from critical control applications
M Iglewski, J Madey
IFAC Proceedings Volumes 28 (25), 13-24, 1995
41995
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20