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

IEEE Workshop on Program Comprehension

作者： M. van den Brand A. Sellink C. Verhoef Department of Software Engineering CWI Amsterdam Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands

We evaluate the parsing technology used by people working in the reengineering industry. We discuss parser generators and complete systems like Yacc, TXL, TAMPR, REFINE, CobolTransformer, COSMOS, and ASF+SDF. We explain the merits and drawbacks of the various techniques. We conclude that current technology may cause problems for the reengineering industry and that modular and/or compositional parsing techniques are a possible solution.

关键词： Natural languages software engineering Computer industry Refining Environmental economics Concrete Assembly

来源：评论

学校读者我要写书评

暂无评论

Distributed object-based applications for document management

引用

Hitachi Review 1998年第6期47卷 273-276页

作者： Wakayama, Satoshi Ito, Yasuki Fukuda, Toshihiko Kato, Kanji Hitachi Ltd. Kansai Programming Dept. Software Div. Kansai Programming Dept. 5Th Group Hitachi Ltd. Hitachi Ltd. Business Development Div. Information Systems Group

We have developed an Enterprise Document Management System which supports document management in offices. This system is intended to construct business systems for the next generation. We designed this system with the aim of handling a document, in the mission critical business application system. The Enterprise Document Management System combines numeric information with documents. Our Enterprise Document Management System adopts a standardized specification called "DMA (Document Management Alliance) 1.0". DMA specifies the document object model and the API (application programming interface). This standard has been proposed by DMA which is one of the task forces of AIIM (Association for Information and Image Management International). AIIM is the international standardization organization of document management. We expand the DMA specification and implement its facilities for managing structured documents such as SGML (standard generalized markup language) and XML (extensible markup language). This system is built on ORDB (object relational database), a database system in order to integrate document with numeric information. Database systems are added to the document management oriental functions, such as full-text retrieval. We are constructing a document oriented business application with the Enterprise Document Management System.

关键词： Management information systems

来源：评论

学校读者我要写书评

暂无评论

Lessons from using Z to specify a software tool

引用

IEEE TRANSACTIONS ON software ENGINEERING 1998年第1期24卷 15-23页

作者： Neil, M Ostrolenk, G Tobin, M Southworth, M City Univ London Ctr Software Reliabil London EC1V 0HB England Natl Westminister Bank Plc Retail Banking Serv London E1 8EG England Lloyds Register Syst Integr & Risk Management Dev Croydon CR0 2AJ England Programming Res Ltd Hersham KT12 4RH England

The authors were recently involved in the development of a COBOL parser, specified formally in Z. The type of problem tackled was well suited to a formal language. The specification process was part of a life-cycle characterized by the front-loading of effort in the specification stage and the inclusion of a statistical testing stage. The specification was found to be error dense and difficult to comprehend. The Z was used to specify inappropriate procedural rather than declarative detail. Modularity and style problems in the Z specification made it difficult to review. In this sense, the application of formal methods was not successful. Despite these problems the estimated fault density for the product was 1.3 faults per KLOC, before delivery, which compares favorably with IBM's Cleanroom method. This was achieved, despite the low quality of the Z specification, through meticulous and effort-intensive reviews. However, because the faults were in critical locations, the reliability of the product was assessed to be unacceptably low. This demonstrates the necessity of assessing reliability as well as "correctness" during system testing. Overall, the experiences reported in this paper suggest a range of important lessons for anyone contemplating the practical application of formal methods.

关键词： formal methods statistical testing practical experience reliability fault density

来源：评论

学校读者我要写书评

暂无评论

Aspect-oriented programming workshop report

Aspect-oriented programming workshop report

引用

Workshops on Object-Oriented Technology, ECOOP 1997

作者： Mens, Kim Lopes, Cristina Tekinerdogan, Bedir Kiczales, Gregor Department of Computer Science Programming Technology Lab Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium Systems and Practices Laboratory Xerox PARC 3333 Coyote Hill Rd Palo AltoCA94304 United States Department of Computer Science Software Engineering University of Twente P.O. Box 217 Enschede7500 AE Netherlands

