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

标准类型：国际标准

标准号: ISO/IEC TS 18822-2015

ISO/IEC TS 18822:2015 specifies requirements for implementations of an interface that computer programs written in the C++ programming language may use to perform operations on file systems and their components, such as paths, regular files, and directories. This Technical Specification is applicable to information technology systems that can access hierarchical file systems, such as those with operating systems that conform to the POSIX (3) interface. This Technical Specification is applicable only to vendors who wish to provide the interface it describes.

关键词： C (programming language) Computer technology Directories Files Implementation Information technology Interfaces Portable operating system interfaces POSIX programming languages Lists Interfaces of electrical connections Mechanical interfaces Registers Dictionaries Interfaces (data processing)

来源：评论

学校读者我要写书评

暂无评论

Bisimulations and logical characterizations on continuous-time markov decision processes

引用

15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014

作者： Song, Lei Zhang, Lijun Godskesen, Jens Chr. Max-Planck-Institut für Informatik Saarland University Saarbrücken Germany State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China Programming Logic and Semantics Group IT University of Copenhagen Denmark

ISBN: (纸本)9783642540127

In this paper we study strong and weak bisimulation equivalences for continuous-time Markov decision processes (CTMDPs) and the logical characterizations of these relations with respect to the continuous-time stochastic logic (CSL). For strong bisimulation, it is well known that it is strictly finer than the CSL equivalence. In this paper we propose strong and weak bisimulations for CTMDPs and show that for a subclass of CTMDPs, strong and weak bisimulations are both sound and complete with respect to the equivalences induced by CSL and the sub-logic of CSL without next operator respectively. We then consider a standard extension of CSL, and show that it and its sub-logic without X can be fully characterized by strong and weak bisimulations respectively over arbitrary CTMDPs. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

Multi-Objective Test Suite Optimization for Incremental Product Family Testing

Multi-Objective Test Suite Optimization for Incremental Prod...

引用

7th IEEE International Conference on software Testing, Verification and Validation (ICST)

作者： Baller, Hauke Lity, Sascha Lochau, Malte Schaefer, Ina Tech Univ Carolo Wilhelmina Braunschweig Inst Programming & React Syst D-38106 Braunschweig Germany Tech Univ Darmstadt Time Syst Lab Darmstadt Germany Tech Univ Carolo Wilhelmina Braunschweig Inst Software Engn & Automot Informat D-38106 Braunschweig Germany

ISBN: (纸本)9780769551852

The design of an adequate test suite is usually guided by identifying test requirements which should be satisfied by the selected set of test cases. To reduce testing costs, test suite minimization heuristics aim at eliminating redundancy from existing test suites. However, recent test suite minimization approaches lack (1) to handle test suites commonly derived for families of similar software variants under test, and (2) to incorporate fine-grained information concerning cost/profit goals for test case selection. In this paper, we propose a formal framework to optimize test suites designed for sets of software variants under test w.r.t. multiple conflicting cost/profit objectives. The problem representation is independent of the concrete testing methodology. We apply integer linear programming (ILP) to approximate optimal solutions. We further develop an efficient incremental heuristic for deriving a sequence of representative software variants to be tested for approaching optimal profits under reduced costs. We evaluated the algorithm by comparing its outcome to the optimal solution.

关键词： Testing Strategies Test Coverage of Specifications Constrained Optimization Linear programming

来源：评论

学校读者我要写书评

暂无评论

Innovating in the Engineering Processes: Engineering as a Means of Innovation

引用

IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA 2014年第4期9卷 131-132页

作者： Garcia-Penalvo, Francisco-Jose Sarasa Cabezuelo, Antonio Sierra Rodriguez, Jose Luis Univ Salamanca Res Inst Educ Sci Res Grp Interact & eLearning E-37008 Salamanca Spain Univ Complutense Madrid Dept Comp Syst & Programming Sch Comp Sci E-28040 Madrid Spain Univ Complutense Madrid Dept Software Engn & Artificial Intelligence Sch Comp Sci E-28040 Madrid Spain

Innovation and engineering are very close concepts. Innovation is one of the key competences of the engineers in the way they use their own creativity and knowledge base to face the problems they have to resolve for humanity's improvement and social evolution. In this special section, we have selected four papers from three research events (CINAIC 2013, TEEM 2013, and ISELEAR 2013) that empower the innovation and research cycles in engineering from different perspectives.

关键词： Engineering innovation robotics quality assessment optical mark recognition TEEM CINAIC ISELEAR

来源：评论

学校读者我要写书评

暂无评论

Multi-Objective Test Suite Optimization for Incremental Product Family Testing

Multi-Objective Test Suite Optimization for Incremental Prod...

引用

IEEE International Conference on software Testing, Verification and Validation

作者： Hauke Baller Sascha Lity Malte Lochau Ina Schaefer TU Braunschweig Institute for Programming and Reactive Systems TU Darmstadt Real Time Systems Lab TU Braunschweig Institute of Software Engineering and Automotive Informatics

ISBN: (纸本)9781479922567

关键词： Testing Strategies Test Coverage of Specifications Constrained Optimization Linear programming

来源：评论

学校读者我要写书评

暂无评论

Patterns of Cross-Language Linking in Java Frameworks

Patterns of Cross-Language Linking in Java Frameworks

引用

IEEE 21st International Conference on Program Comprehension (ICPC)

作者： Mayer, Philip Schroeder, Andreas Univ Munich Chair Programming & Software Engn Munich Germany

ISBN: (纸本)9781467330923

