首页> 外文会议> >Proceedings of the Sixth International Workshop on Software Specification and Design (Cat. No.91TH0388-9)

【24h】

Proceedings of the Sixth International Workshop on Software Specification and Design (Cat. No.91TH0388-9)

机译：第六届软件规范和设计国际研讨会的会议记录（目录号91TH0388-9）

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

The following topics are dealt with: software requirements and specifications; concurrent and distributed systems; real-time systems; formal methods; software system design methods; and software processes.

机译：涉及以下主题：软件要求和规范;并发和分布式系统;实时系统;形式方法;软件系统设计方法;和软件流程。

著录项

来源
《》|1991年||共1页
会议地点
作者

展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类无线电电子学、电信技术;
关键词

相似文献

外文文献
中文文献
专利

1. Proceedings of the Sixth International ISHS Symposium on the Processing Tomato and the Workshop on Irrigation and Fertigation of Processing Tomato, Pamplona, Spain, 25-29 May 1998. [J] . Bieche B Acta Horticulturae . 1999,第487期

机译：1998年5月25日至29日在西班牙潘普洛纳举行的第六届国际ISHS加工番茄研讨会和加工番茄灌溉施肥研讨会的论文集。
2. Priority Program SoftSpez and the International INT Workshops Integration fo Software Specification Techniques for Applications in Engineering [J] . Hartmut Ehrig, Benjamin Braatz, Markus Klein Information Technology . 2005,第1期

机译：优先计划SoftSpez和国际INT研讨会针对工程应用的软件规范技术的集成
3. Preface of SQM 2014 Proceedings - 8th International Workshop on Software Quality and Maintainability [J] . Lodewijk Bergmans, Tom Mens, Steven Raemaekers Electronic Communications of the EASST . 2014,第11期

机译：SQM 2014会议记录的序言-第八届软件质量和可维护性国际研讨会
4. Proceedings of the Sixth International Workshop on Software Specification and Design (Cat. No.91TH0388-9) [C] . Institute of Electric and Electronic Engineer International Workshop on Software Specification and Design . 1991

机译：第六届国际软件规范和设计研讨会的诉讼程序（Cat。No.910388-9）
5. Statistical modelling : proceedings of GLIM 89 and the 4th International Workshop on Statistical Modelling held in Trento, Italy, July 17-21, 1989 [D] . Carroll, Steven Blemmer -1

机译：统计建模：GLIM 89和1989年7月17日至21日在意大利特伦托举行的第四届国际统计建模研讨会
6. Workshops of the Sixth International Brain–Computer Interface Meeting: brain–computer interfaces past present and future [O] . Jane E. Huggins, Christoph Guger, Mounia Ziat, -1

机译：第六届国际脑机接口会议研讨会：脑机接口的过去现在和将来
7. Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15):including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) [O] . 2015

机译：petri网和软件工程国际研讨会论文集（pNsE'15）：包括自适应离散事件控制系统petri网国际研讨会（aDECs 2015）
8. Proceedings of the Sixth International Workshop on Rare Earth-Cobalt Permanent Magnets and Their Applications, August 31 - September 2, 1982, and Third International Symposium on Magnetic Anisotropy and Coercivity in Rare Earth-Tr [R] . Fidler, J. 1982

机译：1982年8月31日至9月2日举行的第六届稀土 - 钴永磁体及其应用国际研讨会论文集，以及第三届稀土磁各向异性和矫顽力国际研讨会

Proceedings of the Sixth International Workshop on Software Specification and Design (Cat. No.91TH0388-9)

摘要

著录项

相似文献

相关主题

期刊订阅