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

INITIAL SOFTWARE PROCESS MANAGEMENT IN EPOS

SOFTWARE ENGINEERING JOURNAL 1991年第5期6卷 275-284页

作者： CONRADI, R OSJORD, E WESTBY, PH LIU, C NORWEGIAN INST TECHNOL DIV COMP SYST & TELEMATN-7034 TRONDHEIMNORWAY BEIJING POLYTECH UNIV BEIJINGPEOPLES R CHINA

EPOS* is an instrumentable, kernel software engineering environment (SEE), featuring change-oriented versioning to manage evolving software products or configurations, through file-based workspaces attached to a versioned DBMS. Management of the associated software development processes, i.e. to describe, plan, control and execute software activities. Integration of the two areas above. An object-oriented ERA data model, EPOS-OOER, to describe 'passive' software products and 'active' tasks. Work procedures are expressed as task types, which may be customised through simple versioning in project-specific workspaces. The design, implementation and preliminary experience of EPOS process management is the subject of this paper.

关键词： change-oriented versioning Software engineering techniques software development processes programming environments versioned DBMS file-based workspaces SEE software activities expert systems EPOs-OOER Expert systems and other AI software and techniques object-oriented ERA data model project-specific workspaces configuration management object-oriented databases evolving software products Object-oriented databases task types programming support EPOS process management kernal software engineering environment expert system

来源：评论

学校读者我要写书评

暂无评论

MASCOT-3 - AN INFORMAL INTRODUCTORY TUTORIAL

引用

SOFTWARE ENGINEERING JOURNAL 1986年第3期1卷 95-102页

作者： BATE, G G&R SOFTWARE CONSULTANCY WANTAGE OX12 7EGENGLAND

Mascot is a method for the design and implementation of large real-time concurrent systems. The original version was developed during the early 1970s, and the Mascot 2 handbook was published in 1980. It is hoped that the newest version, Mascot 3, will be published in 1987. This paper is intended to give an outline of the main features of the Mascot method and the new concepts introdced by Mascot 3.

关键词： software engineering programming support Operating systems real-time concurrent systems software testing multiprocessing programs programming environments real-time systems Mascot 3

来源：评论

学校读者我要写书评

暂无评论

TOOL support FOR REQUIREMENTS ANALYSIS

引用

SOFTWARE ENGINEERING JOURNAL 1988年第3期3卷 86-96页

作者： KRAMER, J NG, K POTTS, C WHITEHEAD, K UNIV LONDON IMPERIAL COLL SCI & TECHNOL DEPT COMPLONDON SW7 2BXENGLAND SYST DESIGNERS PLC CAMBERLEY GU15 3XDSURREYENGLAND

This paper describes an approach to the provision of tool support for two particular aspects of requirements analysis: method support by active guidance, and specification interpretation and validation by animation. Method guidance is supported by a method model used to describe the sequence of method steps that should be followed. Animation provides an indication of the dynamic behaviour of the specified system by walking through a specification fragment to follow some scenario of interest. This approach to tool assistance has been tested by implementing a prototype set of tools for the CORE method and the Analyst workstation, and by application to a major case study. The current status of that work is described and evaluated.

关键词： specification interpretation software tools software engineering method support tool support programming support active guidance Analyst workstation Software engineering techniques CORE method validation by animation requirements analysis dynamic behaviour

来源：评论

学校读者我要写书评

暂无评论

SPECIFYING AND GENERATING MULTILANGUAGE SOFTWARE-DEVELOPMENT ENVIRONMENTS

引用

SOFTWARE ENGINEERING JOURNAL 1990年第2期5卷 125-137页

作者： JARZABEK, S CSA RES PTE SINGAPORE 0511 SINGAPORE

Integrated software environments use a project information base (PIB) as a repository of all project-related data. A software environment supporting a lifecycle methodology requires a multilanguage PIB, with component languages dedicated to various aspects and phases of project development (e.g. requirement and design specification notations, implementation language etc.). At the same time, one has to view a PIB as a database (or even a knowledge base), where project information is stored, and from which it may be queried using database methods. Therefore, a model for PIBs should equally address linguistic and database aspects of the project information representation. The goal of this paper is to introduce a formal model for multilanguage environments, suitable for representing PIBs. We build the model by extending attribute grammars and integrating them with the entity-relationship model. We also study basic properties of our formalism, formulate conditions to be obeyed by well formed specifications and describe an implementation.

关键词： multilanguage PIB attribute grammars programming support project-related data entity-relationship model linguistic integrated software environments specifications project support environments query formal model project information base multilanguage software development environments project development knowledge base lifecycle methodology database project information representation

来源：评论

学校读者我要写书评

暂无评论

TOWARDS A FORMAL SPECIFICATION OF REVISABLE CORE - ALLOWING FOR CHANGE

引用

SOFTWARE ENGINEERING JOURNAL 1992年第6期7卷 393-408页

