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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

90 篇 会议
2 册 图书

馆藏范围

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

日期分布

学科分类号

89 篇 工学
- 89 篇 计算机科学与技术...
- 89 篇 软件工程
- 1 篇 安全科学与工程
3 篇 管理学
- 2 篇 管理科学与工程(可...
- 1 篇 工商管理
- 1 篇 图书情报与档案管...
1 篇 经济学
- 1 篇 应用经济学
1 篇 教育学
- 1 篇 教育学
1 篇 理学
- 1 篇 系统科学

主题

8 篇 uml
8 篇 software enginee...
8 篇 software design
6 篇 modeling
6 篇 model-driven eng...
4 篇 modeling languag...
4 篇 computer softwar...
3 篇 models
3 篇 reflection
3 篇 metrics
3 篇 computers
3 篇 model driven eng...
3 篇 artificial intel...
3 篇 specification la...
3 篇 unified modeling...
3 篇 ontology
2 篇 model-driven
2 篇 model checking
2 篇 software archite...
2 篇 metamodels

机构

3 篇 colorado state u...
2 篇 tech univ dresde...
2 篇 department of in...
2 篇 department of co...
2 篇 colorado state u...
2 篇 mcgill univ mont...
2 篇 mcgill universit...
2 篇 budapest univ te...
2 篇 univ lancaster d...
2 篇 delft univ techn...
2 篇 cea list
2 篇 athabasca univ s...
2 篇 univ zurich dept...
2 篇 dublin city univ...
2 篇 department of so...
2 篇 univ nova lisboa...
1 篇 inria
1 篇 lucent technol m...
1 篇 linköping univer...
1 篇 department of co...

作者

6 篇 france robert
4 篇 blair gordon
4 篇 mohagheghi paras...
4 篇 bencomo nelly
3 篇 staron miroslaw
3 篇 pareto lars
3 篇 gasevic dragan
2 篇 ludwik kuzniarz
2 篇 weissleder steph...
2 篇 fritzsche mathia...
2 篇 boskovic marko
2 篇 vangheluwe hans
2 篇 assmann uwe
2 篇 gray jeff
2 篇 jeanneret cedric
2 篇 deridder dirk
2 篇 kuzniarz ludwik
2 篇 mussbacher gunte...
2 篇 aldawud omar
2 篇 robert france

语言

92 篇 英文

检索条件"任意字段=Workshop and Symposia on Models in Software Engineering"

共 92 条记录，以下是11-20 订阅

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

详细简洁

排序：

Report of the 14th International workshop on Aspect-Oriented Modeling

Report of the 14th International Workshop on Aspect-Oriented...

引用

workshop and symposia on models in software engineering

作者： Kienzle, Joerg Gray, Jeff Stein, Dominik Cottenier, Thomas Cazzola, Walter Aldawud, Omar McGill Univ Montreal PQ Canada Univ Alabama Tuscaloosa AL USA Univ Duisburg Essen Essen Germany UniqueSoft Palatine IL USA Univ Milan I-20122 Milan Italy IIT Chicago IL USA

ISBN: (纸本)9783642122606

This report summarizes the outcome of the 14th workshop on Aspect-Oriented Modeling (AOM), as part of the 12th International Conference on Model Driven engineering Languages and Systems MoD-ELS 2009 in Denver, Colorado, USA, on the 4th of October 2009. The workshop brought together researchers and practitioners from two communities: aspect-oriented software development (AOSD) and software model engineering. This paper gives an overview of the accepted submissions, and summarizes the results of the discussion.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Essentials of the 5th Educators' Symposium at models 2009

Essentials of the 5th Educators' Symposium at MODELS 2009

引用

workshop and symposia on models in software engineering

作者： France, Robert Gogolla, Martin Colorado State Univ Ft Collins CO 80523 USA Univ Bremen D-28359 Bremen Germany

This paper reports on the Educators' Symposium held at the models 2009 conference. It shortly explains motivation of the symposium, shows the accepted papers of the symposium and mentions the people who have contr... 详细信息

ISBN: (纸本)9783642122606

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

The 2^nd International workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009)

