机译:社论:合同架构和语言
Deontik Pty Ltd., P.O. Box 110, Toowong, QLD 4068, Australia;
NICTA, Queensland Research Laboratory, Brisbane, Australia;
Hewlett Packard Labs, 1501 Page Mill Road - MS 1U 1126, Palo Alto, CA 94304-1126, USA;
机译:合同架构和语言的特殊问题来宾编辑的介绍
机译:社论:正式语言和面向合同的软件分析
机译:软件体系结构描述语言对联邦和联邦体系结构建模和分析的有用性
机译:社论语言编程语言专题
机译:复杂名词的第二语言习得:第二语言词典的体系结构,个体差异和第二语言发展。
机译:以标准计算机语言签约计算机软件
机译:“建筑或军事建筑的条约,或广场的设防”:国防语言 - Vitruvius *“建筑或军事建筑或军队建筑”的论文,或军队的设防“:防御语言 - 来自天体维度vittuvius.