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

A PICTORIAL APPROACH TO THE ANIMATION OF PROCESS-ORIENTED FORMAL SPECIFICATIONS

SOFTWARE ENGINEERING JOURNAL 1988年第4期3卷 114-118页

作者： BUSTARD, DW NORRIS, MT ORR, RA QUEENS UNIV BELFAST DEPT COMP SCIBELFAST BT7 1NNANTRIMNORTH IRELAND BRITISH TELECOM RES LABS IPSWICH IP5 7RESUFFOLKENGLAND

This paper considers how the meaning of process-oriented formal specifications might be made more apparent through the use of pictorial animation. The approach taken is based on techniques embodied in the software animation system PEEP. The PEEP system gives pictorial representations of the changing states of software as it is executed. It was designed for concurrent applications expressed in a modular multiprogramming language, such as Ada or Pascal Plus. Corresponding formal languages suitable for the specification of concurrent systems include CSP, CCS, SDL and LOTOS. The LOTOS language is used for illustration purposes in this paper, but the techniques discussed are equally applicable to the other languages.

关键词： software tools programming support specification languages animation computer graphics Software engineering techniques CSP modular multiprogramming language concurrent applications PEEP Ada process-oriented formal specifications CCS SDL Graphics techniques LOTOS Pascal Plus formal languages

来源：评论

学校读者我要写书评

暂无评论

AN APPROACH TO AUTOMATED SOFTWARE-DESIGN BASED ON PRODUCT METRICS

引用

SOFTWARE ENGINEERING JOURNAL 1988年第2期3卷 53-56页

作者： INCE, DC HEKMATPOUR, S OPEN UNIV FAC MATHCHIKUSA KU GRPMILTON KEYNES MK7 6AABUCKSENGLAND

Recent research has attempted to quantify the quality of a software design in terms of measurable properties. A weakness of this research is that it ignores the fact that software design involves the exploration of alternative software architectures. An approach to software design selection is described which involves examining a design solution space. It relies on the formulation of the problem of selecting software designs in operational research terms. The paper concludes with a description of a software tool based on the approach.

关键词： software tools software engineering software architectures programming support software design selection design solution space software quality Software engineering techniques operations research automated software design software tool automatic programming product metrics

来源：评论

学校读者我要写书评

暂无评论

TRANSACTION MECHANISMS FOR DISTRIBUTED-programming ENVIRONMENTS

引用

SOFTWARE ENGINEERING JOURNAL 1987年第5期2卷 169-177页

作者： WALPOLE, J BLAIR, GS HUTCHISON, D NICOL, JR UNIV LANCASTER DEPT COMPLANCASTER LA1 4YRENGLAND

Considerable research effort in the software engineering domain has been focused on the development of more advanced programming environments. A key aspect in this development isdistribution. Distributed computer systems have the potential for high reliability. This is primarily because resources can be provided redundantly at different sites. However, the possibility of partial system failure and the high level of parallel activity in distributed systems make it difficult to realise this potential. In an attempt to simplify the treatment of these problems in distributed database systems, the notion ofatomic transactionswas introduced. The transaction concept is equally applicable to the area of distributed programming environments. However, traditional database transaction mechanisms are not efficient or flexible enough to meet the requirements of distributed programming environments. This paper presents a survey of transaction techniques and discusses the application of the transaction model to distributed programming environments.

关键词： Distributed databases programming environments transaction model distributed programming environments global state information transaction concept consistency recovery parallel activity transaction techniques software engineering software reliability durability atomicity distributed systems partial system failure high reliabilty programming support synchronisation atomic transactions distributed databases distributed database systems

来源：评论

学校读者我要写书评

暂无评论

A SOFTWARE TOOL FOR TESTING JSP DESIGNED PROGRAMS

引用

SOFTWARE ENGINEERING JOURNAL 1987年第2期2卷 46-52页

作者： ROPER, RMF SMITH, P SUNDERLAND POLYTECH DEPT MATH & COMP STUDIESSUNDERLAND SR1 35DENGLAND

The aim of this paper is to present a new structural testing method for use with Jackson structured programming designed programs. The problems associated with testing are outlined and the concepts behind structural testings are briefly discussed. The new structural testing method (STM) is described. The method involves the creation of a path expression from the program structure and the sbsequent expansion of the expression into a set paths. An example describes the application of the methods. A software tool written in Prolog to support STM is described in detail, again with the use of an example. The applicability of the method and supporting tool to practising software engineers is discussed, along with the advantages and disadvantages Further work being undertaken by the authors is outlined.

关键词： Jackson structured programming software tools programming support structural testing structured programming program testing JSP designed programs software tool Systems analysis and programming path expression

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