The 2<SUP>nd</SUP> International Workshop on Non-functional ...

引用

workshop and symposia on models in software engineering

作者： Boskovic, Marko Gasevic, Dragan Pahl, Claus Schaetz, Bernhard Athabasca Univ Sch Comp & Informat Syst Athabasca AB Canada Dublin City Univ Sch Comp Dublin Ireland Tech Univ Munich Inst Informat Munich Germany

ISBN: (纸本)9783642122606

Domain Specific Modeling Languages (DSMLs) are becoming a common-place for engineering software systems of a particular domain. Currently, the study of DSMLs is mostly dedicated to engineering languages for specification of functional properties of systems. Until now, the study of engineering DSMLs has mostly been dedicated to specifying functional properties of domain specific systems. Besides functional properties, so called non-functional properties (NFP) such as safety, reliability, timeliness and so on, have been recognized as important as functional ones. This workshop discusses integration of NFP estimation and evaluation to Model Driven engineering with DSMLs.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

Second workshop on Transforming and Weaving Ontologies in Model Driven engineering (TWOMDE 2009)

Second Workshop on Transforming and Weaving Ontologies in Mo...

引用

workshop and symposia on models in software engineering

作者： Parreiras, Fernando Silva Pan, Jeff Z. Assmann, Uwe Univ Koblenz Landau WeST Inst Web Sci Technol Univ Str 1 D-56070 Koblenz Germany Univ Aberdeen Dept Comp Sci Aberdeen AB24 3UE Scotland Tech Univ Dresden Inst Software & Multimedia Technol D-01062 Dresden Germany

ISBN: (纸本)9783642122606

The First International workshop on Transforming and Weaving Ontologies in Model Driven engineering (TWOMDE 2009), affiliated with the 12th International Conference on Model Driven engineering Languages and Systems (models2009), brought together researchers and practitioners from the modeling community with experience or interest in MDE and in Knowledge Representation to discuss about how the scientific and technical results around ontologies, ontology languages and their corresponding reasoning technologies can be used fruitfully in MDE.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Ninth International workshop on the Pragmatics of OCL and Other Textual Specification Languages

Ninth International Workshop on the Pragmatics of OCL and Ot...

引用

workshop and symposia on models in software engineering

作者： Cabot, Jordi Chimiak-Opoka, Joanna Gogolla, Martin Jouault, Frederic Knapp, Alexander Open Univ Catalonia Catalonia Spain Univ Innsbruck Innsbruck Austria Univ Bremen Bremen Germany INRIA Ecole des Mines de Nantes Nantes France Univ Augsburg Augsburg Germany

ISBN: (纸本)9783642122606

This paper reports on the 9th OCL workshop held at the models conference in 2009. The workshop focused on the challeges of using OCL in a variety of new scenarios (e.g., model verification and validation, code generation, test-driven development, transformations) and application domains (e.g., domain-specific languages, web semantics) in which OCL is now being used due to the increasing popularity of model-driven development processes and the important role OCL play in them. The workshop included sessions with paper presentations and a final round discussion.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

Recent Advances in Multi-paradigm Modeling

Recent Advances in Multi-paradigm Modeling

引用

workshop and symposia on models in software engineering

作者： Amaral, Vasco Hardebolle, Cecile Karsai, Gabor Lengyel, Laszlo Levendovszky, Tihamer Univ Nova Lisboa P-1200 Lisbon Portugal Supelec Dept Comp Sci Paris France Vanderbilt Univ Nashville TN USA Budapest Univ Technol & Econom Budapest Hungary

ISBN: (纸本)9783642122606

Model-Based Design of complex software systems is an activity that requires the use of different modeling formalisms, with different perspectives of the system, to cover all relevant aspects of the system, to avoid over-design, to employ manageable models and to support system integration. The comprehensive use of models in design has created a set of challenges beyond those of supporting one isolated design task. In particular, the need to combine, couple, and integrate models at different levels of abstraction and in different formalisms is posing a set of specific problems that must be tackled. Multi-Paradigm Modeling is precisely the research field to focus on developing an appropriate set of concepts and tools to address the challenge of integrating models of different aspects of a software system specified using different formalisms and eventually at different levels of abstraction. Tins paper summarizes the results of the 3rd workshop on Multi-Paradigm Modeling: Concepts and Tools.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

