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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

First workshop on Transforming and Weaving Ontologies in Model Driven engineering (TWOMDE 2008)

First Workshop on Transforming and Weaving Ontologies in Mod...

引用

workshop and symposia on models in software engineering

作者： Parreiras, Fernando Silva Pan, Jeff Z. Assmann, Uwe Henriksson, Jakob Univ Koblenz Landau Inst Comp Sci ISWeb Informat Syst & Semant Web Univ Str 1 D-56070 Koblenz Germany Univ Aberdeen Dept Comp Sci Aberdeen Scotland Tech Univ Dresden Inst Software & Multimedia Technol D-01062 Dresden Germany

ISBN: (纸本)9783642016479

The First International workshop on Transforming and Weaving Ontologies in Model Driven engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Driven engineering Languages and Systems (models2008), brought together researchers and practitioners from the modeling community with experience or interest in MDE and in Knowledge Representation to discuss about: (1) how the scientific and technical results around ontologies, ontology languages and their corresponding reasoning technologies can be used fruitfully in MDE;(2) the role of ontologies in supporting model transformation;(3) and how ontologies can improve designing domain specific languages.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Current Issues in Teaching software Modeling: Educators Symposium at models 2008

Current Issues in Teaching Software Modeling: Educators Symp...

引用

workshop and symposia on models in software engineering

作者： Smialek, Michal Warsaw Univ Technol Warsaw Poland

ISBN: (纸本)9783642016479

software modeling is an increasingly popular method among software development teams to overcome the problems associated with complexity of contemporary software systems. It can be argued that teaching modeling to software engineers is as important as teaching maths and physics to general engineers. This lead many academic and industrial centers to introducing modeling courses to their curricula. Unfortunately, it seems that education does not yet support the modeling paradigm well enough, thus limiting its acceptance as a mature method of developing software systems. This symposium sought for innovations on teaching modeling that would show its benefits in attractive and pedagogically effective ways. Three areas that need improvement were identified: placing modeling in the software engineering curriculum, teaching model semantics, and tool support for teaching modeling. Several pedagogical solutions in these three areas were presented. The symposium concluded with several recommendations on such improvements, with the most important being: "let the students play with models".

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

Triple Graph Grammars or Triple Graph Transformation Systems? A Case Study from software Configuration Management

Triple Graph Grammars or Triple Graph Transformation Systems...

引用

workshop and symposia on models in software engineering

作者： Buchmann, Thomas Dotor, Alexander Westfechtel, Bernhard Univ Bayreuth D-95440 Bayreuth Germany

ISBN: (纸本)9783642016479

Triple graph grammars have been used to specify consistency maintenance between inter-dependent and evolving models at a high level of abstraction. On a lower level, consistency maintenance may be specified by a triple graph transformation system, which takes care of all operational details required for executing consistency maintenance operations. We present a case study from software configuration management in which we decided to hand-craft a triple graph transformation system rather than to generate it from a triple graph grammar. The case study demonstrates some limitations concerning the kinds of consistency maintenance problems which can be handled by triple graph grammars.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

The Grand Challenge of Scalability for Model Driven engineering

The Grand Challenge of Scalability for Model Driven Engineer...

引用

workshop and symposia on models in software engineering

作者： Kolovos, Dimitrios S. Paige, Richard F. Polack, Fiona A. C. Univ York Dept Comp Sci York YO10 5DD N Yorkshire England

ISBN: (纸本)9783642016479

Scalability is particularly important for the adoption of Model Driven engineering (MDE) in an industrial context. The current focus of research in MDE is on declarative languages for model management, and scalable mechanisms for persisting models (e.g., using databases). In this paper we claim that, instead, modularity and encapsulation in modelling languages should be the main focus. We justify this claim by demonstrating how these two principles apply to a related domain - code development - where the issue of scalability has been addressed to a much greater extent than in MDE.

关键词： Scalability

来源：评论

学校读者我要写书评

暂无评论

Embedded System Construction - Evaluation of Model-Driven and Component-Based Development Approaches

Embedded System Construction - Evaluation of Model-Driven an...

引用

workshop and symposia on models in software engineering

作者： Bunse, Christian Gross, Hans-Gerhard Peper, Christian Int Univ Germany Bruchsal Germany Delft Univ Technol NL-2600 AA Delft Netherlands Fraunhofer Inst Expt Software Engn Kaiserslautern Germany

ISBN: (纸本)9783642016479

Model-driven development has become an important engineering paradigm. It is said to have many advantages over traditional approaches, such as reuse or quality improvement, also for embedded systems. Along a similar line of argumentation, component-based software engineering is advocated. In order to investigate these claims, the MARMOT method was applied to develop several variants of a small micro-controller-based automotive subsystem. Several key figures, like model size and development effort were measured and compared with figures coming from two mainstream methods: the Unified Process and Agile Development. The analysis reveals that model-driven, component-oriented development performs well and leads to maintainable systems and a higher-than-normal reuse rate.

关键词： Exploratory Study Embedded Model-Driven Components

来源：评论

学校读者我要写书评

暂无评论

A Transformation Framework to Bridge Domain Specific Languages to MDA

