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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

197 篇 会议
64 篇 期刊文献
5 册 图书

馆藏范围

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

日期分布

学科分类号

178 篇 工学
- 149 篇 计算机科学与技术...
- 119 篇 软件工程
- 20 篇 信息与通信工程
- 18 篇 控制科学与工程
- 13 篇 安全科学与工程
- 12 篇 电气工程
- 9 篇 仪器科学与技术
- 9 篇 生物医学工程（可授...
- 8 篇 电子科学与技术（可...
- 8 篇 土木工程
- 7 篇 船舶与海洋工程
- 7 篇 网络空间安全
- 6 篇 机械工程
- 5 篇 建筑学
- 4 篇 化学工程与技术
- 4 篇 交通运输工程
- 4 篇 生物工程
61 篇 理学
- 39 篇 数学
- 10 篇 统计学（可授理学、...
- 9 篇 系统科学
- 7 篇 海洋科学
- 4 篇 化学
- 4 篇 生物学
42 篇 管理学
- 26 篇 管理科学与工程(可...
- 18 篇 图书情报与档案管...
- 7 篇 工商管理
6 篇 法学
- 5 篇 社会学
6 篇 医学
- 5 篇 基础医学(可授医学...
- 5 篇 临床医学
5 篇 教育学
- 5 篇 教育学
1 篇 经济学

主题

26 篇 software enginee...
14 篇 testing
10 篇 application soft...
10 篇 java
10 篇 semantics
10 篇 unified modeling...
9 篇 runtime
9 篇 software
8 篇 model checking
7 篇 monitoring
6 篇 tools
6 篇 programming
6 篇 artificial intel...
5 篇 object oriented ...
5 篇 specifications
5 篇 software testing
5 篇 software design
5 篇 web services
4 篇 computer science
4 篇 software systems

机构

15 篇 institute for so...
14 篇 institute of sof...
13 篇 institute for so...
7 篇 institute of sof...
5 篇 institute for so...
5 篇 department of pr...
5 篇 ulm university i...
3 篇 department of so...
3 篇 department of so...
3 篇 institute of dis...
3 篇 graduate school ...
3 篇 ulm university i...
3 篇 institute for so...
3 篇 chair of program...
3 篇 department of co...
3 篇 université paris...
3 篇 ivannikov instit...
3 篇 department of sy...
3 篇 software enginee...
3 篇 max planck insti...

作者

28 篇 margaria tiziana
27 篇 steffen bernhard
26 篇 leucker martin
24 篇 tichy matthias
13 篇 tiziana margaria
11 篇 bernhard steffen
10 篇 matthias tichy
10 篇 raschke alexande...
9 篇 schaefer ina
8 篇 yevtushenko nina
7 篇 lamprecht anna-l...
7 篇 thoma daniel
7 篇 pietron jakob
7 篇 groner raffaela
6 篇 schmitz malte
6 篇 wolfgang reif
6 篇 naujokat stefan
5 篇 merten maik
5 篇 christian kubcza...
5 篇 sachenbacher mar...

语言

260 篇 英文
4 篇 德文
2 篇 其他

检索条件"机构=Programming and Software Engineering"

共 266 条记录，以下是81-90 订阅

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

详细简洁

排序：

Constraint-guided workflow composition based on the EDAM ontology

Constraint-guided workflow composition based on the EDAM ont...

引用

Workshop on Semantic Web Applications and Tools for Life Sciences 2010, SWAT4LS 2010

作者： Lamprecht, Anna-Lena Naujokat, Stefan Steffen, Bernhard Margaria, Tiziana Department of Programming Systems Technical University Dortmund Dortmund D-44227 Germany Department of Service and Software Engineering University Potsdam Potsdam D-14482 Germany

Methods for the automatic composition of services into executable workflows need detailed knowledge about the application domain, in particular about the available services and their behavior in terms of input/output data descriptions. In this paper we discuss how the EMBRACE data and methods ontology (EDAM) can be used as background knowledge for the composition of bioinformatics workflows. We show by means of a small example domain that the EDAM knowledge facilitates finding possible workflows, but that additional knowledge is required to guide the search towards actually adequate solutions. We illustrate how the ability to flexibly formulate domain-specific and problem-specific constraints supports the workflow development process.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Automated learning setups in automata learning

Automated learning setups in automata learning

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Merten, Maik Isberner, Malte Howar, Falk Steffen, Bernhard Margaria, Tiziana Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany University Potsdam Department of Service and Software Engineering Potsdam D-14482 Germany

ISBN: (纸本)9783642340253

Test drivers are an essential part of any practical active automata learning setup. These components to accomplish the translation of abstract learning queries into concrete system invocations while managing runtime data values in the process. In current practice test drivers typically are created manually for every single system to be learned. This, however, can be a very time-consuming and thus expensive task, making it desirable to find general solutions that can be reused. This paper discusses how test drivers can be created for LearnLib, a flexible automata learning framework. Starting with the construction of application-specific test drivers by hand, we will discuss how a generic test driver can be employed by means of configuration. This configuration is created manually or (semi-)automatically by analysis of the target system's interface. © 2012 Springer-Verlag.

关键词： Automata theory

来源：评论

学校读者我要写书评

暂无评论

Deriving Distinguishing Sequences for Input/Output Automata

Deriving Distinguishing Sequences for Input/Output Automata

引用

East-West Design & Test Symposium (EWDTS)

作者： Nina Yevtushenko Igor Burdonov Alexandr Kossachev Software Engineering department Ivannikov Institute for System Programming of RAS Moscow Russia Software engineering deparment Ivannikov Institute for System Programming Moscow Russia

ISBN: (数字)9781728198996

ISBN: (纸本)9781728199009

Input/Output (I/O) automata are widely used when deriving high quality tests for (components of) complex discrete systems based on so called distinguishing sequences. For I/O automata, the number of distinguishability relations is much bigger than for classical deterministic Finite State Machines (FSM). In order to avoid submitting the same test sequence several number of times, i.e., avoid the "all weather conditions" assumption, the separability relation can be considered. If two Input/Output automata are separable then there exists an input sequence such that after submitting this sequence and observing produced outputs it can be uniquely concluded which automaton is under testing. In this paper, we modify the discipline of applying input sequences and discuss the derivation of separating sequences for automata with mixed states, i.e., states where transitions both under inputs and under outputs are defined, as well as with cycles labeled by outputs. We also illustrate how an adaptive separating sequence can be derived when both automata are input-enabled.

关键词： Automata Testing software engineering programming Transforms Meteorology Adaptive systems

来源：评论

学校读者我要写书评

暂无评论

Synchronous composition of quasi-complete and quasi-deterministic FSMs

Synchronous composition of quasi-complete and quasi-determin...

引用

International Conference on Actual Problems of Systems and software engineering

作者： Igor Burdonov Alexandr Kossachev Nina Yevtushenko Tiziano Villa Software Engineering department Ivannikov Institute for System Programming of RAS Software engineering deparment Ivannikov Institute for System Programming Computer Science Department University of Verona

ISBN: (纸本)9781728160627

In this paper, we consider the synchronous composition of Finite State Machines (FSMs) that corresponds to instantaneous communication of hardware components. Such FSMs can be deterministic or nondeterministic, partial or complete. We first extend the existing synchronous composition operator from a pair of components to a collection of components with multiple input and output ports, and provide a procedure to compute the composition working directly on the collection of transition tables of the component FSMs. Then, based on the notion of input-output Moore pair (the output is not sensitive to the input), we prove the following sufficient condition: if the composition has the property that every cycle of ports has a component with a Moore pair, then the class of quasi-complete and quasi-deterministic FSMs is closed under the proposed synchronous composition.

关键词： Finite state machine (FSM) Quasi-deterministic FSM Quasi-complete FSM Moore pair Synchronous composition Pairing multi-input output ports harbors finite state machines deterministic

来源：评论

学校读者我要写书评

暂无评论

Morpheus: A degradation framework for resilient IoT systems 9

Morpheus: A degradation framework for resilient IoT systems

引用

STAF 2021 Workshop: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven engineering, International Workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta) Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling, STAF-WS 2021

作者： Heß, Alexander Hauck, Franz J. Mödinger, David Pietron, Jakob Tichy, Matthias Domaschka, Jörg Institute of Distributed Systems Ulm University Germany Institute of Software Engineering and Programming Languages Ulm University Germany Institute of Information Resource Management Ulm University Germany

Graceful degradation is an established concept to improve the resilience of systems, especially when other resilience mechanisms have failed. Its implementation is often heavily tied to the application code and, thus, cumbersome and error prone. As IoT systems get not only ubiquitous but also critical, reliable graceful degradation would be ideal. In this paper, we present the Morpheus framework that provides a TypeScript-internal DSL to enable a systematic development of degradable IoT systems. The design of the framework is based on the concept of separation of concerns by providing distinct yet linked languages to specify hierarchical components and their connections;the components’ operating modes and transfer functions between them;as well as state machines for the specification of the components’ behaviour in each operating mode. The operating modes for each component serve as degradation levels. Automatic degradation of a component is triggered in case of failures of connected components. With recovery from underlying failures, the component is automatically upgraded back to a higher level. We illustrate our framework using a simplified prototype of an entrance barrier of a parking garage. © 2021 Copyright (c) 2021 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0)

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Model-Driven Code Generation for Secure Smart Card Applications

