› › Software Technology

Software Technology

Author : Mike Hinchey

Publisher : John Wiley & Sons

Page : 374 pages

File Size : 24,35 MB

Release : 2018-07-09

Category : Computers

ISBN : 1119174228

Get eBook

Book Description

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

Author : Coral Calero

Publisher : Springer Science & Business Media

Page : 344 pages

File Size : 20,62 MB

Release : 2006-10-12

Category : Computers

ISBN : 3540345183

Get eBook

Book Description

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

Author : David Grover

Publisher :

Page : 366 pages

File Size : 39,64 MB

Release : 2011

Category : Information technology

ISBN : 9781442539129

Get eBook

Book Description

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.



Algebraic Methodology and Software Technology

Author : Martin Wirsing

Publisher : Springer Science & Business Media

Page : 660 pages

File Size : 18,43 MB

Release : 1996-06-19

Category : Computers

ISBN : 9783540614630

Get eBook

Book Description

Content Description #Includes bibliographical references and index.



Reliable Software Technology – Ada-Europe 2005

Author : Tullio Vardanega

Publisher : Springer Science & Business Media

Page : 285 pages

File Size : 38,87 MB

Release : 2005-06-08

Category : Business & Economics

ISBN : 3540262865

Get eBook

Book Description

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

Author : Charles Rattray

Publisher : Springer

Page : 578 pages

File Size : 35,51 MB

Release : 2004-11-11

Category : Computers

ISBN : 354027815X

Get eBook

Book Description

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004. The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting, Kleene algebra, programming logic, etc.



Exploring Higher Vocational Software Technology Education

Author : Chen Ping

Publisher : Partridge Publishing Singapore

Page : 142 pages

File Size : 22,6 MB

Release : 2024-09-30

Category : Education

ISBN : 1543782612

Get eBook

Book Description

Exploring Higher Vocational Software Technology Education offers a comprehensive analysis of the current landscape of software technology education in Chinese vocational colleges. It addresses the challenges and opportunities in cultivating skilled software professionals in the rapidly evolving digital economy. The book covers key areas such as curriculum design, practical teaching, and faculty development, providing actionable insights for educators, administrators, and policymakers. Through comparative analysis with international best practices, it offers recommendations for optimizing software technology education to better meet industry demands. The book also features case studies highlighting innovative approaches, such as school-enterprise collaboration and project-driven learning, which are essential in bridging the gap between theory and practice. This work serves as a valuable reference not only for Chinese educators but also for an international audience interested in understanding China’s vocational education model and how it can inform global education reform. Whether you’re an academic, a practitioner, or a policymaker, this book offers practical pathways for enhancing the quality of technical talent development in today’s competitive global market.



Algebraic Methodology and Software Technology

Author : Michael Johnson

Publisher : Springer Science & Business Media

Page : 612 pages

File Size : 10,35 MB

Release : 1997-12

Category : Computers

ISBN : 9783540638889

Get eBook

Book Description

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

Author : Gerhard Joubert

Publisher : Elsevier

Page : 975 pages

File Size : 29,96 MB

Release : 2004-09-23

Category : Computers

ISBN : 0080538436

Get eBook

Book Description

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.