检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

36 篇 会议
23 篇 期刊文献
4 篇 学位论文

馆藏范围

63 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

58 篇 工学
- 42 篇 计算机科学与技术...
- 26 篇 软件工程
- 16 篇 电气工程
- 5 篇 信息与通信工程
- 2 篇 电子科学与技术（可...
- 2 篇 控制科学与工程
- 2 篇 安全科学与工程
- 1 篇 仪器科学与技术
- 1 篇 建筑学
- 1 篇 土木工程
- 1 篇 交通运输工程
- 1 篇 网络空间安全
5 篇 管理学
- 5 篇 管理科学与工程(可...
- 1 篇 工商管理
3 篇 理学
- 1 篇 数学
- 1 篇 物理学
- 1 篇 地球物理学
1 篇 经济学
- 1 篇 应用经济学

主题

63 篇 uml activity dia...
6 篇 software testing
4 篇 model transforma...
4 篇 testing
3 篇 business process...
3 篇 test cases
3 篇 genetic algorith...
3 篇 selenium webdriv...
2 篇 test scenarios p...
2 篇 test scenario ge...
2 篇 model checking
2 篇 event-b
2 篇 model-based test...
2 篇 hybrid genetic a...
2 篇 software enginee...
2 篇 test cases gener...
2 篇 formal semantics
2 篇 computational in...
2 篇 concurrency in u...
2 篇 requirements eng...

机构

3 篇 中原大学
2 篇 ruppin acad ctr ...
1 篇 univ cent punjab...
1 篇 king faisal univ...
1 篇 intel corp folso...
1 篇 mdu rohtak dept ...
1 篇 cochin univ sci ...
1 篇 natl inst techno...
1 篇 faculty of elect...
1 篇 univ tunis esstt...
1 篇 ruppin acad ctr ...
1 篇 king abdulaziz u...
1 篇 univ sfax mir cl...
1 篇 colorado state u...
1 篇 aps coll engn de...
1 篇 jinwen univ sci ...
1 篇 suan dusit univ ...
1 篇 australian natl ...
1 篇 mdu rohtak uiet ...
1 篇 kiit univ sch co...

作者

3 篇 rathee nisha
2 篇 singh maninder
2 篇 bhatia rajesh
2 篇 acharya arup abh...
2 篇 achouri amine
2 篇 tsoury arava
2 篇 arora vinay
2 篇 ben ayed leila j...
2 篇 zafar nazir ahma...
2 篇 grobelna iwona
2 篇 hlaoui yousra be...
2 篇 abbas messaoud
2 篇 sellami asma
2 篇 ben-abdallah han...
2 篇 chhillar rajende...
2 篇 beimel dizza
2 篇 mohapatra durga ...
2 篇 grobelny michal
1 篇 murthy v. k.
1 篇 xinying wang

语言

57 篇 英文
4 篇 中文
2 篇 其他

检索条件"主题词=UML Activity Diagram"

共 63 条记录，以下是41-50 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Identifying and Localizing the Inter-Consistency Errors Among uml Use Cases and activity diagrams: An Approach Based on Functional and Structural Size Measurements 15

Identifying and Localizing the Inter-Consistency Errors Amon...

引用

15th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications (SERA)

作者： Hakim, Hela Sellami, Asma Ben-Abdallah, Hanene Univ Sfax Mir Acl Lab Sfax Tunisia King Abdulaziz Univ Jeddah Saudi Arabia

ISBN: (纸本)9781509057566

Because of their structural and semantic interdependency, uml diagrams describing a software product must be consistent to ensure the success of the development process. This inter-diagram consistency is often not easy to ensure considering the multi-views the diagrams cover, the different levels of abstraction they encode, and the different development phases during which they are produced. In this paper, we tackle the consistency problem between the functional and dynamic views in behavioral diagrams of software. We propose an approach to detect and localize inter-consistency errors among uml use cases and activity diagrams. This approach is composed of two phases: measurement phase (1) and controlling phase (2). This approach is illustrated and validated through a "Restaurant management system" case study. The proposed approach will help both software designers/developers and quality assurance/testing engineers identifying and localizing the causes of software errors at early phases (specification and design).

关键词： uml use case diagram uml activity diagram Inter-Consistency errors Functional Size Structural Size

来源：评论

学校读者我要写书评

暂无评论

Test Path Optimization Algorithm Compared with GA Based Approach 9th

Test Path Optimization Algorithm Compared with GA Based Appr...

引用

9th International Conference on Genetic and Evolutionary Computing (ICGEC)

作者： Kyaw, Aye Aye Min, Myat Myat Univ Comp Studies Mandalay Myanmar

ISBN: (纸本)9783319232041;9783319232034

Software testing performs a vital and basic role in developing software that is freedom from bugs and defects. Various levels of testing use Unified modeling language (uml) to design the tests. The test case generation from design specification is an essential work in testing phase. In recent trend, Model-Based testing approach attracts many researchers by using some search optimization techniques to produce an automated optimal test path. The best test path is got more beneficial than the other generated test paths because it can reduce time and cost more than others. In this paper, we compare and analysis different methodologies of model based best test path generation by using the uml activity diagram. We discuss the results the resulting test paths with respect to correctness and time consuming.

关键词： Model-Based testing Test path Test path generation uml activity diagram

来源：评论

学校读者我要写书评

暂无评论

Integration of uml and Petri Net for the Process Modeling and Analysis in Workflow Applications

Integration of UML and Petri Net for the Process Modeling an...

引用

13th WSEAS International Conference on Computers

作者： Han, Kwan-Hee Yoo, Seock-Kyu Kim, Bohyun Gyeongsang Natl Univ Dept Ind & Syst Engn Jinju South Korea VMS Soult Co Ltd Deajeon South Korea Korea Inst Ind Technol Ansan South Korea

ISBN: (纸本)9789604740994

Recently, workflow management system has been widely accepted in most enterprises as one of enabling technologies for process innovation or BPR (Business Process Reengineering). It is quite essential to customer satisfaction and productivity enhancement that structural errors in workflow instances must be detected before their enactments. For a qualitative workflow analysis, this paper combines the strengths of uml activity diagram and Petri Net, proposes a mapping scheme from uml activity diagrams to Petri Nets, and finally demonstrates the transformation results by using two workflow scenarios. The transformed Petri Net is used for the reachability tree analysis for the detection of structural errors of workflows.

关键词： qualitative workflow analysis uml activity diagram Petri Net reachability tree workflow-net

来源：评论

学校读者我要写书评

暂无评论

Model Based Test Case Generation and Optimization Using Intelligent Optimization Agent 2

Model Based Test Case Generation and Optimization Using Inte...

引用

2nd International Conference on Information Systems Design and Intelligent Applications (INDIA)

作者： Mahali, Prateeva Acharya, Arup Abhinna Mohapatra, Durga Prasad KIIT Univ Sch Comp Engn Bhubaneswar 751024 Orissa India Natl Inst Technol Dept Comp Sci Engn Rourkela 769008 India

ISBN: (纸本)9788132222507;9788132222491

Test case optimization is one of the techniques which efficiently manage the exponential growth in time and cost of testing. But in many times the researchers compromise with the code coverage while going for optimization. In this paper, the test suite is optimized using Intelligent Optimization Agent (IOA) while the keeping the percentage of code coverage unchanged. First the System Under Test (SUT) is modelled using uml activity diagram (AD) and converted into an activity Graph (AG). Then the optimized path is found out in AD by using IOA and cost attributes. Then suitable algorithms are proposed to remove the redundant nodes in the optimized path. IOA is an agent based approach as compared to Hybrid Genetic Algorithm (HGA) in Intelligent Test Optimization Agent (ITOA). The proposed approach is found to be effective when compared with other optimization techniques like Genetic Algorithm (GA) and Intelligent Test Optimization Agent (ITOA).

关键词： Optimization IOA Testing Code coverage uml activity diagram

来源：评论

学校读者我要写书评

暂无评论

Automated COSMIC-Based Analysis and Consistency Verification of uml activity and Component diagrams

Automated COSMIC-Based Analysis and Consistency Verification...

引用

8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)

