|
Search the dblp DataBase
Michal Iglewski:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Michal Iglewski, Marcin Kubica, Jan Madey
Trace Specifications of Non-Deterministic Multi-Object Modules. [Citation Graph (0, 0)][DBLP] ASIAN, 1995, pp:381-395 [Conf]
- Roger Hillson, Michal Iglewski
C++2MPI: A Software Tool for Automatically Generating MPI Datatypes from C++ Classes. [Citation Graph (0, 0)][DBLP] PARELEC, 2000, pp:13-17 [Conf]
- Jakub Bojanowski, Michal Iglewski, Jan Madey, Abdellatif Obaid
Functional approach to protocols specification. [Citation Graph (0, 0)][DBLP] PSTV, 1994, pp:395-402 [Conf]
- Michal Iglewski, Janina Mincer-Daszkiewicz
Internal Design of Modules Specified in the Trace Assertion Method. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1997, v:28, n:2-3, pp:139-170 [Journal]
- David Lorge Parnas, Jan Madey, Michal Iglewski
Precise Documentation of Well-Structured Programs. [Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1994, v:20, n:12, pp:948-976 [Journal]
- Michal Iglewski
Automatic Testing of SCR Specifications. [Citation Graph (0, 0)][DBLP] CCECE, 2006, pp:2455-2459 [Conf]
Search in 0.001secs, Finished in 0.002secs
|