Advances in Software Science and Technology
- 1st Edition - September 20, 2014
- Imprint: Academic Press
- Editors: Yoshio Ohno, Hiroyasu Kakuda, Tsutomu Kamimura
- Language: English
- Paperback ISBN:9 7 8 - 1 - 4 8 3 2 - 0 2 2 7 - 3
- eBook ISBN:9 7 8 - 1 - 4 8 3 2 - 1 5 7 0 - 9
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… Read more
Purchase options
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.
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
- Edition: 1
- Published: September 20, 2014
- Imprint: Academic Press
- Language: English
Read Advances in Software Science and Technology on ScienceDirect