Software Technologies

Software Technologies Book in PDF, ePub and Kindle version is available to download in english. Read online anytime anywhere directly from your device. Click on the download button below to get a free pdf file of Software Technologies book. This book definitely worth reading, it is an incredibly well-written.

Software Technologies

Author : Hans-Georg Fill,Marten van Sinderen,Leszek A. Maciaszek
Publisher : Springer Nature
Page : 242 pages
File Size : 44,6 Mb
Release : 2023-07-18
Category : Computers
ISBN : 9783031372315

Get Book

Software Technologies by Hans-Georg Fill,Marten van Sinderen,Leszek A. Maciaszek Pdf

This book includes extended and revised versions of a set of selected papers from the 17th International Conference on Software Technologies, ICSOFT 2022, held in Lisbon, Portugal, during July 11–13, 2022. The 10 full papers included in this book were carefully reviewed and selected from 102 submissions. They were organized in topical sections as follows: tool assisted empirical approach to reusability models assessment; functional programming; three forms of mutant subsumption: basic, strict and broad; and on the efficiency of building large collections of software: modeling, algorithms, and experimental results.

Software Technologies

Author : Enrique Cabello,Jorge Cardoso,Leszek A. Maciaszek,Marten van Sinderen
Publisher : Springer
Page : 309 pages
File Size : 46,6 Mb
Release : 2018-06-07
Category : Computers
ISBN : 9783319936413

Get Book

Software Technologies by Enrique Cabello,Jorge Cardoso,Leszek A. Maciaszek,Marten van Sinderen Pdf

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Joint Conference on Software Technologies, ICSOFT 2017, held in Madrid, Spain, in July 2017. The 17 revised full papers and 24 short papers presented were carefully reviewed and selected from 85 submissions. The topics covered in the papers include: software quality and metrics; software testing and maintenance; development methods and models; systems security; dynamic software updates; systems integration; business process modelling; intelligent problem solving; multi-agent systems; and solutions involving big data, the Internet of Things and business intelligence.

Software Technologies

Author : Marten van Sinderen,Leszek A. Maciaszek,Hans-Georg Fill
Publisher : Springer Nature
Page : 263 pages
File Size : 49,7 Mb
Release : 2021-07-20
Category : Computers
ISBN : 9783030830076

Get Book

Software Technologies by Marten van Sinderen,Leszek A. Maciaszek,Hans-Georg Fill Pdf

This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, which was held virtually due to the Covid-19 pandemic. The 12 revised full papers were carefully reviewed and selected from 95 submissions. The papers deal with the following topics: business process modelling; IT service management; interoperability and service-oriented architecture; project management software; scheduling and estimating; software metrics; requirements elicitation and specification; software and systems integration among others.

Information and Software Technologies

Author : Audrius Lopata,Daina Gudonienė,Rita Butkienė
Publisher : Springer Nature
Page : 396 pages
File Size : 48,8 Mb
Release : 2021-10-08
Category : Computers
ISBN : 9783030883041

Get Book

Information and Software Technologies by Audrius Lopata,Daina Gudonienė,Rita Butkienė Pdf

This book constitutes the refereed proceedings of the 27th International Conference on Information and Software Technologies, ICIST 2021, held in Kaunas, Lithuania, in October 2021. The 24 full papers and 6 short papers presented were carefully reviewed and selected from 79 submissions. The papers discuss such topics as ​business intelligence for information and software systems, intelligent methods for data analysis and computer aided software engineering, information technology applications, smart e-learning technologies and applications, language technologies.

Information and Software Technologies

Author : Giedre Dregvaite,Robertas Damasevicius
Publisher : Springer
Page : 432 pages
File Size : 48,9 Mb
Release : 2014-09-11
Category : Computers
ISBN : 9783319119588

Get Book

Information and Software Technologies by Giedre Dregvaite,Robertas Damasevicius Pdf