Model-Driven Code Generation for Secure Smart Card Applicati...

引用

Australian Conference on software engineering

作者： Nina Moebius Kurt Stenzel Holger Grandy Wolfgang Reif Department of Software Engineering and Programming Languages University of Augsburg Germany

ISBN: (纸本)9781424437689

SecureMDD is a model-driven approach to develop secure systems with a special focus on smart card applications. Based on a platform-independent UML model of the system under development we generate a platform-specific model, and finally executable code. The Secure MDD approach also allows to generate a formal specification where security properties can be proven formally. In this paper we describe the automatic generation of Java Card code from UML class and activity diagrams in detail. The full code running on the smart card is generated which is not trivial because of the limitations of smart cards and the specialties of Java Card.

关键词： Smart cards Application software Security Java software engineering Unified modeling language Formal specifications Service oriented architecture Protocols Computer languages

来源：评论

学校读者我要写书评

暂无评论

An empirical analysis of the utilization of multiple programming languages in open source projects 15

An empirical analysis of the utilization of multiple program...

引用

19th International Conference on Evaluation and Assessment in software engineering, EASE 2015

作者： Mayer, Philip Bauer, Alexander Programming and Software Engineering Group Ludwig-Maximilians-Universität München Germany Statistical Consulting Unit Ludwig-Maximilians-Universität München Germany

