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

IEEE SOFTWARE 2014年第4期31卷 12-15页

作者： Fairbanks, George Google Mountain View CA 94043 USA

Architectural hoisting is a design technique where the responsibility for enforcing an intentional design constraint is implemented in the code rather than by relying solely on the diligence of the developers. This can help teams to achieve a global system property by avoiding inconsistences and lapses in implementing design rules. [ABSTRACT FROM PUBLISHER]

关键词： architectural hoisting IEEE programming in the large programming in the small software software architecture software engineering

来源：评论

学校读者我要写书评

暂无评论

Architectural Concepts in programming Languages

引用

COMPUTER 2010年第10期43卷 88-91页

作者： Broy, Manfred Reussner, Ralf Tech Univ Munich Fac Informat Tech D-8000 Munich Germany Karlsruhe Inst Technol Karlsruhe Germany

The deterioration of architectural structure and the lack of modularity have resulted in major deficiencies that will require more support from components and their interfaces. programming language concepts also must ... 详细信息

关键词： programming in the large Architectural Concepts In programming Problem Analysis Harvesting Semantics Software Technologies

来源：评论

学校读者我要写书评

暂无评论

An expressive language of signatures 05

An expressive language of signatures

引用

10th ACM SIGPLAN International Conference on Functional programming (ICFP)

作者： Ramsey, N Fisher, K Govereau, P Harvard Univ Div Engn & Appl Sci Cambridge MA 02138 USA

ISBN: (纸本)9781595930644

Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relationships between interfaces, yet when independently developed software components are combined into a larger system, significant relationships arise, To address this shortcoming, we define, as a conservative extension of ML, a language for manipulating interfaces. Our language includes operations for adding, renaming, and removing components;for changing the type associated with a value;for making manifest types abstract and vice versa;and for combining interfaces. These operations can express useful relationships among interfaces. We have defined a formal semantics in which an interface denotes a group of four sets;we show how these sets determine a subtyping relation, and we sketch the elaboration of an interface into its denotation.

关键词： design languages objective Caml Standard ML signatures interfaces signature manipulation programming in the large

来源：评论

学校读者我要写书评

暂无评论

An expressive language of signatures

引用

ACM SIGPLAN NOTICES 2005年第9期40卷 27-40页

作者： Ramsey, N Fisher, K Govereau, P Harvard Univ Div Engn & Appl Sci Cambridge MA 02138 USA

关键词： design languages objective Caml Standard ML signatures interfaces signature manipulation programming in the large

来源：评论

学校读者我要写书评

暂无评论

A FORMAL DESCRIPTION OF EVOLVING SOFTWARE SYSTEMS ARCHITECTURES

引用

SCIENCE OF COMPUTER programming 1995年第1期24卷 41-61页

作者： LUCENA, CJP ALENCAR, PSC UNIV WATERLOO DEPT COMP SCIWATERLOOON N2L 3G1CANADA

A discussion of the evolution of software system configurations should have some formal basis in order to make the concepts applicable in a broad environment. Formal definitions should be provided for a number of notions associated with this topic including the notions of software system architecture, the restrictions of the software system configurations and the mechanisms used to control the evolution of the structural and functional descriptions. The basis for the logical formalism is a formal description of the transitions that might occur in the software change process, the purpose of the formalism being to allow deductions to be made about the validity of such transitions. Transitions are represented as actions with deontic notions to allow the statement of ''permission'' and ''obligation''. Actions apply to a state model of a change process scenario. This model describes some of the essential features of a configuration management system, that is, versions, and module and subsystem families. Predicates are defined for this model essentially as invariants describing, for example, the relationship between a concrete interface and an abstract interface. We argue the generality of the logical formalism by illustrating its applicability to the expression of change processes in general software descriptions.

关键词： CONFIGURATION MANAGEMENT SOFTWARE EVOLUTION programming in the large MODAL LOGIC THEOREM PROVER

来源：评论

学校读者我要写书评

暂无评论

BUILDING CONSENSUS FOR ADA-9X

引用

COMMUNICATIONS OF THE ACM 1992年第11期35卷 85-88页

作者： PLOEDEREDER, E Univ. Stuttgart Stuttgart Germany

Language design is a most difficult task. While the original design of a language has the distinct advantage of filling a blank page, the revision of a language needs to abide by a number of constraints that limit the degree of design freedom. Ada was developed with a number of underlying design principles and concepts. Revisions to the language must be in consonance with this existing overall philosophy of Ada. Extensions need to fit into this philosophy. This not only makes the description of Ada 9X easier, but facilitates the training of personnel in the revised language. Ada engineers should not need to change their style of design and programming in order to use Ada 9X, and must be able to gradually migrate to Ada 9X as they explore and experiment with the newly provided capabilities. A most stringent constraint on the language revision is the desire to keep the revised language upward compatible with the existing standard. One needs to take into account millions of lines of existing Ada code in development, use and maintenance today which eventually will be migrated to Ada 9X environments.

关键词： ASYNCHRONOUS COMMUNICATION BUILDING CONSENSUS CLASSWIDE programming COMPATIBILITY HIERARCHICAL NAME SPACE INHERITANCE LANGUAGE DESIGN LANGUAGE EVOLUTION POLYMORPHISM PROGRAM LIBRARY programming in the large PROTECTED TYPE SEPARATE COMPILATION SYNCHRONIZATION TAGGED TYPE TAGGED EXTENSION UPWARD COMPATIBILITY

