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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Repository for Model Driven Development (ReMoDD) 06

Repository for Model Driven Development (ReMoDD)

引用

workshop and symposia at models 2006

作者： Robert France Jim Bieman Betty H. C. Cheng Department of Computer Science and Engineering Colorado State University Department of Computer Science and Engineering Michigan State University East Lansing Michigan

ISBN: (纸本)9783540694885

The Repository for MDD (ReMoDD) project is concerned with developing a repository that will contain artifacts that support research and education in model-driven development (MDD). The ReMoDD platform will also provide interfaces and interchange mechanisms that will enable a variety of tools to retrieve artifacts from the repository and submit candidate artifacts to the repository. ReMoDD artifacts will include documented MDD case studies, examples of models reflecting good and bad modeling practices, reference models (including metamodels) that can be used as the basis for comparing and evaluating MDD techniques, generic models and transformation reflecting reusable modeling experience, descriptions of modeling techniques, practices and experiences, and modeling exercises and problems that can be used to develop classroom assignments and projects. In this paper we outline plans for developing ReMoDD.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Modeling Features in Aspect-Based Product Lines with Use Case Slices: An Exploratory Case Study 06

Modeling Features in Aspect-Based Product Lines with Use Cas...

引用

workshop and symposia at models 2006

作者： Roberto E. Lopez-Herrejon Don Batory Computing Laboratory University of Oxford England Department of Computer Sciences University of Texas at Austin

ISBN: (纸本)9783540694885

A significant number of techniques that exploit aspects in software design have been proposed in recent years. One technique is use case slices by Jacobson and Ng, that builds upon the success of use cases as a common modeling practice. A use case slice modularizes the implementation of a use case and typically consists of a set of aspects, classes, and interfaces. Work on Feature Oriented Programming (FOP) has shown how features, incre ments in program functionality, can be modularized and algebraically mod eled for the synthesis of product lines. When AspectJ is used in FOP, the structure of feature modules resembles that of use case slices. In this paper, we explore the relations between use case slices modeling and FOP program synthesis and describe their potential synergy for modeling and synthesizing aspect-based product lines.

关键词： Product lines slicing Modeling software design

来源：评论

学校读者我要写书评

暂无评论

Queries and Constraints: A Comprehensive Semantic Model for UML2 06

Queries and Constraints: A Comprehensive Semantic Model for ...

引用

workshop and symposia at models 2006

作者： Ingolf H. Krüger Massimiliano Menarini University of California San Diego La Jolla CA

ISBN: (纸本)9783540694885

UML and UML2 are the de facto industry standards for model based software development. To deliver the benefits promised by model based development, including sophisticated synthesis and validation tool support, UML2 must have a precise and formally defined semantics. While there have been attempts at defining semantics for individual description techniques in the past, a unifying semantics approach covering the information represented by all UML2 description techniques has proven elusive so far. In this contribution we turn the picture around: we define a semantic core-model of distributed, reactive systems and interpret UML2’s description techniques as queries and constraints at instantiations of this core model. A query selects the elements relevant for a specification. A constraint imposes structural and behavioral properties on the system under consideration.

关键词： Semantics UML UML2 Model-based Development software Architecture Programming Languages

来源：评论

学校读者我要写书评

暂无评论

Towards Model-Driven Unit Testing 06

Towards Model-Driven Unit Testing

引用

workshop and symposia at models 2006

作者： Gregor Engels Baris Güldali Marc Lohmann Software Quality Lab University of Paderborn Paderborn Germany and Department of Computer Science University of Paderborn Paderborn Germany Software Quality Lab University of Paderborn Paderborn Germany Department of Computer Science University of Paderborn Paderborn Germany

ISBN: (纸本)9783540694885

