Advances in Software Science and Technology
Advances in Software Science and Technology

Author: Teruo Hikita

Publisher: Academic Press

Published: 2014-12-01

Total Pages: 217

ISBN-13: 1483215725

DOWNLOAD EBOOK

Advances in Software Science and Technology, Volume 4 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 two parts encompassing 10 chapters, this volume begins with an overview of the historical survey of programming languages for vector/parallel computers in Japan and describes compiling methods for supercomputers in Japan. This text then explains the model of a Japanese software factory, which is presented by the logical configuration that has been satisfied by the semantics of software engineering. Other chapters consider fluent joint as an algorithm that operates on relations organized as multidimensional linear hash files. 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, software engineers, and research workers.

Advances in Software Science and Technology
Advances in Software Science and Technology

Author: Hiroyasu Kakuda

Publisher: Academic Press

Published: 2014-12-01

Total Pages: 200

ISBN-13: 1483215717

DOWNLOAD EBOOK

Advances in Software Science and Technology, Volume 3 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 two parts encompassing 11 chapters, this volume begins with an overview of the development of a system of writing tools called SUIKOU that analyzes a machine-readable Japanese document textually. This text then presents the conditioned attribute grammars (CAGs) and a system for evaluating them that can be applied to natural-language processing. Other chapters consider an object-oriented implementation of TCP/IP network protocols, which are based on a connection-oriented implementation model. This book discusses as well the grammar and semantics of RACCO and explains its formal semantics and implementation. 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.

Advances in Software Science and Technology
Advances in Software Science and Technology

Author: Tsutomu Kamimura

Publisher: Academic Press

Published: 2014-12-03

Total Pages: 273

ISBN-13: 1483294323

DOWNLOAD EBOOK

This serial is a translation of the original works within the Japan Society of Software Science and Technology. A key source of information for computer scientists in the U.S., the serial explores the major areas of research in software and technology in Japan. These volumes are intended to promote worldwide exchange of ideas among professionals.This volume includes original research contributions in such areas as Augmented Language Logic (ALL), distributed C language, Smalltalk 80, and TAMPOPO-an evolutionary learning machine based on the principles of Realtime Minimum Skyline Detection.

Advances in Software Science and Technology
Advances in Software Science and Technology

Author: Reiji Nakajima

Publisher: Elsevier

Published: 2014-12-01

Total Pages: 232

ISBN-13: 1483215695

DOWNLOAD EBOOK

Advances in Software Science and Technology, Volume 1 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 three parts encompassing 13 chapters, this volume begins with an overview of the phase structure grammar for Japanese called JPSG, and a parser based on this grammar. This text then explores the logic-based knowledge representation called Uranus, which uses a multiple world mechanism. Other chapters consider the optimal file segmentation techniques for multi-attribute files and describe the colored-binary-trie segmentation schemes. This book discusses as well the five methods for transforming attribute grammars into efficient action routines. 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.

Advances in Software Science and Technology
Advances in Software Science and Technology

Author: Yoshio Ohno

Publisher: Elsevier

Published: 2014-12-01

Total Pages: 232

ISBN-13: 1483215709

DOWNLOAD EBOOK

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.

Advances in Machine Learning Applications in Software Engineering
Advances in Machine Learning Applications in Software Engineering

Author: Zhang, Du

Publisher: IGI Global

Published: 2006-10-31

Total Pages: 498

ISBN-13: 1591409438

DOWNLOAD EBOOK

"This book provides analysis, characterization and refinement of software engineering data in terms of machine learning methods. It depicts applications of several machine learning approaches in software systems development and deployment, and the use of machine learning methods to establish predictive models for software quality while offering readers suggestions by proposing future work in this emerging research field"--Provided by publisher.

Advances in Computers
Advances in Computers

Author: Marvin Zelkowitz

Publisher: Academic Press

Published: 2009-06-12

Total Pages: 307

ISBN-13: 0080880312

DOWNLOAD EBOOK

This is volume 73 of Advances in Computers. This series, which began publication in 1960, is the oldest continuously published anthology that chronicles the ever- changing information technology field. In these volumes we publish from 5 to 7 chapters, three times per year, that cover the latest changes to the design, development, use and implications of computer technology on society today. In this current volume, subtitled "Emerging Technologies, we discuss several new advances in computer software generation as well as describe new applications of those computers.The first chapter gives an overview of various software development technologies that have been applied during the past 40 years with the goal of improving the software development process. This includes various methods such as structured development methods, reviews, object-oriented methods and rapid development technologies. Chapter 2 explores implications of UML as an emerging design notation for software.Chapter 3 looks at the emerging concept of pervasive computing and its impact on resource management and security. The authors discuss how the goal of transparency of computers affects efficiency of the system as well as security concerns.Chapter 4 discusses RFID, or radio frequency identification. This is the technology that cheaply tags products with unique identifiers that only need to pass near a reading device rather than specifically being read by a scanner. With this technology, products can be traced through the supply chain from manufacture to use easily.In the final chapter, the authors discuss the use of robot technology in medicine, specifically computer-integrated interventional medicine (CIIM) in which robotic control takes over some or all of the aspects of surgery.

Software Security Engineering
Software Security Engineering

Author: Muthu Ramachandran

Publisher: Nova Science Pub Incorporated

Published: 2012

Total Pages: 272

ISBN-13: 9781614701286

DOWNLOAD EBOOK

Software engineering has established techniques, methods and technology over two decades. However, due to the lack of understanding of software security vulnerabilities, we have been not successful in applying software engineering principles when developing secured software systems. Therefore software security can not be added after a system has been built as seen on today's software applications. This book provides concise and good practice design guidelines on software security which will benefit practitioners, researchers, learners, and educators. Topics discussed include systematic approaches to engineering; building and assuring software security throughout software lifecycle; software security based requirements engineering; design for software security; software security implementation; best practice guideline on developing software security; test for software security and quality validation for software security.

Software Engineering for Science
Software Engineering for Science

Author: Jeffrey C. Carver

Publisher: CRC Press

Published: 2016-11-03

Total Pages: 311

ISBN-13: 1498743862

DOWNLOAD EBOOK

Software Engineering for Science provides an in-depth collection of peer-reviewed chapters that describe experiences with applying software engineering practices to the development of scientific software. It provides a better understanding of how software engineering is and should be practiced, and which software engineering practices are effective for scientific software. The book starts with a detailed overview of the Scientific Software Lifecycle, and a general overview of the scientific software development process. It highlights key issues commonly arising during scientific software development, as well as solutions to these problems. The second part of the book provides examples of the use of testing in scientific software development, including key issues and challenges. The chapters then describe solutions and case studies aimed at applying testing to scientific software development efforts. The final part of the book provides examples of applying software engineering techniques to scientific software, including not only computational modeling, but also software for data management and analysis. The authors describe their experiences and lessons learned from developing complex scientific software in different domains. About the Editors Jeffrey Carver is an Associate Professor in the Department of Computer Science at the University of Alabama. He is one of the primary organizers of the workshop series on Software Engineering for Science (http://www.SE4Science.org/workshops). Neil P. Chue Hong is Director of the Software Sustainability Institute at the University of Edinburgh. His research interests include barriers and incentives in research software ecosystems and the role of software as a research object. George K. Thiruvathukal is Professor of Computer Science at Loyola University Chicago and Visiting Faculty at Argonne National Laboratory. His current research is focused on software metrics in open source mathematical and scientific software.