This book constitutes the refereed proceedings of the 20th International Conference on Information and Software Technologies, ICIST 2014, held in Druskininkai, Lithuania, in October 2014. The 34 papers presented were carefully reviewed and selected from 68 submissions. The papers are organized in topical sections such as information systems; business intelligence for information and software systems; software engineering; information technology applications.

Reliable Software Technologies – Ada-Europe 2018

Author : António Casimiro,Pedro M. Ferreira
Publisher : Springer
Page : 179 pages
File Size : 40,5 Mb
Release : 2018-06-11
Category : Computers
ISBN : 9783319924328

Get Book

Reliable Software Technologies – Ada-Europe 2018 by António Casimiro,Pedro M. Ferreira Pdf

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains.

Reliable Software Technologies – Ada-Europe 2011

Author : Alexander Romanovsky,Tullio Vardanega
Publisher : Springer
Page : 227 pages
File Size : 49,5 Mb
Release : 2011-06-29
Category : Computers
ISBN : 9783642213380

Get Book

Reliable Software Technologies – Ada-Europe 2011 by Alexander Romanovsky,Tullio Vardanega Pdf

This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.

Reliable Software Technologies - Ada-Europe 2008

Author : Fabrice Kordon,Tullio Vardanega
Publisher : Springer Science & Business Media
Page : 294 pages
File Size : 41,5 Mb
Release : 2008-06-03
Category : Business & Economics
ISBN : 9783540686217

Get Book

Reliable Software Technologies - Ada-Europe 2008 by Fabrice Kordon,Tullio Vardanega Pdf

This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008. The 20 revised full papers presented were carefully reviewed and selected from numerous submissions. The conference proceedings published in this volume cover topics ranging from formal verification to real-time systems via concurrency, embedded systems, language technologies, model-driven engineering and applications of Petri Nets.

Reliable Software Technologies - Ada-Europe '99

Author : Michael Gonzalez Harbour,Juan A. de la Puente
Publisher : Springer Science & Business Media
Page : 464 pages
File Size : 53,9 Mb
Release : 1999-05-26
Category : Business & Economics
ISBN : 9783540660934

Get Book

Reliable Software Technologies - Ada-Europe '99 by Michael Gonzalez Harbour,Juan A. de la Puente Pdf

This book constitutes the refereed proceedings of the 1999 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe '99, held in Santander, Spain in June 1999. The 36 revised full papers presented together with an invited contribution were carefully reviewed and selected from a large number of submissions. All current issues associated with the Ada programming language are addressed. The papers are organized in sections on Ravenscar profile and high-integrity systems, software architectures and design, testing, formal methods, education, distributed systems, real-time scheduling and kernels, tools, hardware/software codesign, fault-tolerance, and case studies.

Reliable Software Technologies Ada-Europe 2000

Author : Hubertus B. Keller,Erhard Plödereder
Publisher : Springer
Page : 306 pages
File Size : 54,6 Mb
Release : 2006-12-30
Category : Computers
ISBN : 9783540450986

Get Book

Reliable Software Technologies Ada-Europe 2000 by Hubertus B. Keller,Erhard Plödereder Pdf

This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They were organized in topical sections named: safety and security; Ada 202X; handling implicit overhead; real-time scheduling; and new application domains.

Reliable Software Technology – Ada-Europe 2005

Author : Tullio Vardanega,Andy Wellings
Publisher : Springer
Page : 276 pages
File Size : 48,8 Mb
Release : 2005-06-07
Category : Computers
ISBN : 9783540316664

Get Book