The Model-Driven Architecture (MDA) approach for constructing software systems advocates a stepwise refinement and transformation process starting from high-level models to concrete program code. In contrast to numerous research efforts that try to generate executable function code from models, we propose a novel approach termed model-driven monitoring. On the model level the behavior of an operation is specified with a pair of UML composite structure diagrams (visual contract), a visual notation for pre- and post-conditions. The specified behavior is implemented by a programmer manually. An automatic translation from our visual contracts to JML assertions allows for monitoring the hand-coded programs during their execution. In this paper we present how we extend our approach to allow for model-driven unit testing, where we utilize the generated JML assertions as test oracles. Further, we present an idea how to generate sufficient test cases from our visual contracts with the help of model-checking techniques.

关键词： Design by Contract visual contracts test case generation model checking

来源：评论

学校读者我要写书评

暂无评论

Applying Model Intelligence Frameworks for Deployment Problem in Real-Time and Embedded Systems 06

Applying Model Intelligence Frameworks for Deployment Proble...

引用

workshop and symposia at models 2006

作者： Andrey Nechypurenko Egon Wuchner Jules White Douglas C. Schmidt Siemens AG Corporate Technology Munich Germany Vanderbilt University Department of Electrical Engineering and Computer Science Nashville TN

ISBN: (纸本)9783540694885

There are many application domains, such as distributed real-time and embedded (DRE) systems, where the domain constraints are so restrictive and the solution spaces so large that it is infeasible for modelers to produce correct solution manually using a conventional graphical model-based approach. In DRE systems the available resources, such as memory, CPU, and bandwidth, must be managed carefully to ensure a certain level of quality of service. This paper provides three contributions to simplify modeling of complex application domains: (1) we present our approach of combining model intelligence and domain-specific solvers with model-driven engineering (MDE) environments, (2) we show techniques for automatically guiding modelers to correct solutions and how to support the specification of large and complex systems using intelligent mechanisms to complete partially specified models, and (3) we present the results of applying an MDE tool that maps software components to Electronic Control Units (ECUs) using the typical automotive modeling and middleware infrastructure.

关键词： modeling Prolog constraint solver model completion model checking automotive

来源：评论

学校读者我要写书评

暂无评论

A Model-Driven Approach to the engineering of Multiple User Interfaces 06

A Model-Driven Approach to the Engineering of Multiple User ...

引用

workshop and symposia at models 2006

作者： Goetz Botterweck Institute for IS Research University of Koblenz-Landau Germany

ISBN: (纸本)9783540694885

In this paper, we describe MANTRA, a model-driven approach to the development of multiple consistent user interfaces for one application. The common essence of these user interfaces is captured in an abstract UI model (AUI) which is annotated with constraints to the dialogue flow. We consider in particular how the user interface can be adapted on the AUI level by deriving and tailoring dialogue structures which take into account constraints imposed by front-end platforms or inexperienced users. With this input we use model transformations described in ATL (Atlas Transformation Language) to derive concrete, platform-specific UI models (CUI). These can be used to generate implementation code for several UI platforms including GUI applications, dynamic web sites and mobile applications. The generated user interfaces are integrated with a multi tier application by referencing WSDL-based interface descriptions and communicating with the application core over web service protocols.

关键词： Model-driven multiple user interfaces multiple front-ends user interface engineering user interface modelling model transformation ATL Atlas Transformation Language

来源：评论

学校读者我要写书评

暂无评论

Model Driven Security engineering for the Realization of Dynamic Security Requirements in Collaborative Systems 06

Model Driven Security Engineering for the Realization of Dyn...

引用

workshop and symposia at models 2006

作者： Muhammad Alam Research Group Quality Engineering Institut für Informatik University of Innsbruck Austria

ISBN: (纸本)9783540694885

Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios, especially in the context of inter-organizational cooperation. One of the remaining obstacles for a wide-spread use of these techniques is security. Companies and organizations open their systems and core business processes to partners only if a high level of trust can be guaranteed. The emergence of web services security standards provides a valuable and effective paradigm for addressing the security issues arising in the context of inter-organizational cooperation. The low level of abstraction of these standards is, however, still an unresolved issue which makes them inaccessible to the domain expert and remains a major obstacle when aligning security objectives with the customer needs. Their complexity makes implementation easily prone of error. This paper provides a bird eye view of a doctoral work, where an effort is made to develop a conceptual framework – called SECTET in order to apply model driven security engineering techniques for the realization of high-level security requirements.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using Runtime models to Unify and Structure the Handling of Meta-information in Reflective Middleware 06

