Proceedings of the Fourth International Symposium on Assessment of Software Tools最新文献

EMERALD: software metrics and models on the desktop EMERALD:桌面的软件度量和模型

Proceedings of the Fourth International Symposium on Assessment of Software Tools Pub Date : 1996-09-01 DOI: 10.1109/AST.1996.506489

J. Hudepohl, S. Aud, T. Khoshgoftaar, E. B. Allen, J. Mayrand

引用次数: 144

Exploratory analysis tools for tree-based models in software measurement and analysis 探索性分析工具，基于树的模型在软件测量和分析

Proceedings of the Fourth International Symposium on Assessment of Software Tools Pub Date : 1996-05-22 DOI: 10.1109/AST.1996.506473

J. Troster, J. Tian

引用次数: 3

Software tool assessment-an Australian perspective 软件工具评估——澳大利亚视角

Proceedings of the Fourth International Symposium on Assessment of Software Tools Pub Date : 1996-05-22 DOI: 10.1109/AST.1996.506484

P. Bailes

引用次数: 0

SoftTrak: an industrial case study SoftTrak:一个工业案例研究

Proceedings of the Fourth International Symposium on Assessment of Software Tools Pub Date : 1996-05-22 DOI: 10.1109/AST.1996.506476

J. Arluk, B. Michaely, M. Zeevi

引用次数: 0

The CARE toolset for developing verified programs from formal specifications 从正式规范中开发经过验证的程序的CARE工具集

Proceedings of the Fourth International Symposium on Assessment of Software Tools Pub Date : 1996-05-22 DOI: 10.1109/AST.1996.506475

David Herner, Peter Lindsay

{"title":"The CARE toolset for developing verified programs from formal specifications","authors":"David Herner, Peter Lindsay","doi":"10.1109/AST.1996.506475","DOIUrl":"https://doi.org/10.1109/AST.1996.506475","url":null,"abstract":"The paper describes the CARE toolset for interactive development of verified programs from formal specifications. The software engineer begins by giving a characterization of the application domain in the form of a mathematical theory. CARE tools are then used to progressively design a program by sketching out the program structure and gradually filling in the details. At any stage the correctness of the partial design can be checked by using one of the CARE tools to generate proof obligations. Another tool gives access to pre-proven parameterised design templates which encapsulate useful programming knowledge. When the design is complete, a third CARE tool is used to automatically synthesize a source code program which-if all the proof obligations can be discharged-is guaranteed to meet its formal specification. The knowledge base of CARE can be extended by users in a soundness-preserving manner to include reusable domain theories, library routines, design templates and proof tactics. The CARE toolset includes a fully automatic resolution-based theorem prover which will discharge many of the simpler proof obligations, and a general-purpose interactive theorem prover for the rest.","PeriodicalId":427825,"journal":{"name":"Proceedings of the Fourth International Symposium on Assessment of Software Tools","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125917869","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 11

An expert system for the verification of finite-element calculations 有限元计算验证的专家系统

Proceedings of the Fourth International Symposium on Assessment of Software Tools Pub Date : 1996-05-22 DOI: 10.1109/AST.1996.506474

T. Breitfeld, B. Kroplin

{"title":"An expert system for the verification of finite-element calculations","authors":"T. Breitfeld, B. Kroplin","doi":"10.1109/AST.1996.506474","DOIUrl":"https://doi.org/10.1109/AST.1996.506474","url":null,"abstract":"A prototype expert system for the verification of finite-element analysis data with a graphical hypertext user interface for use in industry and academia is presented. This tool assists novice users in identifying problems and errors associated with finite-element simulations. Due to the use of object-oriented programming paradigms, no changes in program architecture other than the definition of new methods are required when porting the knowledge based expert system to be used with other finite-element solvers. The main knowledge base used in the error and problem identification is easily expandable by incorporating error reports from users. A complete system, supporting a wide variety of potential problems, can thus be incrementally assembled by a knowledge engineer. A separate knowledge base can be generated for each finite-element package which is to be supported by the expert system. The problem of usability of the expert system is addressed using hypertext output that can be accessed with state-of-the-art browsers. This technology effects the acceptance, readability and operation of any software tool in a positive way.","PeriodicalId":427825,"journal":{"name":"Proceedings of the Fourth International Symposium on Assessment of Software Tools","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129238659","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

The role of tools in development of a data warehouse 工具在数据仓库开发中的作用

Proceedings of the Fourth International Symposium on Assessment of Software Tools Pub Date : 1996-05-22 DOI: 10.1109/AST.1996.506632

M. C. McCabe, D. Grossman

引用次数: 5

Java and JDBC: tools supporting data-centric business application development Java和JDBC:支持以数据为中心的业务应用程序开发的工具

Proceedings of the Fourth International Symposium on Assessment of Software Tools Pub Date : 1996-05-22 DOI: 10.1109/AST.1996.506631

J. Hamilton

{"title":"Java and JDBC: tools supporting data-centric business application development","authors":"J. Hamilton","doi":"10.1109/AST.1996.506631","DOIUrl":"https://doi.org/10.1109/AST.1996.506631","url":null,"abstract":"Software porting, maintenance, distribution and installation form the bulk of application deployment costs. These high costs have been substantially exacerbated by the move to client server computing. No longer can an application be installed on one system for use by the entire user community. Now it must be installed on all desktops in the enterprise and, at most companies, this will be mean that the software must be ported to and tested on Windows 3.1, Macintosh, Windows95, Windows NT, and often a variety of UNIX systems. The trend towards making business data available to both internal and external users across intranets and the Internet transforms an expensive problem into a completely intractable one. To further complicate the matter, there is an emerging trend in many application domains to move from 2 dimensional windowed user interfaces to high information bandwidth 3 dimensional data visualization and virtual reality systems. These applications are either very difficult or impossible to write using standard GUI builders, generators, or the current breed of portable GUI class libraries. We propose a new architecture for data visualization, discovery, and delivery and argue that the existing development model, and the tools supporting that model, are unaffordable and don't scale to Internet scope delivery numbers.","PeriodicalId":427825,"journal":{"name":"Proceedings of the Fourth International Symposium on Assessment of Software Tools","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126587970","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 2

Software Thesaurus: a tool for reusing software objects 软件同义词库:用于重用软件对象的工具

Proceedings of the Fourth International Symposium on Assessment of Software Tools Pub Date : 1996-05-22 DOI: 10.1109/AST.1996.506486

J. Lloréns, Antonio Amescua, Manel Velasco

引用次数: 7

Using software metrics tools for maintenance decisions: a classroom exercise 使用软件度量工具进行维护决策:课堂练习

Proceedings of the Fourth International Symposium on Assessment of Software Tools Pub Date : 1996-05-22 DOI: 10.1109/AST.1996.506477

A. D. Marshall, M. Katchabaw, M. Bauer

引用次数: 2