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

9th international conference on Model Driven engineering Languages and Systems

作者： Rilling, Juergen Zhang, Yonggang Meng, Wen Jun Witte, Rene Haarslev, Volker Charland, Philippe Concordia Univ Dept Comp Sci & Software Engn Montreal PQ Canada R&D Canada Valcartier Syst Syst Sect Def Quebec City PQ Canada

ISBN: (纸本)9783540694885

In this paper, we present a formal process model to support the comprehension and maintenance of software systems. the model provides a formal ontological representation that supports the use of reasoning services across different knowledge resources. In the presented approach, we employ our Description Logic knowledge base to support the maintenance process management, as well as detailed analyses among resources, e.g., the traceability between various software artifacts. the resulting unified process model provides users with active guidance in selecting and utilizing these resources that are context-sensitive to a particular comprehension task. We illustrate both, the technical foundation based on our existing SOUND environment, as well as the general objectives and goals of our process model.

关键词： software maintenance process modeling ontological reasoning software comprehension traceability text mining

来源：评论

学校读者我要写书评

暂无评论

Model driven security engineering for the realization of dynamic security requirements in collaborative systems

Model driven security engineering for the realization of dyn...

引用

9th international conference on Model Driven engineering Languages and Systems

作者： Alam, Muhammad Univ Innsbruck Inst Informat Res Grp Qual Engn A-6020 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.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Modularity aspects of disjunctive stable models

Modularity aspects of disjunctive stable models

引用

9th international conference on Logic Programming and Nonmonotonic Reasoning

作者： Janhunen, Tomi Oikarinen, Emilia Tompits, Hans Woltran, Stefan Aalto Univ Dept Comp Sci & Engn PO Box 5400 FI-02015 Helsinki Finland Vienna Univ Technol Inst Informat Syst A-1040 Vienna Austria

ISBN: (纸本)9783540721994

Practically all programming languages used in software engineering allow to split a program into several modules. For fully declarative and nonmonotonic logic programming languages, however, the modular structure of programs is hard to realise, since the output of an entire program cannot in general be composed from the output of its component programs in a direct manner. In this paper, we consider these aspects for the stable-model semantics of disjunctive logic programs (DLPs). We define the notion of a DLP-function, where a well-defined input/output interface is provided, and establish a novel module theorem enabling a suitable compositional semantics for modules. the module theorem extends the well-known splitting-set theorem and allows also a generalisation of a shifting technique for splitting shared disjunctive rules among components.

关键词： Modulation

来源：评论

学校读者我要写书评

暂无评论

Report on the 3rd MoDeVa workshop -: Model Design and Validation

Report on the 3rd MoDeVa workshop -: Model Design and Valida...

引用

9th international conference on Model Driven engineering Languages and Systems

作者： Baudry, Benoit Hearnden, David Rapin, Nicolas Suss, Jorn Guy INRIA France University of Queensland Australia CEA/LIST France

ISBN: (纸本)9783540694885

software systems are becoming increasingly large and complex, and run the risk of serious failures from unforeseen behaviour. Model driven development (MDD) is emerging as a solution with strong potential for dealing with these difficulties using models and model transformations. However, effective validiation and verification techniques are required to take full advantage of the expected benefits of MDD. the MoDeVa (Model Design and Validation) series of workshop aims at bringing together researchers and practitioners to discuss links between MDD and model-based validation. this document summarizes the results of MoDeVa'06 that was the third edition of the workshop. Reviewing the workshop, the organisers feel that a community is forming which aims for practical integration of model-driven development and V&V and that specific research topics are being identified and addressed. As an illustration of this, it is important to notice that three papers this year were dedicated to V&V for model transformations. this trend may be due to increasing maturity and scale of use of MDD and thus to a better understanding of hard points and research challenges in this new approach for software development. there is recognition that specific solutions in this area are needed.

关键词： Computer software

来源：评论

学校读者我要写书评

暂无评论

Applying ISO 9001:2000, *** and CMMI to achieve software process maturity: BL informatica's pathway 07

Applying ISO 9001:2000, *** and CMMI to achieve software pro...

引用

29th international conference on software engineering, ICSE 2007

作者： Ferreira, Analia Irigoyen Ferreiro Santos, Gleison Cerqueira, Roberta Montoni, Mariano Barreto, Ahilton Soares Barreto, Andrea O. Rocha, Ana Regina COPPE/UFRJ Federal University of Rio de Janeiro PO BOX 68511 21945-9 70 - Rio de Janeiro RJ Brazil BL Informática Ltda Av. Visconde do Rio Branco Niterói RJ Brazil - 24020-002

ISBN: (纸本)0769528287

Customer satisfaction, quality improvement and rework reduction are known to be the most important benefits obtained through deployment of software process maturity models and standards within an organization. Since 2003 BL Informática has been motivated and has established and maintained its software processes based on international standards (like ISO 9001:2000) and maturity models (like *** and CMMI). In spite of the lack of financial and human resources, the organization achieved satisfactory results. this paper describes BL Infomática's software processes improvement plan, lessons learned, difficulties and benefits that where collected during the execution of the improvement plan. It also presents quantitative results that demonstrate the return on investment during these years. © 2007 IEEE.

关键词： Codes (symbols)

来源：评论

学校读者我要写书评

暂无评论

predictive LPV control of a liquid-gas separation process

引用

ADVANCES IN engineering software 2007年第7期38卷 466-474页

作者： Salcedo, J. V. Martinez, M. Ramos, C. Herrero, J. M. Univ Politecn Valencia Dept Syst Engn & Control Valencia 46022 Spain

