| 摘要 |
ソフトウェア仕様変換は、第１のプログラミング言語で指定された第１のソフトウェア仕様（２２８）と、第２のプログラミング言語で指定された第２のソフトウェア仕様（２２８）と、第１及び第２のプログラミング言語とは異なる第３のプログラミング言語で指定された第３のソフトウェア仕様（２２６）とを受け取ることを含み、第３のソフトウェア仕様は、第１のソフトウェア仕様と第２のソフトウェア仕様との間の１又は２以上のデータ関係を定義する。第１のソフトウェア仕様と第２のソフトウェア仕様との結合された表現（３３２）が、第１、第２、及び第３のプログラミング言語とは異なる第４のプログラミング言語で形成される。識別されたデータ関係に従って、第１のソフトウェア仕様の表現と第２のソフトウェア仕様の表現との間の接続が、第４のプログラミング言語で形成される。 |
