搜索页_Software+tool

读者指南

远程访问

科技查新

学术客户端

公务邮箱

NSTL服务站

常用资源

内部出版物

GSW全文库(45)	Springer电子图书(88)	CNKI会议论文(75)	知网期刊论文(36328)
中国地质文献-英文(31)	院士团队服务(1)	CNKI学位论文(78501)	万方学位论文(5)
馆藏书目(34)	万方学术会议(8)	CNKI期刊论文0611(138)	标准(4)

在“SpringerLink电子期刊”中，命中：12,437条，耗时：0.0499763 秒

在所有数据库中总计命中：115,258条

1. The physics of software tools: SWOT analysis and vision

作者： Bernhard Steffen

关键词：Validation tools ; Tool profiles ; Conceptual design ; SWOT analysis ; Open source ; Internet ; Exchange platform ; Tool competitions

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

2. A Petri net tool for software performance estimation based on upper throughput bounds

作者： Ricardo J. Rodríguez

关键词：Petri net ; UML ; Software performance ; Optimization

刊名：Automated Software Engineering

出版年：2017

3. Survey of Non-Rigid Registration Tools in Medicine

作者： András P. Keszei ; Benjamin Berkels ; Thomas M. Deserno

关键词：Image alignment ; Image analysis ; Image registration ; Open ; source software ; Public domain software ; Software tool

刊名：Journal of Digital Imaging

出版年：2017

4. S2O – A software tool for integrating research data from general purpose statistic software into electronic data capture systems

作者： Philipp Bruland ; Martin Dugas

关键词：Biomedical research ; Clinical trials ; Database management systems ; Data management ; Database ; Metadata ; Model transformation ; Statistical data ; Software tools

刊名：BMC Medical Informatics and Decision Making

出版年：2017

5. Green software requirements and measurement: random decision forests-based software energy consumption profiling

作者： Mohamed Amine Beghoura ; Abdelhak Boubetra ; Abdallah Boukerram

关键词：Software engineering ; Energy consumption model ; Green software ; Green requirements ; Software development ; Green software engineering ; Random decision forests ; Multiple regression model

刊名：Requirements Engineering

出版年：2017

6. GlycoPep MassList: software to generate massive inclusion lists for glycopeptide analyses

作者： Wenting Hu ; Xiaomeng Su ; Zhikai Zhu ; Eden P. Go…

关键词：N ; linked glycosylation ; Glycopeptide analysis ; Software tool ; LC ; MS/MS ; Data ; dependent acquisition

刊名：Analytical and Bioanalytical Chemistry

出版年：2017

7. A systematic literature review on the applications of Bayesian networks to predict software quality

作者： Ayse Tosun ; Ayse Basar Bener ; Shirin Akbarinasaji

关键词：Software quality ; Software reliability prediction ; Systematic literature review ; Bayesian network ; Applications of AI

刊名：Software Quality Journal

出版年：2017

8. An observational, prospective study to evaluate the preoperative planning tool “CI-Wizard” for cochlear implant surgery

作者： Markus Pirlich ; Mary Tittmann ; Daniela Franz…

关键词：Software planning tools ; Cochlear implant surgery ; Cochlea ; Segmentation ; Lateral skull base

刊名：European Archives of Oto-Rhino-Laryngology

出版年：2017

9. Cobra: a light-weight tool for static and dynamic program analysis

作者： Gerard J. Holzmann

关键词：Static analysis ; Source code analysis ; Lightweight tools ; Token expression matching ; Dynamic analysis ; Runtime verification

刊名：Innovations in Systems and Software Engineering

出版年：2017

10. Specification and automated validation of staged reconfiguration processes for dynamic software product lines

作者： Malte Lochau ; Johannes Bürdek ; Stefan Hölzle ; Andy Schürr

关键词：Dynamic software product lines ; Staged configuration ; Model ; based domain engineering and validation ; Model checking

刊名：Software & Systems Modeling

出版年：2017

1

2

3

4

5

6

7

8

9

按检索点细分(12437)

刊名(855)

题名(416)

关键词(279)

文摘(10377)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700