|
关注：1
2013-05-23 12:21
求翻译：An introduction to OBJ;A language for Writing and Testing specifications ,J.A.Goguen and J.Tardo,specification of Reliable Software ,IEEE Press 1979,reprinted in Software specification Techniques,N.Gehani,A.McGettrick(eds),Addison-Wesley,1985.是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
An introduction to OBJ;A language for Writing and Testing specifications ,J.A.Goguen and J.Tardo,specification of Reliable Software ,IEEE Press 1979,reprinted in Software specification Techniques,N.Gehani,A.McGettrick(eds),Addison-Wesley,1985.
问题补充： |
|
2013-05-23 12:21:38
介绍OBJ，用于编写和测试规范，jagoguen和j.tardo，规范可靠的软件，IEEE出版社1979年重印软件规范技术，n.gehani，a.mcgettrick（EDS）的语言，Addison-Wesley出版社， 1985
|
|
2013-05-23 12:23:18
OBJ介绍; 书写和测试规格， J.A.Goguen和J.Tardo，可靠的软件， IEEE新闻的规格的一种语言1979年，重印在软件规格技术， N.Gehani， A.McGettrick (编辑)，阿狄森・维斯利， 1985年。
|
|
2013-05-23 12:24:58
OBJ介绍; 文字和测试规格， J.A.Goguen和J.Tardo，可靠的软件， IEEE新闻1979年，重印在软件规格技术， N.Gehani， A.McGettrick eds，阿狄森-维斯利的规格的(一种)语言1985年。
|
|
2013-05-23 12:26:38
OBJ ； 简介一种语言编写和测试规格、 J.A.Goguen 和 J.Tardo,specification 的可靠的软件，IEEE 出版社 1979 年重印在软件规格 Techniques,N.Gehani,A.McGettrick (eds) 艾迪生-韦斯利，1985年。
|
|
2013-05-23 12:28:18
一个介绍,Obj;一种语言用于编写和测试要求,J.A.Nancy Goguen和J.tardo,技术指标的可靠的软件,IEEE按1979,在软件技术指标重印techniques,n.gehani,a.mcgettrick[eds], Addison-Wesley出版1985。
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
