Advances in Software Science and Technology - 1st Edition - ISBN: 9780120371020, 9781483215709

Advances in Software Science and Technology

1st Edition

Editors: Yoshio Ohno Hiroyasu Kakuda Tsutomu Kamimura
eBook ISBN: 9781483215709
Imprint: Academic Press
Published Date: 28th February 1991
Page Count: 232
Sales tax will be calculated at check-out Price includes VAT/GST
25% off
25% off
25% off
25% off
25% off
20% off
20% off
25% off
25% off
25% off
25% off
25% off
20% off
20% off
25% off
25% off
25% off
25% off
25% off
20% off
20% off
54.95
41.21
41.21
41.21
41.21
41.21
43.96
43.96
43.99
32.99
32.99
32.99
32.99
32.99
35.19
35.19
72.95
54.71
54.71
54.71
54.71
54.71
58.36
58.36
Unavailable
Price includes VAT/GST
× DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Table of Contents


Editor’s Message

Research Contributions

Attachment of a First-Order Data Constructor and Its Application

A Smoothing Algorithm of Polygonal Curves and Polyhedral Surfaces

A Technique for Prolog Program Synthesis from Natural Language Specification

Processing Left Extraposition in a Bottom-Up Parsing System

On Learning Smullyan’s Elementary Formal Systems: Towards an Efficient Learning Method for Context-Sensitive Languages

A Data Model in the Software Project Database KyotoDB

Hamada Floating-Point Numbers and Real Numbers

An Efficient Multiple String Replacing Algorithm Using Patterns with Pictures

Kamui88: A Parallel Computation Model with Fields and Events

Tutorial

Formation and Development of the Concept of Algorithm

Software Critique

WEB System and Its Processor

Society News

Rules for Submission of English Papers and English Paper Style Guidelines

Author’s Guide

Japan Society for Software Science and Technology Membership Application Form

Description

Advances in Software Science and Technology, Volume 2 provides information pertinent to the advancement of the science and technology of computer software. This book discusses the various applications for computer systems.

Organized into four parts encompassing 12 chapters, this volume begins with an overview of categorical frameworks that are widely used to represent data types in computer science. This text then provides an algorithm for generating vertices of a smoothed polygonal line from the vertices of a digital curve or polygonal curve whose position contains a certain amount of error. Other chapters consider a system that automatically synthesizes a program from a specification written in natural language. The final chapter deals with the rules for submission of English papers that will be published, which includes papers that are reports of academic research by members of the Society.

This book is a valuable resource for scientists and research workers.


Details

No. of pages:
232
Language:
English
Copyright:
© Academic Press 1991
Published:
Imprint:
Academic Press
eBook ISBN:
9781483215709

Ratings and Reviews


About the Editors

Yoshio Ohno Editor

Hiroyasu Kakuda Editor

Tsutomu Kamimura Editor