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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是1-10 订阅

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

详细简洁

排序：

models in software engineering - workshops and symposia at models 2011, Reports and Revised Selected Papers

引用

workshops and symposia on models in software engineering, models 2011

ISBN: (纸本)9783642296444

The proceedings contain 27 papers. The topics discussed include: summary of the workshop on multi-paradigm modelling: concepts and tools;runtime monitoring of functional component changes with behavior models;requirements and assessment of languages and frameworks for adaptation models;specifying a testing oracle for train stations - going beyond with product line technology;use cases for context aware model-checking;comparing six modeling approaches;summary of the second international workshop on models and evolution;towards semantics-aware merge support in optimistic model versioning;model based architecting and construction of embedded systems (ACES-MB 2011);model-based consistency checks of electric and electronic architectures against requirements;and a model-driven approach for software parallelization.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Summary of the 6th international workshop on models@***

引用

workshops and symposia on models in software engineering, models 2011

作者： Bencomo, Nelly Blair, Gordon France, Robert Cheng, Betty H.C. Jeanneret, Cédric INRIA Paris-Rocquencourt France Computing Dep. Lancaster University United Kingdom Computer Science Dep. Colorado State University United States Dep. of Computer Science and Engineering Michigan State University United States Department of Informatics University of Zurich Switzerland

ISBN: (纸本)9783642296444

The 6th edition of the workshop models@*** was held at the 14th International Conference models. The workshop took place in the city of Wellington, New Zealand, on the 17th of October 2011. The workshop was organised by Nelly Bencomo, Gordon Blair, Robert France, Betty H.C. Cheng, and Cédric Jeanneret. We present a summary of the workshop and a synopsis of the papers presented during the workshop. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Summary of the second international workshop on models and evolution

引用

workshops and symposia on models in software engineering, models 2011

作者： Deridder, Dirk Pierantonio, Alfonso Schätz, Bernhard Sprinkle, Jonathan Tamzalit, Dalila Vrije Universiteit Brussel Belgium University of L'Aquila Italy Fortiss GmbH Germany University of Arizona United States University of Nantes France

ISBN: (纸本)9783642296444

With the increasing adoption of Model-Based Development in many domains (e.g., Automotive software engineering, Business Process engineering), models are starting to become core artifacts of modern software engineering processes. By raising the level of abstraction and using concepts closer to the problem and application domain rather than the solution and technical domain, models become core assets and reusable intellectual property, being worth the effort of maintaining and evolving them. Therefore, increasingly models experience the same issues as traditional software artifacts, i.e., being subject to many kinds of changes, which range from rapidly evolving platforms to the evolution of the functionalities provided by the applications developed. These modifications include changes at all levels, from requirements through architecture and design, to executable models, documentation and test suites. They typically affect various kinds of models including data models, behavioral models, domain models, source code models, goal models, etc. Coping with and managing the changes that accompany the evolution of software assets is therefore an essential aspect of software engineering as a discipline. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Summary of the workshop on multi-paradigm modelling: Concepts and tools

引用

workshops and symposia on models in software engineering, models 2011

作者： Amaral, Vasco Hardebolle, Cécile Vangheluwe, Hans Lengyel, László Bunus, Peter Universidade Nova de Lisboa Portugal Supélec France University of Antwerp Belgium McGill University Canada BME Budapest Hungary Linkoping University Sweden

ISBN: (纸本)9783642296444

Following the trend of other editions, it was held this year (2011) in Wellington, New Zealand, the 5th International workshop on Multi-Paradigm Modelling: Concepts and Tools (MPM). Once again has been a satellite event of the International Conference on Model-Driven engineering Languages and Systems (models). It aims at further the state-of-the-art as well as to define future directions of this emerging research area by bringing together world experts in the field for an intense one-day workshop. This paper summarizes the results of this year's event. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Summary of the first international workshop on experiences and empirical studies in software modelling

引用

workshops and symposia on models in software engineering, models 2011

作者： Chaudron, Michel R.V. Genero, Marcela Abrahão, Silvia Mohagheghi, Parastoo Pareto, Lars LIACS Leiden University Niels Bohrweg 1 2333 CA Leiden Netherlands ALARCOS Research Group University of Castilla-La Mancha Paseo de la Universidad 4 13071 Ciudad Real Spain ISSI Research Group Department of Information Systems and Computation Universitat Politècnica de València Camino de Vera s/n 46022 Valencia Spain SINTEF Norwegian University of Science and Technology Forskningsveien 1 0373 Oslo Norway Chalmers - University of Gothenburg Gothenburg Sweden

ISBN: (纸本)9783642296444

Most software development projects apply modelling in some stages of development and to various degrees in order to take advantage of the many and varied benefits of it. Modelling is, for example, applied for facilitating communication by hiding technical details, analysing a system from different perspectives, specifying its structure and behaviour in an understandable way, or even for enabling simulations and generating test cases in a mode-driven engineering approach. Thus, the evaluation of modelling techniques, languages and tools is needed in order to assess their advantages and disadvantages, to ensure their applicability to different contexts, their ease of use, and other issues such as required skills and costs;either isolated or in comparison with other methods. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

MoDeVVa 2011 workshop summary

引用

workshops and symposia on models in software engineering, models 2011

作者： Lúcio, Levi Weißleder, Stephan Fondement, Frédéric Cichos, Harald Université du Luxembourg Luxembourg Fraunhofer FIRST Germany Université de Haute Alsace France Technische Universität Darmstadt Germany

ISBN: (纸本)9783642296444