the problem of controlling a liquid-gas separation process is approached by using LPV control techniques. An LPV model is derived from a nonlinear model of the process using differential inclusion techniques. Once an LPV model is available, an LPV controller can be synthesized. the authors present a predictive LPV controller based on the GPC controller [Clarke D, Mohtadi C, Tuffs P. Generalized predictive control - Part I. Automatica 1987;23(2):137-48;Clarke D, Mohtadi C, Tuffs P. Generalized predictive control - Part II. Extensions and interpretations. Automatica 1987;23(2):149-60]. the resulting controller is denoted as GPC-LPV. this one shows the same structure as a general LPV controller [El Gahoui L, Scorletti G. Control of rational systems using linear-fractional representations and linear matrix inequalities. Automatica 1996;32(9):1273-84;Scorletti G, El Ghaoui L. Improved LMI conditions for gain scheduling and related control problems. international Journal of Robust Nonlinear Control 1998;8:845-77;Apkarian P, Tuan HD. Parametrized LMIs in control theory. In: proceedings of the 37th IEEE conference on decision and control;1998. p. 152-7;Scherer CW. LPV control and full block multipliers. Automatica 2001;37:361-75], which presents a linear fractional dependence on the process signal measurements. therefore, this controller has the ability of modifying its dynamics depending on measurements leading to a possibly nonlinear controller. that controller is designed in two steps. First, for a given steady state point is obtained a linear GPC using a linear local model of the nonlinear system around that operating point. And second, using bilinear and linear matrix inequalities (BMIs/LMIs) the remaining matrices of GPC-LPV are selected in order to achieve some closed loop properties: stability in some operation zone, norm bounding of some input/output channels, maximum settling time, maximum overshoot, etc., given some LPV model for the nonlinear system. As an appli

关键词： LPV controllers LPV systems nonlinear systems BMIs LMIs predictive control

来源：评论

学校读者我要写书评

暂无评论

A model-driven approach to the engineering of multiple user interfaces

A model-driven approach to the engineering of multiple user ...

引用

9th international conference on Model Driven engineering Languages and Systems

作者： Botterweck, Goetz Univ Koblenz Landau Inst IS Res Koblenz Germany

ISBN: (纸本)9783540694885

In this paper, we describe MANTRA(1), 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.

来源：评论

学校读者我要写书评

暂无评论

the effect of initial temperature of melting aluminum to the formation of strip in continuous roll-casting process

The effect of initial temperature of melting aluminum to the...

引用

9th international conference on Computational Plasticity: Fundamentals and Applications, COMPLAS IX

作者： Li, Xiaoqian Zhan, Lihua Li, Yibo 410083 China Mechanical and Manufacturing Engineering University of Birmingham B15 2TT United Kingdom

ISBN: (纸本)9788496736290

In this paper a three-dimension dynamic thermal-mechanical coupled model was established, and boundary conditions with thermal contact models were also established. the material constitutive models of aluminum in high-temperature were established through hot simulating experiments using Gleeble machine. the MARC software was used to simulate the change of temperature during the whole embryonic stage of roll-casting process. And the effect to the strip forming and variation of temperature distribution on strip surface was analyzed under the different conditions of entry temperature distribution. © CIMNE, 2007.

关键词： Temperature distribution

来源：评论

学校读者我要写书评

暂无评论

Prediction of surface roughness in hard milling of AISI D2 tool steel

Prediction of surface roughness in hard milling of AISI D2 t...

引用

4th international conference on Leading Edge Manufacturing in 21st Century, LEM 2007

作者： Lajis, M.A. Karim, A.N. Mustafizul Amin, A.K.M. Nurul Hafiz, A.M.K. Faculty of Mechanical and Manufacturing Engineering UTHM Malaysia

this paper presents a study of the development of a surface roughness model in end milling of hardened steel AISI D2 using PVD TiAlN coated carbide cutting tool. the hardness of AISI D2 tool lies within the range of 56-58 HRC. the independent variables or the primary machining parameters selected for this experiment were the cutting speed, feed, and depth of cut. First and second order models were developed using Response Surface Methodology (RSM). Experiments were conducted within specified ranges of the parameters. Design-Expert 6.0 software was used to develop the surface roughness equations as the predictive models. Analysis of variance (ANOVA) with 95% confidence interval has indicated that the models are valid in predicting the surface roughness of the part machined under specified condition.

关键词： Surface roughness

来源：评论

学校读者我要写书评

暂无评论

think global, act local: Implementing model management with domain-specific integration languages

Think global, act local: Implementing model management with ...

引用

9th international conference on Model Driven engineering Languages and Systems

作者： Reiter, thomas Altmanninger, Kerstin Retschitzegger, Werner Johannes Kepler Univ Linz Informat Syst Grp IFS A-4040 Linz Austria Johannes Kepler Univ Linz Dept Telecooperat TK Linz Austria

ISBN: (纸本)9783540694885

In recent years a number of model transformation languages have emerged that deal with fine-grained, local transformation specifications, commonly known as programming in the small [13]. To be able to develop complex transformation systems in a scalable way, mechanisms to work directly on the global model level are desirable, referred to as programming in the large [26]. In this paper we show how domain specific model integration languages can be defined, and how they can be composed in order to achieve complex model management tasks. thereby, we base our approach on the definition of declarative model integration languages, of which implementing transformations are derived. We give a categorization of these transformations and rely on an object-oriented mechanism to realize complex model management tasks.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：