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

12th IEEE International Conference on Information Reuse and Integration (IRI)/1st International Workshop on Issues and Challenges in Social Computing (WICSOC)

作者： George, Nixon Sunny Zhang, Cui Radimsky, Anne-Louise Calif State Univ Sacramento Dept Comp Sci Sacramento CA 95819 USA

ISBN: (纸本)9781457709661

FOZCIL (Framework for Object Z Conversion to Implementation Language) captures and implements language-independent features as the fixed part of a framework, and language-dependent properties as the extensible part of a framework. Once the framework has accepted the language-dependent features of a target OO language, it generates a FOZCIL tool instance. the tool instance is capable of accepting Object-Z specifications and of converting those specifications to skeletal code with dynamically-checkable design contracts written in that target language. this provides a significant improvement over existing tools that are custom built to provide automatic conversion from Object-Z only to a specific implementation language. FOZCIL streamlines the process of developing both the reusual languageindependent portions and the language dependent portions of such tools.

关键词： software quality Design by Contract Automatic conversion software framework

来源：评论

学校读者我要写书评

暂无评论

Inherited SAP development concepts using genuine IT programming tools

Inherited SAP development concepts using genuine IT programm...

引用

12th IEEE International symposium on Computational Intelligence and Informatics, CINTI 2011

作者： Orosz, István Balázs, Túri Orosz, Tamás Óbudai Egyetem Budapest Hungary Budapest University of Economic Sciences and Public Administration Hungary Óbudai Egyetem/AREK Székesfehérvár Hungary

ISBN: (纸本)9781457700453

Program development concepts are highly dependent on software architecture, complexity of algorithm, re-usability purposes, efficiency, efficacy, etc. the evolution of SAP development concepts reflects the changes through important milestones, such as mainframe, client-server and service-oriented architecture. those issues can easily be resolved by making new programs which were impossible to handle the requirements due to the memory resources, or the speed of the computer either at client or servers side. Procedural and object-oriented SAP programs use vastly different approaches. there is a lack, however, to build an architecture-independent set of SAP development concepts that can be re-used in any SAP versions and architecture. this paper introduces a new approach to build an SAP Development Repository, in which re-usable concepts are collected applied in different architectures and versions. © 2011 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Verifying Compiled File System Code

引用

12th Brazilian symposium on Formal Methods

作者： Muhlberg, Jan Tobias Luttgen, Gerald Univ Bamberg Software Engn & Programming Languages Res Grp D-96052 Bamberg Germany

ISBN: (纸本)9783642104510

Tins paper presents a case study on retrospective verification of the Linux Virtual File System (VFS), winch is aimed at checking for violations of API usage rules and memory properties Since VFS maintains dynamic data. structures and is written in a mixture of C and mimed assembly, modem software model checkers cannot be applied Our case study centres around our novel verification tool, the SOCA Verifier: winch symbolically executes and analyses compiled code We describe how tins verifier deals with complex program features such as memory access, pointer aliasing and computed jumps, while reducing manual modelling to the bate minimum Our results show that the SOCA Verifier is capable of reliably analysing complex operating system components such as the Lit nix VFS, thereby going beyond traditional testing tools and into inches that current software model checkers do not reach

关键词： File organization

来源：评论

学校读者我要写书评

暂无评论

Implementing artificial intelligence: a generic approach with software support

引用

PROCEEDINGS OF thE ESTONIAN ACADEMY OF SCIENCES 2013年第1期62卷 27-38页

作者： Heinimaki, Teemu J. Vanhatupa, Juha-Matti Tampere Univ Technol Dept Math FI-33101 Tampere Finland Tampere Univ Technol Dept Pervas Comp FI-33101 Tampere Finland

In computer games, one of the eminent trends is to create large virtual worlds with numerous non-player characters. Usually their artificial intelligence (AI) is implemented by scripting, which can be a burden for the application developers involved. this paper suggests an approach facilitating designing AI functionalities and striving to reduce, via software tool support, the amount of hand-written AI script code needed. Our approach is suitable for, e. g., creating autonomous agents with personal characteristics, capable of behaving in a natural manner. For instance, the goal-oriented agent paradigm can be applied easily with the approach. the definitions needed are written using a script language. therefore, the agent configurations can be tested rapidly. We have extended an existing AI environment and created a script framework for implementing general-purpose AIs. Moreover, we have implemented software tools capable of generating script code for helping in the AI structure design and for simplifying the actual code-writing task. For demonstrating the applicability of our approach, three example scenarios specialized from the framework are presented.

关键词： artificial intelligence autonomous agents finite state machines software tools

来源：评论

学校读者我要写书评

暂无评论

A declarative approach for global network security configuration verification and evaluation

A declarative approach for global network security configura...

引用

IFIP/IEEE International symposium on Integrated Network Management

作者： Rahman, Mohammad Ashiqur Al-Shaer, Ehab Department of Software and Information Systems University of North Carolina at Charlotte Charlotte NC United States

ISBN: (纸本)9781424492213

With the increasing number of security devices and rules in the network, the complexity of detecting and tracing network security configuration errors become a very challenging task. this in turn increases the potential of security breaches due to rule conflicts, requirement violations or lack of security hardening. Most of the existing tools are either limited in scope as they do not offer a global analysis of different network devices or hard to comprehensively use because these tools are not declarative. Declarative logic programming can readily express network configurations and security requirements for verification analysis. In this paper, we use Prolog to model the entire network security configurations including topology, routing, firewall and IPSec. this is implemented in a tool called ConfigAnalyzer, which was also evaluated with large network and policy sizes. the tool allows for verifying reachability and security properties in flexible and expressive manner. It also allows for evaluating security configurations in terms of accessibilities credentials and rules. © 2011 IEEE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Optimizing backbone filtering