ISBN: (纸本)9781450333504

Background: Anecdotal evidence suggests that software applications are usually implemented using a combination of (programming) languages. Aim: We want to provide empirical evidence on the phenomenon of multi-language programming. Methods: We use data mining of 1150 open source projects selected for diversity from a public repository to a) investigate the projects for number and type of languages found and the relative sizes of the languages;b) report on associations between the number of languages found and the size, age, number of contributors, and number of commits of a project using a (Quasi-)Poisson regression model, and c) discuss concrete associations between the generalpurpose languages and domain-specific languages found using frequent item set mining. Results: We found a) a mean number of 5 languages per project with a clearly dominant main general-purpose language and 5 often-used DSL types, b) a significant influence of the size, number of commits, and the main language on the number of languages as well as no significant influence of age and number of contributors, and c) three language ecosystems grouped around XML, Shell/Make, and HTML/CSS. Conclusions: Multilanguage programming seems to be common in open-source projects and is a factor which must be dealt with in tooling and when assessing development and maintenance of such software systems. Copyright 2015 ACM.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

Integrated smart home services and smart wearable technology for the disabled and elderly 4

Integrated smart home services and smart wearable technology...

引用

4th International Conference on Data Management Technologies and Applications, DATA 2015

作者： Tuna, Ayse Das, Resul Tuna, Gurkan School of Foreign Languages Trakya University Edirne Turkey Department of Software Engineering Firat University Elazig Turkey Department of Computer Programming Trakya University Edirne Turkey