Reliable Software Technology – Ada-Europe 2005 by Tullio Vardanega,Andy Wellings Pdf

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run for 16 consecutive years, the International Conference on Reliable Software Technologies celebrated this year its tenth anniversary by going to York, UK, where the ?rst series of technical meetings on Ada were held in the 1970s. Besides being a beautiful and historical place in itself, York also hosts the Depa- ment of Computer Science of the local university, whose Real-Time Group has been tremendously in?uential in shaping the Ada language and in the progress on real-time computing worldwide. This year’s conference was therefore put together under exc- lent auspices, in a very important year for the Ada community in view of the forthc- ing completion of the revision process that is upgrading the language standard to face the challenges of the new millennium. The conference took place on June 20–24, 2005. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. The conference was organized by selected staff of the University of York teamed up with collaborators from various places in Europe, in what turned out to be a very effective instance of distributed collaborative processing. The conference also enjoyed the generous support of 11 industrial sponsors.

Reliable Software Technologies - Ada-Europe 2009

Author : Fabrice Kordon
Publisher : Springer Science & Business Media
Page : 295 pages
File Size : 44,9 Mb
Release : 2009-05-25
Category : Computers
ISBN : 9783642019234

Get Book

Reliable Software Technologies - Ada-Europe 2009 by Fabrice Kordon Pdf

This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009. The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.

Learning Management System Technologies and Software Solutions for Online Teaching: Tools and Applications

Author : Kats, Yefim
Publisher : IGI Global
Page : 486 pages
File Size : 45,8 Mb
Release : 2010-05-31
Category : Technology & Engineering
ISBN : 9781615208548

Get Book

Learning Management System Technologies and Software Solutions for Online Teaching: Tools and Applications by Kats, Yefim Pdf

"This book gives a general coverage of learning management systems followed by a comparative analysis of the particular LMS products, review of technologies supporting different aspect of educational process, and, the best practices and methodologies for LMS-supported course delivery"--Provided by publisher.

Handbook Of Software Engineering And Knowledge Engineering, Vol 2: Emerging Technologies

Author : Shi-kuo Chang
Publisher : World Scientific
Page : 807 pages
File Size : 47,9 Mb
Release : 2002-05-10
Category : Computers
ISBN : 9789814491785

Get Book

Handbook Of Software Engineering And Knowledge Engineering, Vol 2: Emerging Technologies by Shi-kuo Chang Pdf

This is the first handbook to cover comprehensively both software engineering and knowledge engineering - two important fields that have become interwoven in recent years. Over 60 international experts have contributed to the book. Each chapter has been written in such a way that a practitioner of software engineering and knowledge engineering can easily understand and obtain useful information. Each chapter covers one topic and can be read independently of other chapters, providing both a general survey of the topic and an in-depth exposition of the state of the art. Practitioners will find this handbook useful when looking for solutions to practical problems. Researchers can use it for quick access to the background, current trends and most important references regarding a certain topic.The handbook consists of two volumes. Volume One covers the basic principles and applications of software engineering and knowledge engineering.Volume Two will cover the basic principles and applications of visual and multimedia software engineering, knowledge engineering, data mining for software knowledge, and emerging topics in software engineering and knowledge engineering.

Emerging Technologies for Innovation Management in the Software Industry

Author : Gupta, Varun,Gupta, Chetna
Publisher : IGI Global
Page : 282 pages
File Size : 47,7 Mb
Release : 2022-05-20
Category : Computers
ISBN : 9781799890614

Get Book

Emerging Technologies for Innovation Management in the Software Industry by Gupta, Varun,Gupta, Chetna Pdf

Innovation is the key to maintain competitive advantage. Innovation in products, processes, and business models help companies to provide economic value to their customers. Identifying the innovative ideas, implementing those ideas, and absorbing them in the market requires investing many resources that could incur large costs. Technology encourages companies to foster innovation to remain competitive in the marketplace. Emerging Technologies for Innovation Management in the Software Industry serves as a resource for technology absorption in companies supporting innovation. It highlights the role of technology to assist software companies—especially small start-ups—to innovate their products, processes, and business models. This book provides the necessary guidelines of which tools to use and under what situations. Covering topics such as risk management, prioritization approaches, and digitally-enabled innovation processes, this premier reference source is an ideal resource for entrepreneurs, software developers, software managers, business leaders, engineers, students and faculty of higher education, researchers, and academicians.