引用

SCIENCE OF COMPUTER programming 2020年第0期187卷 102374-000页

作者： Zhang, Yueling Zhang, Min Pu, Geguang East China Normal Univ Dept Software Engn Shanghai 200062 Peoples R China Shanghai Key Lab Trustworthy Comp Shanghai 200062 Peoples R China Natl Trusted Embedded Software Engn Technol Res C Shanghai 200062 Peoples R China

In propositional formulas, literals are assigned to True or False in each assignment. Backbone literals are always assigned to True in every satisfiable assignment (model) of the given formula. Backbone literals are keys to improve the performance of SAT testing and SAT-based applications, such as model checking and program analysis. In this paper, we propose an optimized approach that combines COV, WHIT and 2LEN strategies to improve backbone computing. We have implemented it in EDUCIBone. COV and 2LEN are used for finding backbone literals, WHIT is used for finding non -backbone literals. COV uses the fact that for a backbone literal 1, there must exist at least one clause 0 in every model v of the given formula 4) such that for every other literal I' in 0, the assignment of I' is False in v. WHIT is based on the fact that for a literal I, and a model v of the given formula D, if for every clause. Phi that has I, there always exists another 1' also in di such that the assignment of l' is True, then Phi is a non-backbone literal. For a literal I, the naive way to decide if 1 is a backbone literal is to check the satisfiability of I A 1 and I A Phi). 2LEN finds a set of unique free literals F1 for 1, such that the satisfiability of I A 4) and A l' A Phi are the same. Experiments show that checking the satisfiability of refi A I' A' is faster than checking the satisfiability of I A 4) when the backbone computing time of the given formula is less than 3000 seconds. We deactivate 2LEN strategy when the formula has been computed for more than 3000 seconds. We evaluate the performance of EDUCIBone on formulas from industrial tracks in SAT Competitions from 2011 to 2017. Performance comparisons are conducted among EDUCIBone, DUCIBone and minibones-cb100. Results show that EDUCIBone solves the most formulas. For the formulas that are commonly solved by the three tools, EDUCIBone is the fastest in computing backbone literals from the formulas. We also analyze the efficiency

关键词： Satisnability Backbone computing Algorithms

来源：评论

学校读者我要写书评

暂无评论

Top Productivity through software Reuse 1

引用

丛书名： Lecture Notes in Computer Science 6727

2011年

作者： Klaus Schmid

ISBN: (数字)9783642213472

ISBN: (纸本)3642213464

this book constitutes the refereed proceedings of the 12th International Conference on software Reuse, ICSR 2011, held in Pohang, South Korea, in June 2011. the 16 revised full papers were carefully reviewed and selected from 43 submissions. they are presented together with one keynote, three workshop papers, a doctoral symposium report and two tutorials. Topics of interest are domain analysis and modeling; asset search and retrieval; architecture-centric approaches to reuse; component-based reuse; COTS-based development; generator-based techniques; domain-specific languages; testing in the context of software reuse; aspect-oriented techniques; model-driven development; reuse of non-code artifacts; reengineering for reuse; software product line techniques; quality-aspects of reuse; economic models of reuse; benefit and risk analysis, scoping; legal and managerial aspects of reuse; transition to software reuse; industrial experience with reuse; light-weight approaches; software evolution and reuse.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Tool support for production use of formal techniques

Tool support for production use of formal techniques

引用

International symposium on software Reliability Engineering (ISSRE)

作者： J.C. Knight K.S. Hanks S.R. Travis Department of Computer Science University of Virginia Charlottesville VA USA

ISBN: (纸本)0769513069

the relatively scant use of formal techniques in software development is the result, in part, of a lack of suitable support tools. Many tools have been developed that provide novel analysis capabilities but lack basic yet commonplace facilities which are essential in production software development. More importantly, many existing tools for the development of formal specifications fail to provide mechanisms for the manipulation of natural language despite the fact that natural language is essential to give meaning to the terms in the formal specification. In this paper, we describe a toolset that has been developed with the specific intent of providing comprehensive facilities for creating formal specifications in production software development. the toolset supports a powerful formal notation, Z but also provides comprehensive and fully integrated support for natural language. As well as describing the toolset we present a preliminary evaluation of its use on a commercial specification.

关键词： Production Formal specifications Natural languages programming Industrial training Computer science Application software Computer industry Personnel software packages

来源：评论

学校读者我要写书评

暂无评论

Inherited SAP development concepts using genuine IT programming tools

Inherited SAP development concepts using genuine IT programm...

引用

International symposium on Computational Intelligence and Informatics

作者： István Orosz Túri Balázs Tamás Orosz Óbudai Egyetem Budapest Hungary Budapest University of Economic Sciences and Public Administration Hungary Óbudai Egyetem/AREK Szekesfehervar Hungary

关键词： Business User interfaces Object oriented programming Unified modeling language Databases Data models

来源：评论

学校读者我要写书评

暂无评论

A declarative approach for global network security configuration verification and evaluation

A declarative approach for global network security configura...

引用

IFIP/IEEE International symposium on Integrated Network Management

作者： Mohammad Ashiqur Rahman Ehab Al-Shaer Department of Software and Information Systems University of North Carolina Charlotte Charlotte NC USA

关键词： Fires Logic gates Routing Authentication Decision support systems Heating

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：