Software Technologies
DOWNLOAD
Download Software Technologies PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Software Technologies book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages. If the content not found or just blank you must refresh this page
Software Technologies
DOWNLOAD
Author : Hans-Georg Fill
language : en
Publisher: Springer Nature
Release Date : 2023-07-18
Software Technologies written by Hans-Georg Fill and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2023-07-18 with Computers categories.
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
DOWNLOAD
Author : Andreas Holzinger
language : en
Publisher: Springer
Release Date : 2015-10-16
Software Technologies written by Andreas Holzinger and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2015-10-16 with Computers categories.
This book constitutes the thoroughly refereed proceedings of the 9th International Joint Conference on Software Technologies, ICSOFT 2014, held in Vienna, Austria, in August 2014. The 15 revised full papers and 6 short papers presented were carefully reviewed and selected from 145 submissions. The papers focus on enterprise software technologies; software engineering and systems security; distributed systems; and software project management.
Software Technologies
DOWNLOAD
Author : Enrique Cabello
language : en
Publisher: Springer
Release Date : 2017-07-11
Software Technologies written by Enrique Cabello and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2017-07-11 with Computers categories.
This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including: Modelling for mobile devices Software and system testing Model-driven software development Reengineering systems for multi-tenancy Embedded and real-time systems reconguration Domain-specic languages and modelling Software and systems quality Context-aware and dynamically adapting software systems
Software Technologies
DOWNLOAD
Author : Marten van Sinderen
language : en
Publisher: Springer Nature
Release Date : 2021-07-20
Software Technologies written by Marten van Sinderen and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2021-07-20 with Computers categories.
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
DOWNLOAD
Author : Giedre Dregvaite
language : en
Publisher: Springer
Release Date : 2014-09-11
Information And Software Technologies written by Giedre Dregvaite and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2014-09-11 with Computers categories.
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.
Information And Software Technologies
DOWNLOAD
Author : Audrius Lopata
language : en
Publisher: Springer Nature
Release Date : 2021-10-08
Information And Software Technologies written by Audrius Lopata and has been published by Springer Nature this book supported file pdf, txt, epub, kindle and other format this book has been release on 2021-10-08 with Computers categories.
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
DOWNLOAD
Author : Tomas Skersys
language : en
Publisher: Springer
Release Date : 2013-11-13
Information And Software Technologies written by Tomas Skersys and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2013-11-13 with Computers categories.
This book constitutes the refereed proceedings of the 18th International Conference on Information and Software Technologies, ICIST 2012, held in Kaunas, Lithuania, in September 2012. The 40 revised full papers presented were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections on artificial intelligence and knowledge engineering, business process modelling, analysis and design, formal analysis and design methods, information and software systems engineering, information technology applications and computer networks, information technology in teaching and learning, ontology, conceptual modelling and databases, requirements engineering and business rules.
Information And Software Technologies
DOWNLOAD
Author : Robertas Damaševičius
language : en
Publisher: Springer
Release Date : 2018-08-28
Information And Software Technologies written by Robertas Damaševičius and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-08-28 with Computers categories.
This book constitutes the refereed proceedings of the 24th International Conference on Information and Software Technologies, ICIST 2018, held in Vilnius, Lithuania, in October 2018. The 48 papers presented were carefully reviewed and selected from 124 submissions. The papers are organized in topical sections on information systems; business intelligence for information and software systems; software engineering; and information technology applications.
Software Technologies Applications And Foundations
DOWNLOAD
Author : Manuel Mazzara
language : en
Publisher: Springer
Release Date : 2018-12-06
Software Technologies Applications And Foundations written by Manuel Mazzara and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2018-12-06 with Computers categories.
This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions. The events whose papers are included in this volume are: CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical Systems DataMod 2018: 7th International Symposium From Data to Models and Back FMIS 2018: 7th International Workshop on Formal Methods for Interactive Systems FOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative Systems GCM 2018: 9th International Workshop on Graph Computation Models MDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems MSE 2018: 3rd International Workshop on Microservices: Science and Engineering SecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering
Reliable Software Technologies Ada Europe 2004
DOWNLOAD
Author : Albert Llamosi
language : en
Publisher: Springer
Release Date : 2004-04-22
Reliable Software Technologies Ada Europe 2004 written by Albert Llamosi and has been published by Springer this book supported file pdf, txt, epub, kindle and other format this book has been release on 2004-04-22 with Computers categories.
The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14–18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the University of the Balearic Islands (UIB). As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when the attendees had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development. Invited Speakers Theconferencepresentedfourdistinguishedspeakers,whodeliveredstate-of-t- art information on topics of great importance, both for now and for the future of software engineering: – S. Tucker Taft, SoftCheck Inc., USA Fixing software before it breaks: using static analysis to help solve the so- ware quality quagmire – Martin Gogolla, University of Bremen, Germany Bene?ts and problems of formal methods – Antoni Oliv ́ e, Polytechnical University of Catalonia, Spain On the role of conceptual schemas in information systems’ development – Stephen Vinoski, IONA Technologies in Waltham, USA Can middleware be reliable? Wewouldliketoexpressoursinceregratitudetothesedistinguishedspeakers, well known to the community, for sharing their insights with the conference participants. Submitted Papers Alargenumberofpapersweresubmitted,fromasmanyas15di?erentcountries.