Author: Mike Hinchey
Publisher: John Wiley & Sons
ISBN: 111917421X
Category : Computers
Languages : en
Pages : 370
Get Book Here
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.
Author: Coral Calero
Publisher: Springer Science & Business Media
ISBN: 3540345183
Category : Computers
Languages : en
Pages : 344
Get Book Here
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.
Author: Martin Wirsing
Publisher: Springer Science & Business Media
ISBN: 9783540614630
Category : Computers
Languages : en
Pages : 660
Get Book Here
Book Description
Content Description #Includes bibliographical references and index.
Author: Manuel Mazzara
Publisher: Springer Nature
ISBN: 3030298523
Category : Computers
Languages : en
Pages : 429
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions. The papers discuss all aspects of software engineering and programming languages; machine learning; internet of things; security computer architectures and robotics; and projects.
Author: David Grover
Publisher:
ISBN: 9781442539129
Category : Information technology
Languages : en
Pages : 366
Get Book Here
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.
Author: Markus Völter
Publisher: John Wiley & Sons
ISBN: 111872576X
Category : Computers
Languages : en
Pages : 414
Get Book Here
Book Description
Model-Driven Software Development (MDSD) is currently a highly regarded development paradigm among developers and researchers. With the advent of OMG's MDA and Microsoft's Software Factories, the MDSD approach has moved to the centre of the programmer's attention, becoming the focus of conferences such as OOPSLA, JAOO and OOP. MDSD is about using domain-specific languages to create models that express application structure or behaviour in an efficient and domain-specific way. These models are subsequently transformed into executable code by a sequence of model transformations. This practical guide for software architects and developers is peppered with practical examples and extensive case studies. International experts deliver: * A comprehensive overview of MDSD and how it relates to industry standards such as MDA and Software Factories. * Technical details on meta modeling, DSL construction, model-to-model and model-to-code transformations, and software architecture. * Invaluable insight into the software development process, plus engineering issues such as versioning, testing and product line engineering. * Essential management knowledge covering economic and organizational topics, from a global perspective. Get started and benefit from some practical support along the way!
Author: V. Arvind
Publisher: Springer
ISBN: 3540493824
Category : Computers
Languages : en
Pages : 405
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'98, held in Chennai, India, in December 1998. The 28 revised full papers presented were carefully selected from a total of 93 submissions; also included are six invited contributions. The papers deal with theoretical topics ranging from discrete mathematics and algorithmic aspects to software engineering, program semantics and mathematical logic.
Author: P.S. Thiagarajan
Publisher: Springer Science & Business Media
ISBN: 9783540587156
Category : Computers
Languages : en
Pages : 472
Get Book Here
Book Description
This volume presents the proceedings of the 14th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FST&TCS-14, held in Madras, India in December 1994. Besides the five invited papers by well-known researchers, it includes 31 full refereed research papers selected out of a total of 140 submissions. The papers contribute to the whole area of theoretical computer science with an emphasis on algorithms and complexity. Other topics covered are program semantics, program verification, formal logic, computational geometry, concurrency, unification, and discrete mathematics.
Author: Sally A. Fincher
Publisher:
ISBN: 1108756212
Category : Computers
Languages : en
Pages : 924
Get Book Here
Book Description
This is an authoritative introduction to Computing Education research written by over 50 leading researchers from academia and the industry.
Author: Alan H. Watt
Publisher: Addison Wesley Publishing Company
ISBN:
Category : Computers
Languages : en
Pages : 858
Get Book Here
Book Description
Accompanying CD-ROM in v. 1 contains ... "full Fly 3 D SDK including source code for Fly3D.dll, front-ends, plug-ins and utilities; 5 demo levels: car, walk (2 levels), ship (2 levels); Engine Reference Manual and tutorials in HTML; book images."--Page 4 of cover.
