Author: Jeffrey J.-P. Tsai
Publisher: World Scientific
ISBN: 9789812797964
Category : Computers
Languages : en
Pages : 236
Get Book Here
Book Description
Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are very useful for the construction, analysis, and transformation of reliable large-scale and complex software systems. Contents: Current Approaches; Overview of the New Approach; FRORL Requirements Specification Language and Its Decomposition; Rewriting and Data Dependency, Control Flow Analysis of a Logic-Based Specification; Hybrid and-or Parallelism Implementation; Efficiency Considerations and Experimental Results; Mode Information Support for Automatic Transformation System; Describing Non-Functional Requirements in FRORL. Readership: Graduate students, engineers and researchers in computer science.
Author: Jeffrey J.-P. Tsai
Publisher: World Scientific
ISBN: 9810240961
Category : Computers
Languages : en
Pages : 228
Get Book Here
Book Description
Parallel processing is a very important technique for improving the performance of various software development and maintenance activities. The purpose of this book is to introduce important techniques for parallel executation of high-level specifications of software systems. These techniques are very useful for the construction, analysis, and transformation of reliable large-scale and complex software systems.
Author: Shi-kuo Chang
Publisher: World Scientific
ISBN: 9814486159
Category : Computers
Languages : en
Pages : 361
Get Book Here
Book Description
This is an excellent, up-to-date and easy-to-use text on data structures and algorithms that is intended for undergraduates in computer science and information science. The thirteen chapters, written by an international group of experienced teachers, cover the fundamental concepts of algorithms and most of the important data structures as well as the concept of interface design. The book contains many examples and diagrams. Whenever appropriate, program codes are included to facilitate learning.This book is supported by an international group of authors who are experts on data structures and algorithms, through its website at www.cs.pitt.edu/~jung/GrowingBook/, so that both teachers and students can benefit from their expertise.
Author: Natalia Juristo
Publisher: World Scientific
ISBN: 9814488836
Category : Computers
Languages : en
Pages : 274
Get Book Here
Book Description
Empirical verification of knowledge is one of the foundations for developing any discipline. As far as software construction is concerned, the empirically verified knowledge is not only sparse but also not very widely disseminated among developers and researchers. This book aims to spread the idea of the importance of empirical knowledge in software development from a highly practical viewpoint. It has two goals: (1) Define the body of empirically validated knowledge in software development so as to advise practitioners on what methods or techniques have been empirically analysed and what the results were; (2) as empirical tests have traditionally been carried out by universities or research centres, propose techniques applicable by industry to check on the software development technologies they use.
Author: Silvia T. Acuna
Publisher: World Scientific
ISBN: 9812566198
Category : Science
Languages : en
Pages : 222
Get Book Here
Book Description
Over the years, a variety of software process models have been designed to structure, describe and prescribe the software systems construction process. More recently, software process modelling is increasingly dealing with new challenges raised by the tests that the software industry has to face.This book addresses these new trends in software process modeling related to: ? Processes for open source software;? Systems dynamics to model and simulate the software process;? Peopleware: the importance of people in the software development and by extension in the software process.One new software development trend is the development of open source projects. As such projects are a recent creation, the process model governing this type of developments is unfamiliar. This book deals with process modeling for open source software. It also deals with software process simulation applied to the management of software projects and improves the software development process capability according to CMM (Capability Maturity Model).Software development is a conjunction of: the organizational environment, the social environment and the technological environment. The inclusion of these environments will make it possible to output software process models that meet the specified organizational, cultural and technological requirements, providing an exhaustive analysis of the people in the software process, as well as supporting people-oriented software development. This book deals with the development of software by means of people-oriented process models that have proven to be very beneficial
Author: Silvia Teresita Acuna
Publisher: World Scientific
ISBN: 9814478881
Category : Computers
Languages : en
Pages : 219
Get Book Here
Book Description
Over the years, a variety of software process models have been designed to structure, describe and prescribe the software systems construction process. More recently, software process modelling is increasingly dealing with new challenges raised by the tests that the software industry has to face.This book addresses these new trends in software process modeling related to:• Processes for open source software;• Systems dynamics to model and simulate the software process;• Peopleware: the importance of people in the software development and by extension in the software process.One new software development trend is the development of open source projects. As such projects are a recent creation, the process model governing this type of developments is unfamiliar. This book deals with process modeling for open source software. It also deals with software process simulation applied to the management of software projects and improves the software development process capability according to CMM (Capability Maturity Model).Software development is a conjunction of: the organizational environment, the social environment and the technological environment. The inclusion of these environments will make it possible to output software process models that meet the specified organizational, cultural and technological requirements, providing an exhaustive analysis of the people in the software process, as well as supporting people-oriented software development. This book deals with the development of software by means of people-oriented process models that have proven to be very beneficial.
Author: Robert G Reynolds
Publisher: World Scientific
ISBN: 9814497959
Category : Computers
Languages : en
Pages : 164
Get Book Here
Book Description
This is the first book that attempts to provide a framework in which to embed an automatic programming system based on evolutionary learning (genetic programming) into a traditional software engineering environment. As such, it looks at how traditional software engineering knowledge can be integrated with an evolutionary programming process in a symbiotic way.
Author: Andrea F Abate
Publisher: World Scientific
ISBN: 9814481106
Category : Computers
Languages : en
Pages : 135
Get Book Here
Book Description
There is a strong need for advances in the fields of image indexing and retrieval and visual query languages for multimedia databases. Image technology is facing both classical and novel problems for the organization and filtering of increasingly large amounts of pictorial data. Novel kinds of problems, such as indexing and high-level content-base, accessing to image databases, human interaction with multimedia systems, approaches to multimedial data, biometrics, data mining, computer graphics and augmented reality, have grown into real-life issues.The papers in this proceedings volume relate to the subject matter of multimedia databases and image communication. They offer different approaches which help to keep the field of research lively and interesting.
Author: Patrizio Pelliccione
Publisher: World Scientific
ISBN: 9812705031
Category : Technology & Engineering
Languages : en
Pages : 293
Get Book Here
Book Description
When architecting dependable systems, fault tolerance is required to improve the overall system robustness. Many studies have been proposed, but the solutions are usually commissioned late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the error recovery effectiveness. Since the system design typically models only normal behaviors of the system while ignoring exceptional ones, the generated system implementation is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to some faults. Researchers have advocated that fault tolerance management during the entire life-cycle improves the overall system robustness and that different classes of exceptions must be identified for each identified phase of software development, depending on the abstraction level of the software system being modeled. This book builds on this trend and investigates how fault tolerance mechanisms can be used when engineering a software system. New problems will arise, new models are needed at different abstraction levels, methodologies for mode driven engineering of such systems must be defined, new technologies are required, and new validation and verification environments are necessary.
Author: Sergio Vitulano
Publisher: World Scientific
ISBN: 981270423X
Category : Computers
Languages : en
Pages : 223
Get Book Here
Book Description
This volume emphasizes the primary role played by images in computer science. In the last two decades images have replaced written texts; the enormous possibilities of the image language have overcome written language in an ever-more-restricted ambit.An image is better than one thousand words; so it was straightforward to apply visual language in the field of computer science. Nowadays everything that appears on a computer screen is an image, regardless of whether it is a word or a picture. Is it possible to realize an e-learning program without working in terms of images? The answer is undoubtedly no, even if several problems arise in this context: the qualitative and quantitative content of the image we need to use for a specific task; the psychological effect on the user, including the level of attention and the correct perception of the image significance. Most of these problems form the basis of image-understanding techniques.Widespread use of images requires organization of the information in the databank or database, whose dimensions are sometimes so wide as to be too complex to manage; therefore information retrieval techniques arise from this need. The new instruments used in image and/or remote diagnosis, image transmission, the respect of the law in force and the ever-more-relevant image storage capacity required for this task imply the use of techniques of visual language and information retrieval.The proceedings have been selected for coverage in: OCo Index to Scientific & Technical Proceedings- (ISTP- / ISI Proceedings)OCo Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings)"
