Impirical Foundations of Information and Software Science (eBook, PDF)

Redaktion: Agrawal, Jagdish C.

• Format: PDF

Produktbeschreibung

The purpose of the Second Symposium on Empirical Foundations of Informa tion and Software Science (EFISS) was, in essence, the same as that of the First Symposium in this series, i. e. to explore subjects and methods of sci entific inquiry which are of fundamental and common interest to information and software sciences, and to map directions of research that will benefit from the mutual interaction of these two fields. In fact, one of the most important results of the First EFISS Symposium was the conclusion that the commonality of these two sciences is much more than just the commonality of their objects of study, namely, the study of informative and prescriptive properties of texts in all kinds of sign sys tems (such as natural or artificial languages). Rather, the most challeng ing problems appear to be in the areas in which both these sciences overlap, such as, for instance, the problem of trade-offs between informative and prescriptive uses of texts. This problem can be formulated in generic terms as follows: given a certain kind of action or activity which has been pre scribed to some agent, i. e. which is required to be implemented or carried out, what kind of information should be provided to the agent, in what form, and how should it be distributed over the contextual structure of the pre scriptive text to enable the agent to carry out the action or activity most effectively and efficiently.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer New York
• Seitenzahl: 415
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9781461325215
• Artikelnr.: 44064151

Inhaltsangabe

Symposium Opening Addresses.- 1. Information Value.- Information About How to Retrieve Information: Its Relation to the Information Retrieved.- Implication of User's Value Perception for the Design of a Bibliographic Retrieval System.- Value of Information in Supervisory Control.- On the Value of Information in Systems Design: A Framework for Understanding and Aiding Designers.- 2. Information in Interactive Context.- Experiences with Changeable Informative Texts in Guiding Users of the On-Line Interactive ABC-System.- Computer-Aided Searching of Bibliographic Data Bases: Online Estimation of the Value of Information.- A System for Imbedding Data Displays in Graphical Contexts.- Human Factors Issues of Manuals, Online Help, and Tutorials.- 3. Aids for Man-Machine Interaction.- Computer Graphics and a Revised Concept of Dependence and Independence.- Designing a Human-Computer Interface with Software Specification Techniques.- Empirical Methods in the BTU-Project.- The Use of Multi-Level Adaptable User Interfaces in Improving User-Computer Interaction.- 4. Assessment of Information Effects.- Empirical Investigation of Aids for Non-Programming Users in Developing Cost-Effective Requirements Specifications.- The Effect of Comments, Mnemonic Names, and Modularity: Some University Experiment Results.- Rationale for Comments: The Effect on Programming Languages and Implementation.- 5. Software Metrics.- A Measure of Program Clarity for Modular Programming Systems.- Measuring Software Complexity: The Syntactic Dimension.- An Experimental Study of the Logical Complexity of Data Structures.- PARTIAL: A Software Tool for the Development of Ada Programs.- 6. Information Mapping and Retrieval.- Document Ranking Methodology for Conventional Boolean Retrieval Systems.- On GeneratingSemantic Dispositions in a Given Subject Domain.- 7. Methodological Issues.- The Impact on "Informational Entropy" of Disproof of the Boltzmann Relation.- Information Measurement in Natural and Artificial Systems.- On the Validation of Computer Science Theories.- Software Science - A Heuristic Approach.- 8. Software and System Models.- Flexible Software Models for Quality Assessments of Interactive Information Systems.- Value of Formal Information Systems Models for a Flexible Reorganization in an Insurance Company.- 9. Software Tools and Techniques.- A Spelling Checker Based on Affix Classes.- On Penetrance and Branching Factor for Search Trees.- Automatic Program Description: A Compiler Based Approach.- 10. Workshops.- Workshop on Research Directions and Opportunities I: Current Programs.- Workshop on Research Directions and Opportunities II: Prospects and Open Problems. Synopsis by E. C Weiss, the Workshop Chairman.