The term Cross-Language Linking refers to the ability to specify, locate, navigate, and keep intact the connections between artifacts defined in different programming languages used for building one software application. Although understanding cross-language links and keeping them intact during development and maintenance activities is an important productivity issue, there has been little research on understanding the characteristics of such connections. We have thus built a theory from case studies, specifically, three theory-selected Java cross-language frameworks, each of which links artifacts written in the Java programming language to artifacts written in a declarative, framework-specific domain specific language. Our main contribution is to identify, from these experiences, common patterns of cross-language linking in the domain of Java frameworks with DSLs, which besides their informative nature can also be seen as requirements for designing and building a linking language and tooling infrastructure.

关键词： Cross-Ianguage artifact linking semantic models language design patterns case study

来源：评论

学校读者我要写书评

暂无评论

Runtime Verification of Web Services for Interconnected Medical Devices

Runtime Verification of Web Services for Interconnected Medi...

引用

International Symposium on software Reliability Engineering (ISSRE)

作者： Normann Decker Franziska Kühn Daniel Thoma Institute for Software Engineering and Programming Lanugages University of Lübeck Germany Graduate School for Computing in Medicine and Life Sciences Institute of Telematics University of Lubeck Germany

This paper presents a framework to ensure the correctness of service-oriented architectures based on runtime verification techniques. Traditionally, the reliability of safety critical systems is ensured by testing the complete system including all subsystems. When those systems are designed as service-oriented architectures, and independently developed subsystems are composed to new systems at runtime, this approach is no longer viable. Instead, the presented framework uses runtime monitors synthesised from high-level specifications to ensure safety constraints. The framework has been designed for the interconnection of medical devices in the operating room. As a case study, the framework is applied to the interconnection of an ultrasound dissector and a microscope. Benchmarks show that the monitoring overhead is negligible in this setting.

关键词： Monitoring Runtime Biomedical monitoring Semantics Safety Service-oriented architecture

来源：评论

学校读者我要写书评

暂无评论

Dynamic verification of hybrid systems

Dynamic verification of hybrid systems

引用

Conference on Tools and Methods of Program Analysis (TMPA)

作者： Pakulin, Nikolay RAS Inst Syst Programming Dept Software Engineeing Moscow Russia

ISBN: (纸本)9780986077319

In the recent decade we face aggressive replacement of analog control loops with digital ones. Even for critical systems there are ongoing projects for digital control: "Smart Grids" in power industry, "Integrated Modular Avionics" in aerospace, "Smart Fabrics" in manufacturing, etc. Introduction of large scale digital control channels raises the risks of faults that might result in heavy losses. Those risks call for new methods of analysis and verification, including modeling hybrid systems and modelbased verification. The paper overviews a number of existing approaches to verification of hybrid systems and introduces architecture of a test bed for dynamic verification of models of hybrid systems.

关键词： hybrid systems Verification new methods test bed critical systems energy industries Power industry Numerical controls verification model

来源：评论

学校读者我要写书评

暂无评论

Graph and model transformation tools for model migration Empirical results from the transformation tool contest

引用

software AND SYSTEMS MODELING 2014年第1期13卷 323-359页

作者： Rose, Louis M. Herrmannsdoerfer, Markus Mazanek, Steffen Van Gorp, Pieter Buchwald, Sebastian Horn, Tassilo Kalnina, Elina Koch, Andreas Lano, Kevin Schaetz, Bernhard Wimmer, Manuel Univ York York YO10 5DD N Yorkshire England Tech Univ Munich Inst Informat D-80290 Munich Germany Eindhoven Univ Technol Sch Ind Engn NL-5600 MB Eindhoven Netherlands Karlsruhe Inst Technol Programming Paradigm Grp D-76021 Karlsruhe Germany Univ Koblenz Landau Inst Software Technol Landau Germany Univ Latvia IMCS Riga Latvia Univ Kassel Software Engn Res Grp D-34125 Kassel Germany Kings Coll London London England Fortiss GmbH Munich Germany Tech Univ Munich D-80290 Munich Germany Vienna Univ Technol Business Informat Grp A-1040 Vienna Austria

We describe the results of the Transformation Tool Contest 2010 workshop, in which nine graph and model transformation tools were compared for specifying model migration. The model migration problem-migration of UML activity diagrams from version 1.4 to version 2.2-is non-trivial and practically relevant. The solutions have been compared with respect to several criteria: correctness, conciseness, understandability, appropriateness, maturity and support for extensions to the core migration task. We describe in detail the comparison method, and discuss the strengths and weaknesses of the solutions with a special focus on the differences between graph and model transformation for model migration. The comparison results demonstrate tool and language features that strongly impact the efficacy of solutions, such as support for retyping of model elements. The results are used to motivate an agenda for future model migration research (including suggestions for areas in which the tools need to be further improved).

关键词： Model transformation Graph transformation Co-evolution

来源：评论

学校读者我要写书评

暂无评论

Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties 1

引用

4th International Conference on Runtime Verification (RV)

作者： Decker, Normann Leucker, Martin Thoma, Daniel Med Univ Lubeck Inst Software Engn & Programming Languages Lubeck Germany

ISBN: (数字)9783642407871

ISBN: (纸本)9783642407871;9783642407864

We study monitoring of visibly context-free properties. These properties reflect the common concept of nesting which arises naturally in software systems. They can be expressed e. g. in the temporal logic CaRet which extends LTL by means of matching calls and returns. The future fragment of CaRet enables us to give a direct unfolding-based automaton construction, similar to LTL. We provide a four-valued, impartial semantics on finite words which is particularly suitable for monitoring. This allows us to synthesize monitors in terms of deterministic push-down Mealy machines. To go beyond impartiality, we develop a construction for anticipatory monitors from visibly push-down.-automata by utilizing a decision procedure for emptiness.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：