Advances in Software Science and Technology
( Volume 2 )
Publication series ：Volume 2
Author： Ohno Yoshio;Kakuda Hiroyasu;Kamimura Tsutomu
Publisher： Elsevier Science
Publication year： 2014
E-ISBN: 9781483215709
P-ISBN(Paperback): 9780120371020
Subject： TP311 程序设计、软件工程
Keyword： 一般工业技术
Language： ENG
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
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.