Michal Iglewski
Michal Iglewski
Email verificata su uqo.ca
Titolo
Citata da
Citata da
Anno
Precise documentation of well-structured programs
DL Parnas, J Madey, M Iglewski
IEEE Transactions on Software Engineering 20 (12), 948-976, 1994
1481994
Formal documentation of well-structured programs
DL Parnas, M Iglewski, J Madey
Communications Research Laboratory, McMaster University, 1992
191992
C++ 2MPI: A software tool for automatically generating MPI datatypes from C++ classes
R Hillson, M Iglewski
Proceedings International Conference on Parallel Computing in Electrical …, 2000
162000
On fundamentals of the trace assertion method
M Iglewski, J Madey, K Stencel
Département d'informatique, Université du Québec à Hull, 1994
161994
Documentation paradigms
M Iglewski, McMaster University. Communications Research Laboratory, ...
Hamilton, Ont.: Communications Research Laboratory, McMaster University, 1993
161993
TAM'97: the Trace Assertion Method of Module Interface Specification. Reference Manual
M Iglewski, M Kubica, J Madey, J Mincer-Daszkiewicz, K Stencel
151997
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
Trace specifications of non-deterministic multi-object modules
M Iglewski, M Kubica, J Madey
Asian Computing Science Conference, 381-395, 1995
101995
Some experiences with specification of non-deterministic modules
M Iglewski, J Mincer-Daszkiewicz, J Stencel
RR 94, 09-7, 1994
81994
PICO extraction by combining the robustness of machine-learning methods with the rule-based methods
S Chabou, M Iglewski
2015 World Congress on Information Technology and Computer Applications …, 2015
62015
Comparison of formal specification methods and object-oriented paradigms
M Iglewski, T Müldner
Journal of network and computer applications 20 (4), 355-377, 1997
51997
Case study in trace specification of non-deterministic modules
M Iglewski, J Mincer-Daszkiewicz, K Stencel
Proceedings of the CS&P’95 Workshop, 11-13, 1995
51995
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
Documentation paradigms (a progress report)
M Iglewski, J Madey, DL Parnas, P Kelly
CRL Report 270, 0
5
Internal design of modules specified in the trace assertion method
M Iglewski, J Mincer-Daszkiewicz
Science of computer programming 28 (2-3), 139-170, 1997
41997
Software engineering issues emerged from critical control applications
M Iglewski, J Madey
IFAC Proceedings Volumes 28 (25), 13-24, 1995
31995
Implementing modules specified in the Trace Assertion Method
M Iglewski, J Mincer-Daszkiewicz
International Conference Formal Specifications: Foundations, Methods, Tools …, 1995
31995
Pascal: język wzorcowy: Pascal 360
M Iglewski, J Madey, S Matwin
Wydawnictwa Naukowo-Techniczne, 1986
31986
Combination of conditional random field with a rule based method in the extraction of PICO elements
S Chabou, M Iglewski
BMC medical informatics and decision making 18 (1), 128, 2018
22018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20