Integrated research environment (IRE) for program transformation. The IRE is being developed with a purpose to provide a convenient environment to study program analysis and transformation methods and their impact on the programs. Also the environment may be used to study programs themselves.
The ParJava is an extension of Java environment by facilities supporting development of effective scalable portable object-oriented parallel programs to be executed using computer systems with distributed memory (clusters). The instrumental computing system supporting development of such programs may be both homogeneous and heterogeneous. Implementation of standard communication library MPI (Message Passing Interface) is used for providing inter-process communications.
This download contains the description of syntax, semantics, and pragmatics of J@va and C@++, specification extensions of Java and C++ languages, intended to be used in automated test development processes.
This download demonstrates CTesK-Superlite technology for testing software written in C.
This download demonstrates the Vdm++TesK tool, which is an add-on tool that extends features of the IFAD VDM++Tool box.
This download demonstrates the applicability of formal techniques to specification and verification of complex API like IPv6 implementation, shows feasibility of the approach for specification and verification of Windows NT internals and investigates the scalability of ISPRAS approach on real life software example.
Parses an EXPRESS file and generates a representation of the SDAI dictionary for the specified schemas in clear text encoding (ISO-10303-21).
Converts data represented in clear text encoding (ISO-10303-21) into XML representation according to ISO-10303-28 (supports the following bindings: LB, ETEB; OSEB is under construction).
Virtual Reality Modeling using Mapping Declarations
(paper at 3IA'2002 CONFERENCE ON COMPUTER GRAPHICS AND ARTIFICIAL INTELLIGENCE).
EXPRESS schema for VRML97
Redefines VRML97 concepts by introducing similar EXPRESS entities and emulating their states and behaviors in EXPRESS like manner.
Converts IFC 2.0 data provided in Part21 file format to VRML97.
mpC Version 2.2.0
The mpC programming environment was greatly changed. Now it supports clusters also.
Design and development of portable multiuser DBMS, which supports the SQL89 standard with some extensions from SQL92
GNU SQL Server implements highly isolated transactions, and static & dynamic query compilation. Both, client & server sides of the system work on Unix-like systems. Client/server interaction is based on an RPC mechanism. The server subproceses facility requires message passing and memory sharing facilities.
Free C++ ORB
ISP C++ ORB is a tool for development of distributed software. ORB plays the role of communicator between different components of distributed applications which can run on the different platforms.