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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

261 篇 会议
21 篇 期刊文献
9 册 图书

馆藏范围

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

日期分布

学科分类号

221 篇 工学
- 185 篇 软件工程
- 177 篇 计算机科学与技术...
- 22 篇 控制科学与工程
- 18 篇 电气工程
- 16 篇 信息与通信工程
- 8 篇 机械工程
- 7 篇 安全科学与工程
- 6 篇 生物医学工程（可授...
- 6 篇 生物工程
- 5 篇 电子科学与技术（可...
- 5 篇 交通运输工程
- 4 篇 光学工程
- 4 篇 材料科学与工程（可...
- 4 篇 航空宇航科学与技...
- 4 篇 网络空间安全
- 3 篇 仪器科学与技术
- 3 篇 化学工程与技术
- 1 篇 力学（可授工学、理...
48 篇 理学
- 36 篇 数学
- 7 篇 系统科学
- 6 篇 生物学
- 5 篇 物理学
- 5 篇 化学
- 2 篇 统计学（可授理学、...
41 篇 管理学
- 25 篇 管理科学与工程(可...
- 23 篇 图书情报与档案管...
- 9 篇 工商管理
10 篇 教育学
- 10 篇 教育学
- 2 篇 心理学(可授教育学...
1 篇 法学
- 1 篇 社会学
1 篇 农学
1 篇 医学
1 篇 艺术学

主题

23 篇 software enginee...
21 篇 design
19 篇 languages
11 篇 computer program...
11 篇 computer program...
10 篇 object oriented ...
9 篇 algorithms
8 篇 performance
8 篇 programming
8 篇 programming tech...
8 篇 code generation
7 篇 feature-oriented...
7 篇 automatic progra...
7 篇 java
7 篇 optimization
7 篇 generic programm...
7 篇 middleware
6 篇 generative progr...
6 篇 component
6 篇 software archite...

机构

4 篇 texas a&m univ c...
3 篇 univ alberta dep...
3 篇 school of space ...
3 篇 univ magdeburg d...
2 篇 univ lugano luga...
2 篇 college of telec...
2 篇 university of co...
2 篇 orange labs maps...
2 篇 johannes kepler ...
2 篇 institute of sys...
2 篇 univ southampton...
2 篇 shanghai yanding...
2 篇 univ marburg d-3...
2 篇 kansas state uni...
2 篇 department of in...
2 篇 johannes kepler ...
2 篇 ecole polytech f...
2 篇 school of inform...
2 篇 northeastern uni...
2 篇 sixty-third rese...

作者

7 篇 apel sven
6 篇 binder walter
5 篇 ansaloni danilo
5 篇 moret philippe
4 篇 kaestner christi...
4 篇 batory don
4 篇 moessenboeck han...
3 篇 stefani jean-ber...
3 篇 schaeffer j
3 篇 schmitt alan
3 篇 marcus mat
3 篇 smith jacob n.
3 篇 szafron d
3 篇 cassou damien
3 篇 fischer bernd
2 篇 yuehui chen
2 篇 yang yuan
2 篇 javad marzbanrad
2 篇 hatcliff john
2 篇 guddat j

语言

278 篇 英文
13 篇 其他
1 篇 中文

检索条件"任意字段=6th International Conference on Generative Programming and Component Engineering"

共 291 条记录，以下是161-170 订阅

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

详细简洁

排序：

Painless Support for Static and Runtime Verification of component-Based Applications 1

引用

6th IPM international conference on Fundamentals of Software engineering (FSEN)

作者： Gaspar, Nuno Henrio, Ludovic Madelaine, Eric INRIA Sophia Antipolis France Univ Nice Sophia Antipolis CNRS I3S UMR 7271 F-06900 Sophia Antipolis France ActiveEon SAS Sophia Antipolis France

ISBN: (数字)9783319246444

ISBN: (纸本)9783319246444;9783319246437

Architecture Description Languages (ADL) provide descriptions of a software system in terms of its structure. Such descriptions give a high-level overview and come from the need to cope with arbitrarily complex dependencies arising from software components. In this paper we present Painless, a novel ADL with a declarative trait supporting parametrized specifications and architectural reconfigurations. Moreover, we exhibit its reliable facet on its integration with ProActive - a middleware for distributed programming. this is achieved by building on top of Mefresa, a Coq framework for the reasoning on software architectures. We inherit its strong guarantees by extracting certified code, and subsequently integrating it in our toolchain.

关键词： the Coq Proof Assistant component-based engineering Formal Methods Architecture Description Language

来源：评论

学校读者我要写书评

暂无评论

Model driven engineering in systems integration

Model driven engineering in systems integration

引用

9th international Network conference, INC 2012

作者： Minich, M. Harriehausen-Mühlbauer, B. Wentzel, C. Communications and Network Research Centre for Security Plymouth University Plymouth United Kingdom Department of Computer Science University of Applied Sciences Darmstadt Darmstadt Germany

ISBN: (纸本)9781841023151

Software development in systems integration projects is still reliant on craftsmanship of highly skilled workers. To make such projects more profitable, an industrialized production, characterized by high efficiency, quality, and automation seems inevitable. While first milestones of software industrialization have recently been achieved, it is questionable if these can be applied to the field of systems integration as well. Besides specialization, standardization and systematic reuse, automation represents the final and most sophisticated key concept of industrialization, represented by Model Driven engineering (MDE). the present work discusses the most prominent MDE approaches, while considering the particularities of systems integration. It identifies generative programming as being most suitable and integrates it into previous works on Software Product Lines and component Based Development in Systems Integration.

关键词： Automation

来源：评论

学校读者我要写书评

暂无评论

Declaring and enforcing dependencies between .NET custom attributes

引用

3rd international conference on generative programming and component engineering

作者： Cepa, V Mezini, M TH Darmstadt Dept Comp Sci Software Technol Grp Darmstadt Germany

ISBN: (纸本)3540235809

Custom attributes as e.g., supported by the NET framework complemented by pre- or post-processing tools can be used to integrate domain-specific concepts into general-purpose language technology, representing an interesting alternative to domain-specific languages in supporting model-driven development. For this purpose, it is important that dependency relationships between custom attributes, e.g., stating that a certain attribute requires or excludes another attribute, can be specified and checked for during model processing (compilation). Such dependencies can be viewed as an important part of expressing the meta-model of the domain-specific concepts represented by custom attributes. In this paper, we present an approach to specifying and enforcing dependencies between NET custom attributes, which naturally extends the built-in NET support. In this approach, dependencies are specified declaratively by using custom attributes to decorate other custom attributes. Once the dependency declaration is made part of the custom attribute support, one can write tools that enforce dependencies based on NET meta-program API-s like CodeDom or Reflection. In this paper, we present such a tool, called ADC (for attribute dependency checker).

关键词： Problem oriented languages

来源：评论

学校读者我要写书评

暂无评论

Final inspection for design pattern homologation using a real time embedded software in a production line

Final inspection for design pattern homologation using a rea...

引用

6th international conference on Information Technology: New Generations, ITNG 2009

作者： Fernandes, Danilo Douradinho Cardoso, Felipe Rafael Motta Montini, Denis Ávila Dias, Luiz Alberto Vieira Moreira, Gabriel De Souza Pereira Da Cunha, Adilson Marques Instituto Tecnológico de Aeronáutica - ITA Brazil

ISBN: (纸本)9780769535968

this paper summarizes a research process applied to Final Inspection (FI) and Causal Analysis for Problems Resolution (CAR) using a Real Time Embedded Software component in a Production Line. It uses C++ language in an IBM-Rational Rose Real Time (RRRT) environment. It tackles the creation of a consistent homologation process to eliminate components' errors, imperfections, and defects even before design patterns' publications in a library. Its major contribution is the construction of an FI artifact for a software component related to CAR. It proposes an industrial model for an FI process of design patterns' homologation using an Integrated Computer Aided Software engineering Environment (I-CASE-E). It considers a design pattern that was identified in a project, described, stored in a library, and successfully reused in another project. the use of Rational Unified Process (RUP) has helped teams of undergrad and graduate students from the Brazilian Aeronautics Institute of Technology (Instituto Tecnológico de Aeronáutica - ITA) to develop their components, during the second semester of 2007. the RUP utilization has provided a fertile scenario to create and apply design pattern concepts. At the end, different Computer Software components (CSC) were homologated with their attributes and generic methods allowing reusability. © 2009 IEEE.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

An Eclipse plugin to support Agile Reuse

An Eclipse plugin to support Agile Reuse

引用

6th international conference on Extreme programming and Agile Processes in Software engineering, XP 2005

作者： McCarey, Frank Cinnéide, Mel Ó. Kushmerick, Nicholas Department of Computer Science University College Dublin Belfield Dublin 4 Ireland

Reuse in an Agile context is largely an unexplored research topic. On the surface, these two software engineering techniques would appear to be incompatible due to contradictory principles. For example, Agile components are usually accompanied with little or no support materials, which is likely to hamper their reuse. However we propose that Agile Reuse is possible and indeed advantageous. We have developed an Eclipse plug-in, named RASCAL, to support Agile Reuse. RASCAL is a recommender agent that infers the need for a reusable component and proactively recommends that component to the developer using a technique consistent with Agile principles. We present the benefits and the challenges encountered when implementing an Agile Reuse tool, paying particular to attention to the XP methodology, and detail our recommendation technique. Our overall results suggest RASCAL is a promising approach for enabling reuse in an Agile environment. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

CoExist: Overcoming Aversion to Change Preserving Immediate Access to Source Code and Run-time Information of Previous Development States

CoExist: Overcoming Aversion to Change Preserving Immediate ...

引用

11th international conference on generative programming and component engineering8th symposium on Dynamic Languages

作者： Steinert, Bastian Cassou, Damien Hirschfeld, Robert Univ Potsdam Software Architecture Grp Hasso Plattner Inst Potsdam Germany

Programmers make many changes to the program to eventually find a good solution for a given task. In this course of change, every intermediate development state can of value, when, for example, a promising ideas suddenly turn out inappropriate or the interplay of objects turns out more complex than initially expected before making changes. Programmers would benefit from tool support that provides immediate access to source code and run-time of previous development states of interest. We present IDE extensions, implemented for Squeak/Smalltalk, to preserve, retrieve, and work with this information. With such tool support, programmers can work without worries because they can rely on tools that help them with whatever their explorations will reveal. they no longer have to follow certain best practices only to avoid undesired consequences of changing code.

关键词： Design Experimentation Human Factors Continuous Testing Continuous Versioning Debugging Evolution Explore-first programming Fault Localization Prototyping

来源：评论

学校读者我要写书评

暂无评论

Modeling, validating and automating composition of web services 06

Modeling, validating and automating composition of web servi...

引用

ICWE'06: 6th international conference on Web engineering

作者： Fu, Yujian Dong, Zhijiang He, Xudong Florida International University Miami FL 33199

ISBN: (纸本)1595933522

Current service architecture description language and composition approaches consider simplistic method invocation. they pay less attention to the formal semantics and verification of service composition in the design, and less support property specifications and architecture validation. this paper presents an executable web service architecture model, Service-Oriented Software Architecture Model (SO-SAM), which is an extension of SAM (Software Architecture Model [16]) to the web service applications, and verification of web system properties in the design. SO-SAM describes each web service in terms of component and service composition in terms of connector separately. Furthermore, we validate SO-SAM model to prove that it facilitates the verification and monitoring of web services integration through translation to the Maude programming langauge, a high level language and high performance executable specification with the componentized and object-oriented design, as well as using model checking technique in the system design level. Finally, a case study of the validation of the model is demonstrated.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

4th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems, DAIS 2003 held as a joint event in federation with 6th IFIP WG 6.1 international conference on Formal Methods for Open Object-based Distributed Systems, FMOODS 2003

4th IFIP WG 6.1 International Conference on Distributed Appl...

引用

4th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems, DAIS 2003 held as a joint event in federation with 6th IFIP WG 6.1 international conference on Formal Methods for Open Object-based Distributed Systems, FMOODS 2003

ISBN: (纸本)3540205292

the proceedings contain 27 papers. the special focus in this conference is on Distributed applications and interoperable systems. the topics include: Towards a framework for self-adaptive component-based applications;a scheme for the introduction of 3rd party, application-specific adaptation features in mobile service provision;towards a composition framework for non-orthogonal non-functional properties;meta-programming middleware for distributed object computing;middleware support for resource-constrained software deployment;rational server selection for mobile agents;facilitating the portability of user applications in grid environments;negotiation as a generic component coordination primitive;a flexible framework for making components transactional;a security architectural approach for risk assessment using multi-agent systems engineering;middleware support for non-repudiable transactional information sharing between enterprises;adaptable access control policies for medical information systems;a flexible mechanism for optimized component attribute caching;a variable cache consistency protocol for mobile systems using time locks;building applications which make progress in an inconsistent world;hand-over video cache policy for mobile users;planning for network-aware paths;integrating the unreliable multicast Inter-ORB protocol in mjaco;a system of relay and translation gateways for communication among heterogeneous agents in ad hoc wireless environments;scalable location management for context-aware systems and a context ontology language to enable contextual interoperability.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Design and Implementation of Graphical User Interface for Interface Board component Testing 6

Design and Implementation of Graphical User Interface for In...

引用

6th IEEE international conference on Recent Advances and Innovations in engineering, ICRAIE 2021

作者： Mutalib, Nurliyana Abd Hashim, Norlezah Mohamood, Nadzrie Bin Mispan, Mohd Syafiq Abd Gani, Shamsul Fakhar Ruslan, Eliyana Hadi, Dayanasari Abdul Fatt, Lai Len Zahari, Madiha Basar, Mohd Farriz Seang, Wang Choon Kyan, Hau Yong Noordin, Aminurrashid Bin Universiti Teknikal Malaysia Melaka Fakulti Teknologi Kejuruteraan Elektrik Dan Elektronik Melaka Malaysia Testhub Sdn Bhd Engineering Department Melaka Malaysia

ISBN: (纸本)9781665434027

An interface board, load board, or design under test (D UT) board is a circuit board designed to serve as an interface between the automatic test equipment (ATE) and the DUT. the interface board consists of several electronic components to set up the DUT for testing. It is very crucial that all the electronic components on the interface board operate and function according to the specification to ensure the correct testing operation is performed by the ATE. therefore, in this study, we develop a graphical user interface (GUI) software to automate the test program generation of testing the resistor components on the interface board via analog pin unit (APU). the GUI has been developed by using Visual Basic programming language. the test engineer can select the resistor to be tested based on its identification. Subsequently, the test program is generated which contains forced current or voltage values to measure the resistance. the generated test program can be passed to the ATE and the test can be performed via APU to identify the malfunction resistor on the interface board. Ultimately, the automation of test program generation increases the efficiency of testing components on the interface board. © 2021 IEEE.

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

Web Based Brain Tumor Detection using Neural Network 6

Web Based Brain Tumor Detection using Neural Network

引用

6th IEEE international conference on Computing, Communication and Automation, ICCCA 2021

作者： Mridha, Krishna Pandey, Aashish Prashad Ranpariya, Akshay Ghosh, Ankush Shaw, Rabindra Nath Marwadi University Computer Engineering Gujarat Rajkot India The Neotia University School of Engineering and Applied Sciences West Bengal India Galgotias University Electrical Electronics Communication Engg. Greater Noida India

ISBN: (纸本)9781665414739

the brain tumor is a major human life concern. One of the main causes of mortality in individuals is brain tumors in recent years. It is tough to manually detect the tumor. Doctors may being confused to detect the tumor since they have been utilized to do image operations in computer programming. It is very crucial to discover the brain tumor early on with its precise diagnosis. the interior architecture of the brain and the diagnosis, monitoring, and treatment of an illness is an essential component of medical research. In medical practice, X-ray is used to diagnose the body's human component via several types of imaging technologies, such as CT-scan and MRI. MRI is utilized in brain diagnosis or tumor location, tissue volume measurement, tumor size estimation. Because of the tumor variety the detection of the tumor is exceedingly challenging. For the identification and classification of brain tumors, several image processing and neural network algorithms are utilized. In this article, we will present comparisons of several approaches with brain tumor diagnosis. Our study identifies signs of Brain tumor by utilizing the Deep Neural Network (DNN) method based on these symptoms at the very first stage. the hybrid CNN model was utilized to identify brain tumor illness and was demonstrated to outperform it in comparison with standard styles such as InceptionV3, RestNet50, etc. We have built a web-based AI tool to identify Brain tumors using this model. © 2021 IEEE.

关键词： Computerized tomography

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共30页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：