作者： STOKES, DA PRAXIS SYST PLC BATH BA1 1PXENGLAND

Many requirements analysis tools, techniques and methods exist to help in the development of consistent, complete and valid requirements specifications. However, few, if any, of these methods recognise and take sufficient notice of the iterative nature of eliciting and specifying requirements. We therefore propose the development of revisable methods, which reflect the significance of change in evolving requirements specifications, and which would be, as a result, much more flexible than many current techniques. In this paper, we consider revisable methods by describing the formal development of revisable CORE [1]. To demonstrate its feasibility, a proof of the validity of revisable tabular collection forms is discussed in some detail. This proof also indicates the complexity of the additional rules which revisable methods demand and which makes their manual application a rather daunting prospect. To facilitate the use of revisable CORE, an automated support tool has been implemented, and this is also (briefly) described.

关键词： revisable methods software tools formal specification programming support revisable CORE revisable tabular collection forms Software engineering techniques requirements specifications requirements analysis tools

来源：评论

学校读者我要写书评

暂无评论

SOME SOFTWARE TOOLS USED IN THE DEVELOPMENT OF THE PROTOTYPE YORK ADA COMPILER

引用

SOFTWARE ENGINEERING JOURNAL 1987年第4期2卷 140-144页

作者： RUNCIMAN, C UNIV YORK DEPT COMP SCIYORK YO1 5DDN YORKSHIREENGLAND

Among the various software tools developed in the early stages of the York Ada compiler project are two families of tools described here. Syntax-drivengenerators, distinctive in their inclusion of a mechanism for syntax abstraction and their mode of adaptability, were used to produce a variety of compiler components; interfacecheckers, automatically generated from specifications of the information intended to pass between components, were used to help isolate and repair faulty components.

关键词： York Ada compiler software tools programming support Compilers, interpreters and other processors program compilers syntax abstraction Ada compiler components syntax driven generators interface checkers

来源：评论

学校读者我要写书评

暂无评论

.NET core architecture

引用

COMPUTING & CONTROL ENGINEERING JOURNAL 2003年第5期14卷 24-27页

作者： Stevenson, I The Generics Group

Microsoft net is more than just a web services toolkit;it is a fundamentally new way of programming on the windows platform.

关键词： programming support Microsoft .Net security of data software tools security features Windows environment Data security rapid prototyping high-throughput enterprise class applications Web services toolkit Operating systems application program interfaces

来源：评论

学校读者我要写书评

暂无评论

IDEA - AN INCREMENTAL DEVELOPMENT ENVIRONMENT FOR ADA

引用

SOFTWARE ENGINEERING JOURNAL 1987年第6期2卷 194-198页

作者： NICOL, C CROWE, MK CORR, ME ORAM, JW JENKINS, DG PAISLEY COLL TECHNOL DEPT COMP SCISOFTWARE TOOLS RES GRPHIGH STPAISLEY PA1 2BERENFREWSCOTLAND

This paper decribes an incremental environment which has been developed to meet the needs of developers and maintainers of large Ada projects. This environment assists the user to develop valid Ada text while consulting other Ada packages and documents. It is built around an embedded syntax-directed editor which controls text inspection, modification and, subsequently, re-compilation. In addition, the data accumulated by a translator is available during editing to provide semantic assistance on request.

关键词： valid Ada text text inspection programming support IDEA text editing Data handling techniques semantic assistance large Ada projects embedded syntax-directed editor programming environments re-compilation translator modification Ada High level languages incremental development environment

来源：评论

学校读者我要写书评

暂无评论

THE ECLIPSE OBJECT MANAGEMENT-SYSTEM

引用

SOFTWARE ENGINEERING JOURNAL 1986年第1期1卷 39-42页

作者： ALDERSON, A BOTT, MF FALLA, ME SOFTWARE SCI LTD MACCLESFIELD SK11 6SRCHESHIREENGLAND UNIV COLL WALES DEPT COMP SCIABERYSTWYTH SY23 2AXWALES

Configuration management is a vital element in successful software development. Automation to assist configuration management will be of great benefit in improving productivity and quality in software production. Eclipse is an integrated project support environment being developed as part of the Alvey Programme. The Eclipse Object Management System provides automated assistance for configuration management. This paper describes the approach taken in Eclipse and gives details of the concepts embodied in the Eclipse Object Management System.

关键词： integrated project support environment software engineering programming support Alvey Programme Software management programming environments software development quality Eclipse productivity object management system

来源：评论

学校读者我要写书评

暂无评论

Adopting .NET platform environments

引用

COMPUTING & CONTROL ENGINEERING JOURNAL 2003年第5期14卷 28-31页

作者： Stevenson, I The Generics Group

Microsoft's net platform provides a runtime environment for code, but its real power comes from tools and support for network and database applications.

关键词： programming support runtime environment Object-oriented programming .NET platform Software engineering techniques network applications software libraries Operating systems application program interfaces database applications

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：