| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2006 | |
|---|---|---|
| 6 |      | Michal Iglewski: Automatic Testing of SCR Specifications. CCECE 2006: 2455-2459 |
| 2000 | ||
| 5 | | Roger Hillson, Michal Iglewski: C++2MPI: A Software Tool for Automatically Generating MPI Datatypes from C++ Classes. PARELEC 2000: 13-17 |
| 1997 | ||
| 4 | | Michal Iglewski, Janina Mincer-Daszkiewicz: Internal Design of Modules Specified in the Trace Assertion Method. Sci. Comput. Program. 28(2-3): 139-170 (1997) |
| 1995 | ||
| 3 | | Michal Iglewski, Marcin Kubica, Jan Madey: Trace Specifications of Non-Deterministic Multi-Object Modules. ASIAN 1995: 381-395 |
| 1994 | ||
| 2 |  | Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid: Functional approach to protocols specification. PSTV 1994: 395-402 |
| 1 | | David Lorge Parnas, Jan Madey, Michal Iglewski: Precise Documentation of Well-Structured Programs. IEEE Trans. Software Eng. 20(12): 948-976 (1994) |
| 1 | Jakub Bojanowski | [2] |
| 2 | Roger Hillson | [5] |
| 3 | Marcin Kubica | [3] |
| 4 | Jan Madey | [1] [2] [3] |
| 5 | Janina Mincer-Daszkiewicz | [4] |
| 6 | Abdellatif Obaid | [2] |
| 7 | David Lorge Parnas | [1] |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page