ISBN: (纸本)3540640398

Whereas it is generally acknowledged that code tangling reduces the quality of software and that aspect-oriented programming (AOP) is a means of addressing this problem, there is — as yet — no clear definition or characterisation of AOP. Therefore, the main goal of the ECOOP’97 AOP workshop was to identify the "good questions" for exploring the idea of AOP. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Design and Evaluation of Gravel and Frac Packs With a Fully Three-Dimensional Wellbore Simulator

引用

SPE JOURNAL 1997年第3期2卷 280-290页

作者： Klein, H. Hank Cooper, Gary D. Nelson, Steven G. JAYCOR 9775 Towne Ctr Dr San Diego CA 92121 USA Guydon Software Serv Custom Programming Firm Ft Worth TX 76180 USA

During the gravel packing and fracturing processes in deviated wells the flows can follow complicated three-dimensional paths in the treating string. In this paper we present the formulation of a three-dimensional numerical model of fluid and solids transport for evaluation and design of these completion events. The simulator tracks the slurry flow from the surface, throughout the wellbore, and into the perforations. It treats fluid return and loss into the formation. The model simulates fluid displacement, gravel settling, dune formation, bridging, fluid flow through packed solids and flow into and out of screens. We present validation results against laboratory and field data for various fluids, deviations, pumping rates, and solids loading.

关键词： carrier fluid fracturing materials upstream oil & gas hydraulic fracturing sand control simulator proppant ppga gravel fracturing fluid Frac and pack Fracturing materials (fluids proppant) Hydraulic Fracturing Sand Control Completion Operations

来源：评论

学校读者我要写书评

暂无评论

The Rely-Guarantee Method for Verifying Shared Variable Concurrent Programs

引用

Formal Aspects of Computing 1997年第2期9卷 149-174页

作者： Xu, Qiwen De Roever, Willem-Paul He, Jifeng Inst. Informatik Praktische M. Chrstn.-Albrechts-Univ. zu Kiel Kiel Germany Programming Research Group Oxford Univ. Computing Laboratory Oxford United Kingdom Intl. Inst. for Software Technology United Nations University PO Box 3058 Macao

Compositional proof systems for shared variable concurrent programs can be devised by including the interference information in the specifications. The formalism falls into a category called rely-guarantee (or assumption-commitment), in which a specification is explicitly (syntactically) split into two corresponding parts. This paper summarises existing work on the rely-guarantee method and gives a systematic presentation. A proof system for partial correctness is given first, thereafter it is demonstrated how the relevant rules can be adapted to verify deadlock freedom and convergence. Soundness and completeness, of which the completeness proof is new, are studied with respect to an operational model. We observe that the rely-guarantee method is in a sense a reformulation of the classical non-compositional Owicki & Gries method, and we discuss throughout the paper the connection between these two methods.

关键词： Compositionality Concurrency Deadlock freedom Partial and total correctness Rely-Guarantee formalism Soundness and completeness Specification and verification

来源：评论

学校读者我要写书评

暂无评论

Acoustic wave sensor for real-time monitoring of volatile organic compounds

引用

NAVAL ENGINEERS JOURNAL 1997年第1期109卷 27-30页

作者： Modell, DJ Donald J. Modell:is a project manager and senior technical consultant with Smith Environmental Technologies Corporation (BCM Engineers Inc.). Mr. Modell has extensive experience in process control systems (PLCs PCs distributed control systems and SCADA systems) and sensors used in the environmental and remedial engineering processes and operations. Mr. Modell has further experience with software and hardware configuration programming implementation and total quality management techniques. He has received master's degrees in environmental engineering and chemical engineering from The Johns Hopkins University and Case Western Reserve University. Mr. Modell also has an M.B.A. in finance from Case Western Reserve University. He is active in The American Industrial Hygiene Association the American Institute of Chemical Engineers the International Society of Measurement and Control the Sociely of American Military Engineers and is an officer in the National and Maryland Society of Professional Engineers. He serves as a director and advisor to the legdative board fm the Maryland Engineering Society Joint Council.

