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

5th International Conference on Evaluation of Novel Approaches to Software Engineering

作者： Humm, Bernhard G. Engelschall, Ralf S. Darmstadt Univ Appl Sci Darmstadt Germany CSD Res Capgemini Munich Germany

ISBN: (纸本)9783642233906

Evolutionary prototyping is an incremental software development method in which a proof of concept is, step by step, extended towards the final product. This article pleads for a programming approach termed "incremental code quality enhancement" when developing software incrementally. However, current programming languages are not well suited for incremental code quality enhancement. They are inflexible regarding their use of language features like typing. access control, contracts. etc. In some languages, the programmer is forced to use them, in others he may not. This article introduces pluggable programming language features, a concept that allows greater flexibility for application programmers without losing control over the use of those features. The approach is demonstrated exemplary by interface specifications for a business information system.

关键词： programming language features Aspects Flexibility Evolutionary prototyping Plug-in

来源：评论

学校读者我要写书评

暂无评论

Toward open-world software: Issues and challenges

引用

COMPUTER 2006年第10期39卷 36-+页

作者： Baresi, Luciano Di Nitto, Ellsabetta Ghezzi, Carlo Politecn Milan I-20133 Milan Italy

The current software development approach assumes that the external world changes slowly and that software can remain stable for long periods. These closed-world assumptions don't hold in ubiquitous and pervasive computing settings, where the world is intrinsically open. The need for software that can continuously evolve in an open world is reaching unprecedented levels, but existing approaches to software development can't cope with these new challenges. The more we move toward dynamic and heterogeneous systems, and the more we stress their self-healing and self-adapting capabilities, the more we need new approaches to develop these applications and new ways to structure and program them.

关键词： Ubiquitous Computing Grid Computing Message Passing Middleware Open Systems Software Engineering Autonomic Framework Open World Software Development Ubiquitous Computing Pervasive Computing Software Change Software Self Organizing Capability Software Self Adapting Capability Dynamic Heterogeneous System Open System programming programming language features Software Introspection Mechanism Software Reflective Mechanism Service Oriented Technology Publish Subscribe Middleware System Grid Infrastructure programming Pervasive Computing Application Software Open Systems Computer languages Runtime Standards Publication Prototypes Middleware Autonomic Computing Software Engineering Open World Software Polymorphism Middleware Systems Web Services Grid Computing

来源：评论

学校读者我要写书评

暂无评论

Software lives too long

引用

IEEE SOFTWARE 1998年第4期15卷 18-+页

作者： Munson, JC Univ Idaho Moscow ID 83843 USA

Old programs represent yesterday's technology. We have has learnedquite a bit about software engineering methodology in the last fewyears. We now know, for example, that requirements traceability iscentral to program maintainability-if we don't know what a program issupposed to do we cannot maintain it. We know that calendar years havefour digits in them, not two. We know that data can best be managed indatabases. We know that many of the utility functions once written intoprograms are best handled by the operating system. And we have newdesign constructs and new programming language features that permit usto design eminently maintainable programs. When the cost of maintainingold buildings becomes excessive, we replace these buildings. We must dothe same with old programs. Programs do not age well-written forhardware systems and operating systems that typically no longer existmany are fraught with undocumented patches and features. Just as we havelearned that it is wise to invest in new hardware and new buildings, wemust learn to recognize the value of replacing drafty and rickety oldsoftware

关键词： software maintenance databases design constructs hardware systems old programs operating systems program maintainability programming language features requirements traceability software engineering methodology utility functions Utility functions Hardware system design-construct Software engineering Buildings Software maintenance Database Operating systems computer software

来源：评论

学校读者我要写书评

暂无评论

RECURSIVE DATA STRUCTURES

引用

INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES 1975年第2期4卷 105-132页

作者： HOARE, CAR QUEENS UNIV BELFAST DEPT COMP SCIBELFAST BT7 1NNNORTH IRELAND

The power and convenience of a programming language may be enhanced for certain applications by permitting treelike data structures to be defined by recursion. This paper suggests a pleasing notation by which such structures can be declared and processed; it gives the axioms which specify their properties, and suggests an efficient implementation method. It shows how a recursive data structure may be used to represent another data type, for example, a set. It then discusses two ways in which significant gains in efficiency can be made by selective updating of structures, and gives the relevant proof rules and hints for implementation. The examples show that a certain range of applications in symbol manipulation can be efficiently programmed without introducing the low-level concept of a reference into a high-level programming language.

关键词： axiomatic proof rules data representation Data structures dynamic storage allocation pointers (abolition of) programming language design programming language features programming language implementation recursive data structures references (abolition of) symbol manipulation

来源：评论

学校读者我要写书评

暂无评论

A Case Study in language-Based Security: Building an I/O Library for Wyvern

A Case Study in Language-Based Security: Building an I/O Lib...

引用

ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on programming and Software (Onward) Part of part of SPLASH Conference

作者： Fish, Jennifer A. Melicher, Darya Aldrich, Jonathan Carnegie Mellon Univ Sch Comp Sci Pittsburgh PA 15213 USA

ISBN: (纸本)9781450381789

As the impact of vulnerabilities increases in practice, it is imperative for programming languages to include security as a first-class design consideration. While a number of security-related language features have been proposed to address this need, in many cases, we do not know enough about whether it is practical and useful to build software systems in languages with these features. In this paper, we begin to investigate this question, using a case study methodology. The setting of our case study is Wyvern, a recently designed language we selected because it incorporates three advanced security-related features: capability safety for enforcing the principle of least privilege, an effect system for tracking the secure use of resources, and a language extension feature that mitigates command injection. In our case study, we built a small standard I/O library, seeking to use the new language features to create a library that is less vulnerable to misuse and can serve as a building block for more secure programs, compared to conventional I/O library designs. Our study suggests that these features are indeed practicable and useful, and thus potentially promising for inclusion in other future language designs. It also sheds light on the value and cost of these features and suggests directions for future research on security-focused language design.

关键词： Security programming language features Libraries Case Study

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：