Professeur titulaire |
Pavillon Lucien-Brault 101, Rue St-Jean-Bosco local: B-0123 Gatineau, Québec, J8X 3X7 |
|
Skype : michal_iglewski |
Enseignement | Teaching | |
---|---|---|
Recherche | Research | |
Publications | Publications |
Software engineering, software development environments, formal specifications, programming languages, object-oriented programming, testing, compiler design, intelligent information systems, programming of parallel computers.
PAXPDL compiler (Solidum Inc., Ottawa, ON, now IDT)
Designed and developed a compiler for the PAX Pattern Description Language (PDL). PAX PDL is a non-procedural Fourth Generation Language (4GL) that describes the patterns that need to be recognized, but does not describe how to recognize them. PAX PDL enables concise, flexible description of headers and data contained in packets. Although general enough for any kind of pattern recognition, including database searches, PAX PDL is intended primarily for data communications networks.
C++ to MPI translator (NRL-AIT, Washington, DC)
Designed and developed a
translator
from C++ to MPI (Message Passing
Interface). The translation process includes the generation of MPI data
types out of user defined types (classes). It provides the MPI library
with the exact layout in memory of the data structure. The translator
accepts the 1997 ISO/ANSI C++ standard.
Voir aussi le projet
PGMT.
Testing tool for SCR specifications (NRL-ITD, Washington, DC)
Designed and developed a testing tool for SCR (Software Cost Reduction) specifications. The testtool is integrated with SCR toolset. The testtool generates automatically a set of test scenarios for a given System Requirements Specification using the branch coverage criterion. Generated scenarios are feasible and can be executed by SCR simulator to test the correctness of the system.
Fun-tools (University of Quebec at Hull + Warsaw University)
Developed an integrated set of software tools supporting the functional approach in the development of computer systems. The tools are syntax driven editors created with the Synthesized Generator. They provide a graphical interface, check syntactic and semantic correctness of generated documents, and generate PVS proof obligations for a given document. The tools include an editor for the specification of modules in the Trace Assertion Method, and an editor for creating internal design documents describing the implementation of the module in terms of a data structure.