A Transformation Framework to Bridge Domain Specific Languag...

引用

workshop and symposia on models in software engineering

作者： Brambilla, Marco Fraternali, Piero Tisi, Massimo Politecn Milan Dipartimento Elettron & Informaz I-20133 Milan Italy

ISBN: (纸本)9783642016479

The Model Driven Architecture aims at the integration of different modeling languages, artifacts and tools in a unified technical space. Pre-existing development methodologies based on Domain Specific Languages (DSL) require a complex process to benefit from this integration. After a MOF metamodel for the DSL is defined, there is no standard methodology to move legacy models and tools to the new architecture. This paper proposes a general model-driven integration procedure for pre-MDA DSLs. The procedure, given the definition of suitable model transformations, is completely automatic. The proposed framework is fully implemented, in a way independent of the specific DSL that must be transformed. As a case study, a toolsuite based on WebML, a DSL for designing Web applications, is bridged to MDA.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

Using an Ontology to Suggest software Design Patterns Integration

Using an Ontology to Suggest Software Design Patterns Integr...

引用

workshop and symposia on models in software engineering

作者： Harb, Dania Bouhours, Cedric Leblanc, Herve Univ Toulouse 3 IRIT MACAO F-31062 Toulouse 9 France

ISBN: (纸本)9783642016479

To give a consistent and more valuable feature on models, we propose that model-driven processes should be able to reuse the expert knowledge generally expressed in terms of patterns. In order to formalize and use them, some design pattern ontologies have been developed. To share them on the Web they have been implemented using the OWL language. They can be easily interrogated with dedicated query languages. Our work has consisted in extending a design pattern intent ontology with "alternative model" and "strong points" concepts, which partially refers "anti-patterns". We validate this approach in tooling a step of a design review activity, we have proposed. This activity, directed by design patterns, is adapted to a model driven process, for the need to improve object-oriented architecture quality.

关键词： OWL SPARQL software Design Pattern Design Review Activity MDE MDA

来源：评论

学校读者我要写书评

暂无评论

The UML Is More Than Boxes and Lines

The UML Is More Than Boxes and Lines

引用

workshop and symposia on models in software engineering

作者： Labiche, Yvan Carleton Univ Dept Syst & Comp Engn Software Qual Engn Lab Ottawa ON K1S 5B6 Canada

ISBN: (纸本)9783642016479

The Unified Modeling Language (UML) is now the de-facto standard for the analysis and design of object-oriented software systems. There is a general consensus among researchers and practitioners that the UML could have a stronger semantic content. However, even the semantics of the UML, as described for example as well-formedness rules in the UML standard documentation, is not very well-known to many practitioners. As a result, practitioners often perceive the UML merely as a graphic tool. This paper discusses the apprenticeship of the UML semantics and presents a pedagogical method to help students overcome their limited view of the UML language as merely a set of annotated boxes and lines and to allow them to discover UML semantics.

关键词： UML well-formedness rules consistency teaching laboratory

来源：评论

学校读者我要写书评

暂无评论

Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation

Towards Model-Based Integration of Tools and Techniques for ...

引用

workshop and symposia on models in software engineering

作者： Porter, Joseph Karsai, Gabor Volgyesi, Peter Nine, Harmon Humke, Peter Hemingway, Graham Thibodeaux, Ryan Sztipanovits, Janos Vanderbilt Univ Inst Software Integrated Syst Nashville TN 37203 USA

ISBN: (纸本)9783642016479

While design automation for hardware systems is quite advanced, this is not the case for practical embedded systems. The current state-of-the-art is to use a software modeling environment and integrated development environment for code development and debugging, but these rarely include the sort of automatic synthesis and verification capabilities available in the VLSI domain. We present a model-based integration environment which uses a graphical architecture description language (EsMoL) to pull together control design, code and configuration generation, platform-specific simulation, and a number of other features useful for taming the heterogeneity inherent in safety-critical embedded control system designs. We describe concepts, elements, and development status for this suite of tools.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Experiences from Model-Driven Development of Homecare Services: UML Profiles and Domain models

Experiences from Model-Driven Development of Homecare Servic...

引用

workshop and symposia on models in software engineering

作者： Walderhaug, Stale Stav, Erlend Mikalsen, Marius SINTEF ICT N-7465 Trondheim Norway

ISBN: (纸本)9783642016479

Model-driven development approaches such as Model Driven Architecture (MDA) have been proposed as the new paradigm for software development. The adoption of MDA is still low, partly because of the general-purpose modelling language being used. Domain specific modelling languages are being developed for technological and industrial domains to improve the expressiveness and effect of model-driven development techniques. The healthcare domain could benefit from these methodologies. In order to incorporate domain knowledge in a MDA process, information about workflows, artefacts and actors can be formalized in a UML profile and applied by MDA tools for design and development. This paper presents the work done on model-driven development of smart homecare services in the MPOWER project. Following an iterative approach, two UML profiles to support development of Service Oriented Architecture based homecare applications are proposed. Using homecare specific UML profiles indicate an improvement in the process for model-driven development of homecare services.

关键词： Domain Knowledge

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：