All workshops of the MoDeVVa series are focused on Model-Driven engineering, Verification, and Validation. models are purposeful abstractions. They are important elements in established life cycle management approaches, especially in model-driven approaches. Most importantly, they are very useful for communication of important aspects of the software being developed - they are used to support the focus on these important aspects and to make complex systems simple to understand. Furthermore, models are descriptions at an arbitrary level of detail and can, thus, be used to make traceability from requirements to any other object in development easier. If the models are not just sketches, but also have a formal foundation, they can also used for automatic transformation or code generation. Typical applications are the automatic generation of large parts of system source code, which results in a decrease of system engineering costs. One of the most important representatives for the application of models is the Model-Driven engineering (MDE) approach. MDE is a development methodology that is based on models, meta models, and model transformations. There are many tools to support models, (domain-specific) modeling languages, model transformations, and code generation. The usage of models, model transformations, and code generation is becoming more and more important for industrial applications. The fact that development of MDE-related techniques still moves forward shows that MDE is quickly changing and that new approaches and corresponding issues arise frequently. The focus of the MoDeVVa series is on verification and validation (V&V) techniques in the context of MDE. V&V are currently very relevant in many safety-critical domains, with some of those domains being heavyweight representatives such automotive or avionics. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Safety engineering

来源：评论

学校读者我要写书评

暂无评论

Comparing six modeling approaches

引用

workshops and symposia on models in software engineering, models 2011

作者： Mussbacher, Gunter Al Abed, Wisam Alam, Omar Ali, Shaukat Beugnard, Antoine Bonnet, Valentin Bræk, Rolv Capozucca, Alfredo Cheng, Betty H.C. Fatima, Urooj France, Robert Georg, Geri Guelfi, Nicolas Istoan, Paul Jézéquel, Jean-Marc Kienzle, Jörg Klein, Jacques Lézoray, Jean-Baptiste Malakuti, Somayeh Moreira, Ana Phung-Khac, An Troup, Lucy Department of Systems and Computer Engineering Carleton University Canada Software Engineering Laboratory McGill University Montreal Canada Simula Research Laboratory Norway Département Informatique TELECOM Bretagne France Department of Telematics Norwegian University of Science and Technology Norway LASSY Research Team University of Luxembourg Luxembourg Department of Computer Science and Engineering Michigan State University United States Computer Science Department Colorado State University Fort Collins United States ISC Department CRP Gabriel Lippmann Luxembourg INRIA Centre Rennes - Bretagne Atlantique Rennes France Laboratory for Advanced Software Systems University of Luxembourg Luxembourg Software Engineering Group University of Twente Netherlands Universidade Nova de Lisboa Lisbon Portugal Department of Psychology Colorado State University Fort Collins United States

ISBN: (纸本)9783642296444

While there are many aspect-oriented modeling (AOM) approaches, from requirements to low-level design, it is still difficult to compare them and know under which conditions different approaches are most applicable. This comparison, however, is crucially important to unify existing AOM and more traditional object-oriented modeling (OOM) approaches and to generalize individual approaches into a comprehensive end-to-end method. Such a method does not yet exist. This paper reports on work done at the inaugural Comparing Modeling Approaches (CMA) workshop towards the goal of identifying potential comprehensive methodologies: (i) a common, focused case study for six modeling approaches, (ii) a set of criteria applied to each of the six approaches, and (iii) the assessment results. © 2012 Springer-Verlag Berlin Heidelberg.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Equation-based object-oriented modeling languages and tools: Report on the workshop EOOLT 2010 at models 2010 Oslo, Norway, October 3, 2010

Equation-based object-oriented modeling languages and tools:...

引用

workshops and symposia on models in software engineering, models 2010

作者： Fritzson, Peter Lee, Edward A. Cellier, François E. Broman, David Linköping University Sweden UC Berkeley CA United States ETH Zurich Switzerland

ISBN: (纸本)9783642212093

EOOLT 2010 was the third edition of the EOOLT workshop series. The workshop is intended to bring together researchers and practitioners fromdifferent equation-based object-oriented (EOO) modeling language communities. This year's workshop also expands the scope to include the whole design space of languages for cyber-physical systems, where physical dynamics are mixed with networks and software. The workshop gathered 31 participants to present and discuss thirteen different papers grouped into the four areas of real-time oriented modeling languages and tools, modeling language design, simulation and model compilation, and modeling and simulation tools. © 2011 Springer-Verlag Berlin Heidelberg.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

MoDeVVa workshop Summary

MoDeVVa Workshop Summary

引用

workshop and symposia on models in software engineering

作者： Lucio, Levi Weissleder, Stephan Univ Nova Lisboa P-1200 Lisbon Portugal Fraunhofer FIRST HU Berlin Germany

来源：评论

学校读者我要写书评

暂无评论

4^th International workshop on models@***

4<SUP>th</SUP> International Workshop on Models@***

引用

workshop and symposia on models in software engineering

作者： Bencomo, Nelly Blair, Gordon France, Robert Munoz, Freddy Jeanneret, Cedric Univ Lancaster Dept Comp Lancaster LA1 4YW England Colorado State Univ Dept Comp Sci Ft Collins CO 80523 USA IRISA INRIA Equipe Triskell Rennes France Univ Zurich Dept Informat CH-8006 Zurich Switzerland

ISBN: (纸本)9783642122606

The 4th edition of the workshop models@*** was held at the 12th International Conference on Model Driven engineering Languages and Systems (models). The workshop took place in the city of Denver, Colorado, USA, on the 5th of October 2009. The workshop was organised by Nelly Bencomo, Robert France, Gordon Blair, Freddy Munoz, and Cedric Jeanneret. It was attended by at least 45 people from more than 10 countries. In this summary we present a synopsis of the presentations and discussions that took place during the 4(th) International workshop on models@***.

关键词： runtime adaptation MDE reflection abstraction

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：