搜索页_UML+model+

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

中国地质文献-英文(2)	SpringerLink电子期刊(2353)	GSW全文库(2)
Wiley电子期刊(2)	ProQuest学位论文(89)	Elsevier电子期刊(5280)
Springer电子图书(74)	NATURE电子期刊(1)	ACS电子期刊(17)

在“SpringerLink电子期刊”中，命中：2,353条，耗时：0.0759653 秒

在所有数据库中总计命中：7,820条

1. Towards designing of SPF based secure web application using UML 2.0

作者： Nitish Pathak ; Girish Sharma ; B. M. Singh

关键词：UML ; Fast prototyping ; Object oriented (OO) ; Model driven software development ; TOS ; Trusted operating system ; Class identification and modeling

刊名：International Journal of System Assurance Engineering and Management

出版年：2017

2. Model-based regression testing by OCL

作者： Philipp Zech ; Philipp Kalb ; Michael Felderer…

关键词：Model ; based testing ; Regression testing ; Model ; based regression testing ; Model evolution ; Software testing ; Software evolution

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

3. Aligning the Elements of the RUP/UML Business Use-Case Model and the BPMN Business Process Diagram

关键词：RUP/UML Business Use ; Case Model ; Business modeling ; BPMN

刊名：Lecture Notes in Computer Science

出版年：2017

4. 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

5. Architectural design of a LMS with LTSA-conformance

作者： Souvik Sengupta ; Ranjan Dasgupta

关键词：Architectural design ; UML ; Acme ; LMS ; LTSA ; Design verification

刊名：Education and Information Technologies

出版年：2017

6. Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data

作者： Doron Drusinsky

关键词：Runtime monitoring ; Formal specifications ; UML ; Hidden Markov models

刊名：Innovations in Systems and Software Engineering

出版年：2017

7. Synthesizing object life cycles from business process models

作者： Rik Eshuis ; Pieter Van Gorp

关键词：Process models ; State machines ; UML ; Model transformation

刊名：Software and Systems Modeling

出版年：2016

8. Effects of Long-Term Vitamin D Supplementation on Regression and Metabolic Status of Cervical Intraepithelial Neoplasia: a Randomized, Double-Blind, Placebo-Controlled Trial

作者： Zahra Vahedpoor ; Mehri Jamilian ; Fereshteh Bahmani ; Esmat Aghadavod…

关键词：Vitamin D ; Supplementation ; CIN1 ; Regression ; Metabolic profiles

刊名：Hormones and Cancer

出版年：2017

9. An executable formal semantics for UML-RT

作者： Ernesto Posse ; Juergen Dingel

关键词：UML ; RT ; RTE ; Modelling ; Semantics

刊名：Software and Systems Modeling

出版年：2016

10. SAMM: an architecture modeling methodology for ship command and control systems

作者： Zhiqiang Fan ; Tao Yue ; Li Zhang

关键词：Architecture modeling ; Viewpoint ; UML ; SysML ; Ship command and control systems

刊名：Software and Systems Modeling

出版年：2016

按检索点细分(2353)

题名(375)

关键词(326)

文摘(2072)