Software Technology

Software Technology
Author: Mike Hinchey
Publisher: John Wiley & Sons
Total Pages: 374
Release: 2018-07-09
Genre: Computers
ISBN: 1119174228

A comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columns This book is a compendium of extended and revised publications that have appeared in the “Software Technologies” column of IEEE Computer magazine, which covers key topics in software engineering such as software development, software correctness and related techniques, cloud computing, self-managing software and self-aware systems. Emerging properties of software technology are also discussed in this book, which will help refine the developing framework for creating the next generation of software technologies and help readers predict future developments and challenges in the field. Software Technology provides guidance on the challenges of developing software today and points readers to where the best advances are being made. Filled with one insightful article after another, the book serves to inform the conversation about the next wave of software technology advances and applications. In addition, the book: Introduces the software landscape and challenges associated with emerging technologies Covers the life cycle of software products, including concepts, requirements, development, testing, verification, evolution, and security Contains rewritten and updated articles by leaders in the software industry Covers both theoretical and practical topics Informative and thought-provoking throughout, Software Technology is a valuable book for everyone in the software engineering community that will inspire as much as it will teach all who flip through its pages.

Ontologies for Software Engineering and Software Technology

Ontologies for Software Engineering and Software Technology
Author: Coral Calero
Publisher: Springer Science & Business Media
Total Pages: 344
Release: 2006-10-12
Genre: Computers
ISBN: 3540345183

This book covers two applications of ontologies in software engineering and software technology: sharing knowledge of the problem domain and using a common terminology among all stakeholders; and filtering the knowledge when defining models and metamodels. By presenting the advanced use of ontologies in software research and software projects, this book is of benefit to software engineering researchers in both academia and industry.

Information and Software Technology

Information and Software Technology
Author: David Grover
Publisher:
Total Pages: 366
Release: 2011
Genre: Information technology
ISBN: 9781442539129

The student book provides a clear project development focus in line with the spirit of the syllabus. It presents a precise coverage of the Core topics to provide a ready reference as the Options are studied.

Reliable Software Technology – Ada-Europe 2005

Reliable Software Technology – Ada-Europe 2005
Author: Tullio Vardanega
Publisher: Springer Science & Business Media
Total Pages: 285
Release: 2005-06-08
Genre: Business & Economics
ISBN: 3540262865

This book constitutes the refereed proceedings of the 10th International Conference on Reliable Software Technologies, Ada-Europe 2005, held in York, UK in June 2005. The 21 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on applications, design and scheduling, formal methods, Ada and education, certification and verification, distributed systems, language aspects, and Ravenscar technology.

Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology
Author: Michael Johnson
Publisher: Springer Science & Business Media
Total Pages: 612
Release: 1997-12
Genre: Computers
ISBN: 9783540638889

This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume presents 48 revised full papers selected from an unusually high number of submissions. One of the outstanding features of AMAST is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies, and industrial development. The volume addresses all current aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.

Parallel Computing: Software Technology, Algorithms, Architectures & Applications

Parallel Computing: Software Technology, Algorithms, Architectures & Applications
Author: Gerhard Joubert
Publisher: Elsevier
Total Pages: 975
Release: 2004-09-23
Genre: Computers
ISBN: 0080538436

Advances in Parallel Computing series presents the theory and use of of parallel computer systems, including vector, pipeline, array, fifth and future generation computers and neural computers. This volume features original research work, as well as accounts on practical experience with and techniques for the use of parallel computers.

Algebraic Methodology and Software Technology (AMAST’93)

Algebraic Methodology and Software Technology (AMAST’93)
Author: Maurice Nivat
Publisher: Springer Science & Business Media
Total Pages: 429
Release: 2012-12-06
Genre: Computers
ISBN: 1447132270

The goal of the AMAST conferences is to foster algebraic methodology as a foundation for software technology, and to show that this can lead to practical mathematical alternatives to the ad-hoc approaches commonly used in software engineering and development. The first two AMAST conferences, held in May 1989 and May 1991 at the University of Iowa, were well received and encouraged the regular organization of further AMAST conferences on a biennial schedule. The third Conference on Algebraic Methodology and Software Technology was held in the campus of the University of Twente, The Netherlands, during the first week of Summer 1993. Nearly a hundred people from all continents attended the conference. The largest interest received by the AMAST conference among the professionals extended to include the administration organizations as well. AMAST'93 was opened by the Rector of the University of Twente, followed by the Local Chairman. Their opening addresses open this proceedings, too. The proceedings contains 8 invited papers and 32 selected communica tions. The selection was very strict, for 121 submissions were received.

Foundations of Software Technology and Theoretical Computer Science

Foundations of Software Technology and Theoretical Computer Science
Author: Vijay Chandru
Publisher: Springer Science & Business Media
Total Pages: 408
Release: 1996-11-27
Genre: Computers
ISBN: 9783540620341

This book constitutes the refereed proceedings of the 16th International Conference on Foundations of Software Technology and Theoretical Computer Science, FST&TCS '96, held in Hyderabad, India, in December 1996. The volume presents 28 revised full papers selected from a total of 98 submissions; also included are four invited contributions. The papers are organized in topical sections on computational geometry, process algebras, program semantics, algorithms, rewriting and equational-temporal logics, complexity theory, and type theory.