BUILDING AN OPEN COMMUNICATION APPLICATION

引用

SOFTWARE ENGINEERING JOURNAL 1987年第5期2卷 178-183页

作者： BASTABLE, A IRELAND, DM LANGSFORD, A AERE DIV COMP SCI & SYSTHARWELL OX11 0RAOXONENGLAND

The implementation of a series of protocol handlers is discussed in terms of the approach taken to design and implementation methods. The target was a communication sub-system insupport of terminal handling applications. The design of an OSI transport layer handler using the Jackson system design method is described, as are the reasons for opting to use a more conventional, finite-state machine approach to session layer and ECMA virtual terminal protocol handlers. The software engineering tools used to carry out these implementations are also described. In conclusion the paper considers the lessons learned both from the application of design methods and the efficiency of protocol implementation. The paper shows that the approach taken by ISO in defining its OSI protocols is effective and leads to viable implementations.

关键词： software tools organisation data communication systems Computer networks and techniques ECMA virtual terminal protocol handler open systems interconnection finite-state machine approach software engineering tools design methods open communication application communication sub-system international standards Jackson system design method software engineering methods computer communications software protocols virtual terminal protocol ISO protocol handlers implementation methods remote terminal access programming support terminal handling applications OSI protocols OSI transport layer handler session layer data communications application

来源：评论

学校读者我要写书评

暂无评论

THE CONIC TOOLKIT FOR BUILDING DISTRIBUTED SYSTEMS

引用

IEE PROCEEDINGS-D CONTROL THEORY AND APPLICATIONS 1987年第2期134卷 73-82页

作者： KRAMER, J MAGEE, J SLOMAN, M Department of Computing Imperial College of Science & Technology University of London London UK

Conic provides a set of tools for building flexible distributed systems for embedded applications such as factory automation, telecommunications, process monitoring and control. The Conic programming language is used to program individual software modules which communicate by naming only local entry and exit ports. This gives configuration independence and allows reuse of the modules in various situations. A separate configuration language is used to specify a system by creating instances of modules and interconnecting exit and entry ports. The configuration language is also used to specify changes which can be performed dynamically without shutting down the complete system. These features of a Conic system provide the flexibility for adapting to changing requirements. The paper describes the Conic programming and configuration languages, as well as the run-time support needed for dynamic configuration. The paper also gives an overview of the Unix-based tools available for building and testing software for distributed target computers. Finally, we discuss experiences of using these tools and future work planned on the project.

关键词： Conic programming language software tools programming support process monitoring Control engineering computing configuration language software modules flexible distributed systems software testing Conic toolkit software building telecommunications control engineering computing Unix-based tools distributed systems high level languages High level languages factory automation

来源：评论

学校读者我要写书评

暂无评论

PERFORMANCE MONITORING AND EVALUATION OF LARGE EMBEDDED SYSTEMS

引用

SOFTWARE ENGINEERING JOURNAL 1987年第5期2卷 184-192页

作者： HALSALL, F HUI, SC UNIV SUSSEX SCH ENGN & APPL SCIBRIGHTON BN1 9QTENGLAND

This paper describes the rationale and design of an integrated set of software tools which havebeen implemented for use with a large real-time embedded system which is based on a distributed architecture. The tools include facilities to aid system-level program debugging, performance analysis and application-specific performance monitoring. Particular attention is paid to the user interface to the system and typical dialogue sequences are included.

关键词： software tools performance monitoring performance analysis systems analysis program debugging dialogue sequences large-scale systems design approach Systems analysis and programming large real-time embedded system offline event analysis integrated set distributed architecture user interface programming support application-specific performance monitoring system-level program debugging rationale interactive systems Diagnostic, testing, debugging and evaluating systems

来源：评论

学校读者我要写书评

暂无评论

GENERATING READABLE SOFTWARE

引用

SOFTWARE ENGINEERING JOURNAL 1987年第3期2卷 64-70页

作者： CROOKES, D QUEENS UNIV BELFAST DEPT COMP SCIBELFAST BT7 1NNANTRIMNORTH IRELAND

Software generators are important tools for software engineers. However, their usefulness is often diminished because of the poor readability of the generated code. By encouraging generator builders to give readability much higher priority, we aim to improve the usability of generators, and to encourage the uptake of formally based software engineering tools, particularly by those who feel less at home with formal specifications. This paper first makes out a case for generating readable software, and then proceeds to outline the sort of qualities which such a generating system should possess. Finally, some facets of an existing generator are described, and its operation as a parser generator illustrated.

关键词： application generators software engineering programming support software generators software engineers parser generator readable software

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：