On-line real-time monitoring of marine and operational exhaust stacks and process streams can play a critical role in providing safe, environmentally sound operation of marine and industrial processes using volatile organic species. Monitoring systems are needed that are inexpensive and powerful to be effective. It has been demonstrated that two independent responses, wave velocity and wave attenuation can be obtained from surface acoustic wave devices coated with viscoelastic polymers. This output technique enables identification and concentration determination of isolated species with a single sensor. This paper discusses the development of the sensor devices and the basis of portable acoustic wave sensor systems (which are being used) to monitor volatile organic compounds from marine and industrial chemical processes. Furthermore, on-line monitoring of spray cleaning processes has been effective in quantifying how emissions can be decreased based on substituting solvents, optimizing worker protocols, and utilizing new spray nozzle configurations.

关键词： Sensors

来源：评论

学校读者我要写书评

暂无评论

Core technologies for system renovation 23rd

Core technologies for system renovation

引用

23rd Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM 1996

作者： Van Den Brand, Mark Klint, Paul Verhoef, Chris Programming Research Group University of Amsterdam Kruislaan 403 AmsterdamNL-1098 SJ Netherlands Department of Software Technology Centre for Mathematics and Computer Science P.O. Box 4079 AmsterdamNL-1009 AB Netherlands

ISBN: (纸本)3540619941

Renovation of business-critical software is becoming increasingly important. We identify fundamental notions and techniques to aid in system renovation and sketch some basic techniques: generic language technology to build analysis tools, a knowledge retrieval system to aid in program understanding, and a coordination architecture that is useful to restructure monolithic systems thus enabling their renovation. We argue that these techniques axe not only essential for the renovation of old software but that they can also play an important role during the development and maintenance of new software systems. © 1996, Springer-Verlag. All rights reserved.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

The ToolBus coordination architecture: A demonstration 5th

The ToolBus coordination architecture: A demonstration

引用

5th International Conference on Algebraic Methodology and software Technology, AMAST 1996

作者： Klint, P. Olivier, P. Department of Software Technology Centre for Mathematics and Computer Science P.O. Box 4079 Amsterdam1009 AB Netherlands Programming Research Group University of Amsterdam P.O. Box 41882 Amsterdam1009 DB Netherlands

The ToolBus is a generic software architecture for building heterogeneous, distributed, systems. We demonstrate several applications that have been implemented using the ToolBus technology. © Springer-Verlag Berl... 详细信息

ISBN: (纸本)9783540614630

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

The toolbus coordination architecture 1st

The toolbus coordination architecture

引用

1st International Conference on Coordination Models and Languages, COORDINATION 1996

作者： Bergstra, J.A. Klint, P. Programming Research Group University of Amsterdam AmsterdamDBP.O. Box 41882 Netherlands Department of Philosophy Utrecht University Heidelberglaan 8 UtrechtCS3584 Netherlands Department of Software Technology Centre for Mathematics and Computer Science AmsterdamABP.O. Box 4079 Netherlands

ISBN: (纸本)3540610529

Building large, heterogeneous, distributed software systems poses serious problems for the software engineer;achieving interoperability of software systems is still a major challenge. We describe an experiment in designing a generic software architecture for solving these problems. To get control over the possible interactions between software components ("tools") we forbid direct inter-tool communication. Instead, all interactions are controlled by a "script" that formalizes all the desired interactions among tools. This leads to a component interconnection architecture resembling a hardware communication bus, and therefore we will call it a "TooLBus'. We describe the coordination of tools in process-oriented "T scripts" featuring, amongst others, (1) sequential composition, choice and iteration of processes;(2) handshaking (synchronous) communication of messages;(3) esynchronous communication of notes to an arbitrary number of processes;(4) note subscription;(5) dynamic process creation. Most notably lacking are built-in datatypes: operations on data can only be performed by tools, giving opportunities for efficient implementation, In three large case studies, the TooLBus architecture has been used to build editor-interfaces with user-defined extensions, to study feature interaction in intelligent networks, and to build a simulator for traffic light control. We give an overview of these case studies and briefly sketch the evolution of the TooLBUS design that incorporates the lessons we have learned from them. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：