欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
TAO
| 第1行： | 第1行： | ||
[[Image:Tao.jpg|right]] | [[Image:Tao.jpg|right]] | ||
| + | |||
| + | TAO是一种C++ ORB，它兼容大部分CORBA 2.6标准，包括实时CORBA部分。 | ||
| + | |||
| + | TAO可以在很多平台上面使用，包括： Win32 (i.e., WinNT 3.5.x, 4.x, 2000, Embedded NT, XP, Win95/98, and WinCE using MSVC++, Borland's C++ Builder, and IBM's VisualAge on Intel and Alpha platforms), [[UNIX]] (e.g., [[Solaris]] 1.x and 2.x on SPARC and Intel, SGI IRIX 6.x, [[HP-UX]] 10.x and 11.x, Tru64UNIX 4.x, [[AIX]] 4.x and 5.x, SCO, 免费UNIX： [[Debian]] Linux 2.x, [[RedHat]] Linux 5.2, 6.x, and 7.x, [[FreeBSD]], and [[NetBSD]]), 实时操作系统 (e.g., LynxOS, VxWorks, QnX Neutrino, OS9, and ChorusOS), OpenVMS, and MVS OpenEdition。我们计划要把TAO移植到所有ACE支持的平台上。另外，TAO可以与其它ORB很好的互操作（比如Orbix,JacORB,ORB Express,VisiBroker等）。通过这些，我们对IIOP的健壮性以及互操作性有充分的信心。 TAO在商业化项目中亦有广泛的应用，通过这里可以看到：TAO Press Release and TAO Success Stories 。 | ||
| + | |||
| + | ==TAO包括的组件== | ||
| + | |||
| + | [[Image:Example.jpg]] | ||
| + | |||
http://www.cs.wustl.edu/~schmidt/TAO.html | http://www.cs.wustl.edu/~schmidt/TAO.html | ||
2006年7月17日 (一) 18:56的版本
TAO是一种C++ ORB，它兼容大部分CORBA 2.6标准，包括实时CORBA部分。
TAO可以在很多平台上面使用，包括： Win32 (i.e., WinNT 3.5.x, 4.x, 2000, Embedded NT, XP, Win95/98, and WinCE using MSVC++, Borland's C++ Builder, and IBM's VisualAge on Intel and Alpha platforms), UNIX (e.g., Solaris 1.x and 2.x on SPARC and Intel, SGI IRIX 6.x, HP-UX 10.x and 11.x, Tru64UNIX 4.x, AIX 4.x and 5.x, SCO, 免费UNIX： Debian Linux 2.x, RedHat Linux 5.2, 6.x, and 7.x, FreeBSD, and NetBSD), 实时操作系统 (e.g., LynxOS, VxWorks, QnX Neutrino, OS9, and ChorusOS), OpenVMS, and MVS OpenEdition。我们计划要把TAO移植到所有ACE支持的平台上。另外，TAO可以与其它ORB很好的互操作（比如Orbix,JacORB,ORB Express,VisiBroker等）。通过这些，我们对IIOP的健壮性以及互操作性有充分的信心。 TAO在商业化项目中亦有广泛的应用，通过这里可以看到：TAO Press Release and TAO Success Stories 。