作者： Sellami, Asma Haoues, Mariem Ben-Abdallah, Hanene Univ Sfax Mir Cl Lab Sfax Tunisia King Abdulaziz Univ FCIT Jeddah Saudi Arabia

ISBN: (纸本)9783642540929;9783642540912

uml has been established as a de facto standard for modeling software. It offers a set of complementary diagram types used to document functional, dynamic and static views of a system. uml diagrams diversification and their multi-view representation can cause inconsistencies among the diagram types used to model the system during the different development phases. This paper presents an automated COSMIC-based approach for checking the consistency between the activity and component diagrams. First, it defines measurement procedures to determine the functional size of both diagrams. Secondly, it proposes a set of heuristics to ensure the consistency in terms of COSMIC-FSM. Third, it presents a tool for measuring the functional size of these diagrams, and then checking their consistency.

关键词： Functional Size Measurement COSMIC-ISO/IEC 19761 uml activity diagram uml Component diagram Consistency Rules

来源：评论

学校读者我要写书评

暂无评论

Cooperating sensory agents for detecting temporal consistency among events

Cooperating sensory agents for detecting temporal consistenc...

引用

International Conference on Parallel and Distributed Computing and Networks

作者： Murthy, V. K. Krishnamurthy, E. V. RMIT Melbourne Vic 3000 Australia Australian Natl Univ Canberra ACT 0200 Australia

A cooperating-agents sensor based algorithm is described to detect temporal consistency among events and for constraint processing. We describe the algorithm using an example. Also we describe the cooperative aspects ... 详细信息

ISBN: (纸本)9780889866379

关键词： agents cooperation sensory agents temporal consistency uml activity diagram

来源：评论

学校读者我要写书评