ISBN: (纸本)9789897581038

Smart Home is indeed a broad concept which includes the techniques and systems applied to living spaces. While its main goal is to reduce the consumption of energy, it provides many benefits including living in comfort, security and increasing flexibility. Smart homes are achieved through networking, control and automation technologies. Since smart homes offer more comfort and security and provide novel innovative services, people with disabilities or the elderly can take the advantages and improve their life quality. However, for such novel services, an analytical infrastructure which can manage overall data flow provided by various sensors, understand anomalous behaviour, and make necessary decisions. In this study, for efficient data handling and visualisation, an integrated smart service approach based on the use of a smart vest is proposed. The smart vest plays a key role in the proposed system since it provides the main health parameters of the monitored person to the smart home service and enables tracking of the monitored person's location. The proposed system offers many benefits to both people with disabilities and the elderly and their families in terms of increased efficiency of health care service and comfort for the monitored person. It can also reduce the cost of health care services by reducing the number of periodical visits.

关键词： Wearable technology

来源：评论

学校读者我要写书评

暂无评论

SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications

SecureMDD: A Model-Driven Development Method for Secure Smar...

引用

International Conference on Availability, Reliability and Security, ARES

作者： Nina Moebius Kurt Stenzel Holger Grandy Wolfgang Reif Department of Software Engineering and Programming Languages University of Augsburg Germany

In this paper we introduce our model-driven software engineering method, called SecureMDD, which facilitates the development of security-critical applications that are based on cryptographic protocols. The approach seamlessly integrates the generation of code and formal methods. Starting with a platform-independent UML model of a system under development, we generate executable Java (Card) code as well as a formal model from the UML model. Subsequent to this, the formal model is used to verify the security of the modeled system. Our goal is to prove that the generated code is correct w.r.t. the generated formal model in terms of formal refinement. The approach is tailored to the domain of security-critical systems, e.g. smart card applications.

关键词： Smart cards Unified modeling language Security Java Application software software engineering Cryptographic protocols Availability Computer languages Electronic mail

来源：评论

学校读者我要写书评

暂无评论

A Model-Based Approach for Monitoring and Diagnosing Digital Twin Discrepancies 35

A Model-Based Approach for Monitoring and Diagnosing Digital...

引用

35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024

作者： Hosseinkhani, Elaheh Leucker, Martin Sachenbacher, Martin Streichhahn, Hendrik Vosteen, Lars B. Institute for Software Engineering and Programming Languages Universität zu Lübeck Germany Dräger Safety AG & Co. KGaA. Lübeck Germany

ISBN: (纸本)9783959773560

Recent decades have seen the increasing use of Digital Twins (DTs) - that is, digital models used over the lifetime of a physical product or system for tasks such as predictive maintenance or optimization - in a number of domains such as buildings, manufacturing, or design. DTs face a challenge known as the DT synchronization problem;a DT, often based on machine-learned, or complex simulation models, needs to adequately mirror the physical product or system at all times, as any deviations might affect the quality of predictions or control actions. In this paper, we present a model-based approach that aims to add a level of awareness to DT models by supervising if they are in sync with the physical counterpart. The approach is agnostic to the type of models used in the DT, as long as they are compositional, and based on monitoring critical properties (behavioral or functional aspects) of the system at run-time. In the case violations are detected, it reasons on the DT's structure to localize and identify parts of the model that cause deviations and need to be adapted. We give a formal description and an implementation of this approach, and illustrate it with an example from building climatisation. © Elaheh Hosseinkhani, Martin Leucker, Martin Sachenbacher, Hendrik Streichhahn, and Lars B. Vosteen.

关键词： Predictive maintenance

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共27页 << < 5 6 7 8 9 10 11 12 13 14 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：