来源：评论

学校读者我要写书评

暂无评论

Supporting software maintenance evolution processes in the Adele system 30

Supporting software maintenance evolution processes in the A...

引用

Proceedings of the 30th annual Southeast regional conference

作者： Noureddine Belkhatir Walcélio L. Melo Jacky Estublier Mohamed A. Nacer Laboratorie de Genie Logiciel Grenoble FRANCE Technological and Scientific Development National Council of Brazil

ISBN: (纸本)9780897915069

One of the major problems encountered when developing large systems is related to maintaining an operational and responsive software system, once it has been accepted and put into production. This problem is referred to as Software maintenance. Evolution is central to Software Maintenance, responsible for ensuring a longer working life. Many Software Engineering Environments (SEEs) have been constructed in order to support maintenance activities. In this paper, we will first present major development in SEEs to support Maintenance. Afterwards, we will describe the main ideas behind the design and implementation of the ADELE system, a third generation SEE. Following this, we will give an example to illustrate the way a process model can be described on top of ADELE using an example of evolution maintenance. This approach is heavily based on event-condition-action formalism. We will illustrate the way in which communication and coordination of the activities carried out by different users are automated.

关键词： trigger programming in the large maintenance CASE event-condition-action software engineering environment cooperative work software process

来源：评论

学校读者我要写书评

暂无评论

RATIONAL DESIGN OF DISTRIBUTED APPLICATIONS 3rd

引用

3RD EUROPEAN SOFTWARE ENGINEERING CONF ( ESEC 91 )

作者： CATTEL, T Digital Equipement Centre Technique Europe Sarl Chemin du Levant Ferney-Voltaire 01210 France Laboratoire d’lnformatique URA CNRS 822 Université de Franche-Comté Besançon cedex 25030 France

ISBN: (纸本)3540547428

Although numerous distributed programming facilities have been developed, the lack of methodologies to support the design of distributed applications makes the task of designers very difficult. The aim of our work is to contribute to the design of complete distributed applications, stressing first and foremost the quality of the final systems. To reach this goal we propose a software development environment based on a three-phased approach : analysis, design and construction. We will focus on the design and construction phases so as to define the architecture of the application, and to propose an implementation on a technical environment based on a distributed application model including the virtual node concept. Our approach uses the VDM formal method to support the design phase and the Conic distributed language and environment as the target for the implementation. © Springer-Verlag Berlin Heidelberg 1991.

关键词： DISTRIBUTED APPLICATION programming in the large RELIABILITY FORMAL SPECIFICATION REFINEMENT VIRTUAL NODE MODULE PORT COMMUNICATION

来源：评论

学校读者我要写书评

暂无评论

TACTICAL TOOLS FOR DISTRIBUTING VDM SPECIFICATIONS 4th

引用

4TH INTERNATIONAL SYMP OF VDM EUROPE ON FORMAL SOFTWARE DEVELOPMENT METHODS ( VDM 91 )

作者： CATTEL, T CTR TECH EUROPE SARL F-01210 FERNEY VOLTAIREFRANCE UNIV FRANCHE COMTE INFORMAT LABCNRSURA 822F-25030 BESANCONFRANCE

ISBN: (纸本)9783540548348

A major issue in software engineering is the mastery of sofware design. The increasing distributed programming facilities open lots of new possibilities but make the task of designers more complex. Our work is to contribute to a rational design of real-sized distributable applications. We propose an approach based on the VDM formal method as support for the design phase and based on the Conic distributed language and environment as target for the implementation. We apply successive refinements on a VDM model so as to modify its distributability. The refinements are formalized, their validity is proved and they are tactical tools for a support environment of distributable software design. We express the general architecture of the resulting application into Conic.

关键词： FORMAL SPECIFICATION REFINEMENT DISTRIBUTABLE APPLICATION programming in the large RELIABILITY TACTICAL TOOLS VIRTUAL NODE MODULE PORT COMMUNICATION

来源：评论

学校读者我要写书评

暂无评论

THE ADAPIC TOOL SET - SUPPORTING INTERFACE CONTROL AND ANALYSIS THROUGHOUT THE SOFTWARE-DEVELOPMENT PROCESS

引用

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1989年第3期15卷 250-263页

作者： WOLF, AL CLARKE, LA WILEDEN, JC UNIV MASSACHUSETTS DEPT COMP & INFORMAT SCISOFTWARE DEV LABAMHERSTMA 01003

Despite the importance of describing and analyzing the relationships among a software system's components, most languages and development environments do not provide suitable support for these activities. While Ada and the various existing Ada environments offer some assistance, the capabilities they offer are inadequate for use in truly large and complex software development projects. To address these shortcomings, we are developing the AdaPIC tool set, which we envision as an important component of an Ada software development environment. The AdaPIC tool set is one particular instantiation, specifically adapted for use with Ada, of the more general collection of language features and analysis capabilities that constitute the PlC approach to describing and analyzing relationships among software system components. This tool set is being tailored to support an incremental approach to the interface control aspects of the software development process. Following a discussion of the interface control and incremental development concepts, this paper describes the AdaPIC tool set, concentrating on its analysis tools and support for incremental development and demonstrating how it contributes to the technology for developing large Ada software systems. [ABSTRACT FROM AUTHOR]

关键词： Index Terms-Module interface control programming in the large software development environments software tools

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：