暂无评论

An Approach to Generate Actor-Oriented activity Charts from Use Case Requirements

An Approach to Generate Actor-Oriented Activity Charts from ...

引用

19th Asia-Pacific Software Engineering Conference (APSEC)

作者： Tiwari, Saurabh Rathore, Santosh Singh Singh, Abhijeet Singh, Abhinav Gupta, Atul Indian Inst Informat Technol Design & Mfg Jabalpu Jabalpur India

ISBN: (纸本)9780769549224

In this paper, we propose an approach for transforming use case requirements into actor-oriented activity charts. In this approach, we first specify requirements using a relatively more formalized use case template. Next, we generate actor-oriented activity charts by identifying various interactions of an actor with the system and the events sequenced thereafter. The resulting activity charts can be useful in various software planning and development activities like release planning, test planning, execution and others.

关键词： Use case modeling uml activity diagram model transformation requirement specification

来源：评论

学校读者我要写书评

暂无评论

Flood Analysis and Prediction Support based on uml and Mobile Petri Net Specification and Verification

Flood Analysis and Prediction Support based on UML and Mobil...

引用

World Congress on Engineering and Computer Science

作者： Khan, Sher Afzal Iqbal, Rao Sohail Zafar, Nazir Ahmad Ahmad, Farooq Abdul Wali Khan Univ Dept Comp Sci Mardan Pakistan Univ Cent Punjab Fac Informat Technol Lahore Pakistan King Faisal Univ Dept Comp Sci Al Hufuf Saudi Arabia

ISBN: (纸本)9789881925169

Flood is one of catastrophic disaster that directly and indirectly affects the living style of people in the critical region. It is proved that there is no mechanism to avoid flood but only a prediction, which can secure the inhabitants of inundation areas. To predict flood, different countries adopt different techniques like SPH (Smooth Particle Hydrodynamics), Hydrograph, FRICS (The Foundation of River Basin Integrated Communications), and DMS (Disaster Management Support) etc. However, it is observed that these techniques do not take an advantage of upcoming development to predict the flood. To cater it, in this research a new model is proposed based on Mobile Agent technology. Usually the inundation area is distributed over thousands of kilometers, so far communication among agents we prefer to use VSAT (Very Small Aperture Terminal). We categorized the mobile agents according to responsibility like server and client mobile agents. Client is responsible for discharge calculations, whereas, the server calculate an inundation area to predict based on the discharge received from the client and historical records. The model is developed using uml activity diagram. Finally, the model is specified using mobile agent Petri net and then verified by reachibility graph.

关键词： Flood Prediction Mobile Agents uml activity diagram VSAT

来源：评论

学校读者我要写书评

暂无评论

Modelling Business Processes in the Complex Telecommunication Environment

Modelling Business Processes in the Complex Telecommunicatio...

引用

12th International Conference on Telecommunications (ConTEL)

作者： Markulin, Darko Kunstic, Marijan HT Dd Zagreb Croatia

ISBN: (纸本)9789531841801;9781467359849

It is difficult to imagine the development of business processes in a complex environment like the telecommunication market without any form of modelling. Examples are structured texts, informal diagrams or models with more precise structures as formal models. The modelling objective in this case is, to clearly express the requirement of the development of business processes and provide a better base for the analysis of the required functionality. In this paper, the role and the importance of modelling in the development of business processes, in the areas of telecommunications were explored. Based on this research, a model of business processes in the area of telecommunication network has been suggested. The proposed model enables definition and description of a business process through multiple levels of abstraction. At the highest level of abstraction, the model describes the basic functionality and communication between management systems that participate in the realization of service activation. At lower levels of abstraction, the model defines details required for the specification of system support, which is needed for management of service implementation. Finally, the use of formal methods enables the simulation of business processes through the defined system support.

关键词： business process model uml activity diagram formal model

来源：评论

学校读者我要写书评

暂无评论

Formal Identification of Right-Grained Services for Service-Oriented Modeling

Formal Identification of Right-Grained Services for Service-...

引用

10th International Conference on Web Information Systems Engineering (WISE 2009)

作者： Kim, Yukyong Doh, Kyung-Goo Hanyang Univ Dept Comp Sci & Engn Ansan 426791 South Korea

ISBN: (纸本)9783642044083

Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupled services, and the reusability of individual services in different contexts. Although the concept of service orientation has been intensively debated in recent years, a unified methodic approach for identifying services has not yet been reached. In this paper, we Suggest a formal approach to identify services at the right level of granularity from the business process model. Our approach uses the concept of graph clustering and provides a systematical approach by defining the cost metric as a measure of the interaction costs. To effectively extract service information from the business model, we take activities as the smallest units in service identification and cluster activities with high interaction cost into a task through hierarchical clustering algorithm, so as to reduce the coupling of remote tasks and to increase local task cohesion.

关键词： Service identification service granularity business process model uml activity diagram graph clustering

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共7页 << < 1 2 3 4 5 6 7 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：