Using Runtime Models to Unify and Structure the Handling of ...

引用

workshop and symposia at models 2006

作者： Fábio Moreira Costa Lucas Luiz Provensi Frederico Forzani Vaz Institute of Computing Federal University of Goiás Goiânia-GO Brazil

ISBN: (纸本)9783540694885

Reflection plays an important role in the flexibilisation of middleware platforms. Through dynamic inspection, middleware interfaces can be discovered and invoked at runtime, and through adaptation the structure and behaviour of the platform can be modified on-the-fly to meet new user or environment demands. Metamodeling, on the other hand, has shown its value for the static configuration of middleware and other types of system as well. Both techniques have in common the pervasive use of meta-information as the means to provide the system’s self-representation. However similar they are, these two techniques usually fall on different sides of a gap, namely development time and runtime, with little interplay between them. In this paper, we review our approach for the combination of reflection and metamodeling, presenting some concrete applications of the concept in the context of distributed systems middleware, as well as propossing further potential applications.

关键词： Runtime metamodels Structural reflection Reflective middleware

来源：评论

学校读者我要写书评

暂无评论

Consistency of Business Process models and Object Life Cycles 06

Consistency of Business Process Models and Object Life Cycle...

引用

workshop and symposia at models 2006

作者： Ksenia Ryndina Jochen M. Küster Harald Gall IBM Zurich Research Laboratory Rüschlikon Switzerland and Department of Informatics University of Zurich Zurich Switzerland IBM Zurich Research Laboratory Rüschlikon Switzerland Department of Informatics University of Zurich Zurich Switzerland

ISBN: (纸本)9783540694885

Business process models and object life cycles can provide two different views on behavior of the same system, requiring that these models are consistent with each other. However, it is difficult to reason about consistency of these two types of models since their relation is not well-understood. We clarify this relation and propose an approach to establishing the required consistency. Object state changes are first made explicit in a business process model and then the process model is used to generate life cycles for each object type used in the process. We define two consistency notions for a process model and an object life cycle and express these in terms of conditions that must hold between a given life cycle and a life cycle generated from the process model.

关键词： consistency business process model object life cycle activity diagram state machine UML

来源：评论

学校读者我要写书评

暂无评论

models 2006 Doctoral Symposium 06

MoDELS 2006 Doctoral Symposium

引用

workshop and symposia at models 2006

作者： Gabriela Arévalo Robert Pettit LIRMM Université de Montpellier II France The Aerospace Corporation

ISBN: (纸本)9783540694885

The Doctoral Symposium at the models conference provided an international forum for doctoral students to interact with other students and faculty mentors. The Doctoral Symposium sought to bring together PhD Students working in areas related to modeling and model-driven engineering. Selected students had the opportunity to present and to discuss their research goals, methods and results within a constructive and international atmosphere. The goal of the symposium was to provide useful guidance for completion of the dissertation research and initiation of a research career. The symposium was intended for students who have already settled on a specific research proposal and have some preliminary results, but still had enough time remaining before their final defense so that they could benefit from the Symposium discussions. Fifteen PhD students from different countries submitted papers to the symposium. Submissions were judged on originality, overall contribution, technical merit, presentation quality and relevance to the conference topics. Each submission was reviewed by one mentor from the senior program committee. Of the fifteen PhD submissions, seven students were invited to present their work at the symposium. To motivate the interaction between the participants, each student that was invited to attend was assigned a specific mentor to be in charge of leading the discussion after the student’s presentation, and a specific mini-mentor (another PhD student) to contribute additional questions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：