The Doctoral Symposium at models 2009

The Doctoral Symposium at MODELS 2009

引用

workshop and symposia on models in software engineering

作者： Dingel, Juergen Queens Univ Sch Comp Kingston ON Canada

ISBN: (纸本)9783642122606

The research of nine doctoral students was selected for presentation at the symposium from a total of nineteen submissions. All submissions received detailed feedback via written reviews by three members of the program committee. At the symposium, the research described in the accepted submissions was presented, discussed;and additional;detailed feedback was provided. This summary provides a brief overview of the symposium.

关键词： Education computing

来源：评论

学校读者我要写书评

暂无评论

Model Patches in Model-Driven engineering

Model Patches in Model-Driven Engineering

引用

workshop and symposia on models in software engineering

作者： Cicchetti, Antonio Di Ruscio, Davide Pierantonio, Alfonso Malardalen Univ Sch Innovat Design & Engn SE-72123 Vasteras Sweden Univ Aquila Dipartimento Informat I-67010 Coppito L Aquila Italy

ISBN: (纸本)9783642122606

Increasingly, recording the various kinds of design-level structural evolution that a system undergoes throughout its entire life-cycle is gaining relevance in software modeling and development. In this respect, an interesting and useful operation between subsequent system versions is model difference consisting in calculation, representation, and visualization. This work shows how to generalize the application of differences, represented as first-class artefacts, in order to abstract from persistent identifiers and enable more flexibility. Then, modifications can be applied as model patches to arbitrary models according to weaving specifications.

关键词： Life cycle

来源：评论

学校读者我要写书评

暂无评论

Deriving Correspondence Relationships to Guide a Multi-view Heterogeneous Composition

Deriving Correspondence Relationships to Guide a Multi-view ...

引用

workshop and symposia on models in software engineering

作者： Yie, Andres Casallas, Rubby Deridder, Dirk Wagelaar, Dennis Univ Los Andes Grp Construct Software Bogota Colombia Vrije Univ Brussel Software Languages Lab Brussels Belgium

ISBN: (纸本)9783642122606

The use of several view models is a common practice to specify diverse concerns of a complex system. It is advantageous to use appropriate Domain-Specific Modeling Languages, at high-level of abstraction, to specify each concern. To actually produce the running application, it is necessary not only to transform the view-models into code, but also to compose them. We can establish at the high-level correspondence relationships between the concepts in the different concerns, but it;is a complex task to compose the models at this level because we face a heterogeneous composition problem. Therefore, our strategy is to. independently transform each view model into a. common low-level language to perform a homogeneous composition. We create a mechanism to automatically derive correspondence relationships between the generated low-level models. These new correspondences contain the information to guide a homogeneous composition.

关键词： Model Driven engineering Model transformation Model composition Multi-paradigm modeling

来源：评论

学校读者我要写书评

暂无评论

Using Ontology Reasoning for Reverse engineering Design Patterns

Using Ontology Reasoning for Reverse Engineering Design Patt...

引用

workshop and symposia on models in software engineering

作者： Alnusair, Awny Zhao, Tian Univ Wisconsin Dept Elect Engn & Comp Sci Milwaukee WI 53201 USA

ISBN: (纸本)9783642122606

Capturing design knowledge in large software systems reduces the complexity of understanding and reusing these systems. Model Driven engineering (MDE) is seen by many as the new trend to cope with software complexity. MDE promotes the notion of modeling and model transformations in model-driven development. In this paper, we propose an approach that utilizes ontological modeling and reasoning for recovering design pattern information from source code. We thus provide a formal representation of the conceptual knowledge found in source code and match it to similar representation of design patterns. This proper matching is the basis for applying semantic reasoning to infer design pattern instances. We have tested our approach on multiple open source application frameworks. The results we obtained are promising and show an improvement in terms of recall and precision.

关键词： Semantic Reasoning software Ontology Design Patterns Program Understanding Knowledge Representation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共10页 << < 1 2 3 4 5 6 7 8 9 10 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：