12th International Conference on Software Engineering (Cat. No.90CH2815-9)

机译：第12届软件工程国际会议（猫。No.90CH2815-9）

获取原文

页面导航

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

摘要

The following topics are dealt with: process models; formal verification; real-time and reactive systems; environments; metrics and reliability; software reengineering; prototyping; design and architecture; real-life safety-critical software; systems engineering; configuration management; and experience using derived processes for technology transfer.

机译：处理以下主题：流程模型;正式验证;实时和反应系统;环境;指标和可靠性;软件再造;原型;设计和建筑;现实生活安全关键软件;系统工程;配置管理;和使用派生工艺进行技术转移的经验。

著录项

来源
《International Conference on Software Engineering》|1990年||共1页
会议地点
作者
Institute of Electric and Electronic Engineer;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Special Issue on Biomedical Monitoring Technologies: Selected Papers from the 12th IEEE International Conference on BioInformatics and BioEngineering (BIBE 2012) and the 8th International Symposium on Advanced Topics in Electrical Engineering (ATEE 2013), Part 2 [J] . Christos P. Loizou, Mihaela Morega, Efthyvoulos C. Kyriakou, International Journal of Monitoring and Surveillance Technologies Research . 2013,第4期

机译：生物医学监测技术专刊：第12届IEEE国际生物信息学和生物工程会议（BIBE 2012）和第8届国际电子工程高级主题研讨会（ATEE 2013）的论文摘要，第2部分
2. Special Issue on Biomedical Monitoring Technologies: Selected Papers from the 12th IEEE International Conference on Biolnformatics and BioEngineering (BIBE 2012) and the 8th International Symposium on Advanced Topics in Electrical Engineering (ATEE 2013), Part 1 [J] . Christos P. Loizou, Mihaela Morega, Efthyvoulos C. Kyriakou, International Journal of Monitoring and Surveillance Technologies Research . 2013,第3期

机译：生物医学监测技术专刊：第12届IEEE国际生物信息学和生物工程会议（BIBE 2012）和第8届国际电子工程高级主题研讨会（ATEE 2013）的论文摘要，第1部分
3. Special Issue: 12th International Chemical and Biological Engineering Conference- Interfacing Bio- and Chemical Engineering [J] . Rodrigues Alirio, Xavier Malcata F., Alves A. Biochemical Engineering Journal . 2015,第Null期

机译：特刊：第十二届国际化学与生物工程会议-生物化学工程接口
4. 12th International Conference on Software Engineering (Cat. No.90CH2815-9) [C] . . 1990

机译：第十二届软件工程国际会议（目录号90CH2815-9）
5. Absenteeism in an International Custom Software Engineering Company [D] . Mudek, Jennifer. 2016

机译：国际定制软件工程公司的缺勤
6. Conference report: the 5th Asia Pacific Protein Association Conference joint meeting with the 12th International Symposium of the Protein Society of Thailand [O] . James R. Ketudat Cairns, Voraratt Champattanachai, Chantragan Srisomsap, 2017

机译：会议报告：第五届亚太蛋白质协会与泰国蛋白质学会第十二届国际研讨会的联席会议
7. 12th International Conference on Evaluation and Assessment in Software Engineering (EASE) - Index [O] . Giuseppe Visaggio, María Teresa Baldassarre, Steve Linkman, 2008

机译：第12届软件工程评估和评估国际会议（轻松） - 指数
8. Empirical Validation of Building Energy Simulation Software: EnergyPlus. Proceedings of Building Simulation 2011: 12th Conference of International Building Performance Simulation Association, Sydney, 14-16 November. [R] . Shrestha, S., Maxwell, G. 2011

机译：建筑能源仿真软件的经验验证：Energyplus。 2011年建筑模拟学术会议：11月14日至16日在悉尼举行的第12届国际建筑性能模拟协会会议。

12th International Conference on Software Engineering (Cat. No.90CH2815-9)

摘要

著录项

相似文献

相关主题

期刊订阅