Method for specifying stateful, transaction-oriented systems...

Method for supporting new network element software versions...

Method for supporting parallelization of source program

Method for synchronization between links and group...

Method for synchronization of concurrently modified...

Method for synchronizing JAVA with UML in a version...

Method for synchronizing UML with JAVA in a version...

Method for target-specific development of fixed-point...

Method for testing IEEE 1394 controllers

Method for testing of a software emulator while executing...

Method for testing system components of an object-oriented...

Method for testing using client specified references

Method for the graphic planning of the control of a...

Method for the remote control programming of machine...

Method for the secure interpretation of programs in...

Method for the translation of programs for reconfigurable...

Method for the use of information in an auxiliary data...

Method for the use of information in an auxiliary data...

Method for tracing a program executed on a system comprising...

Method for tracking code revisions with a checksum data...