- Table View
- List View
Software, System, and Service Engineering: S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, Held as Part of FedCSIS 2023, Warsaw, Poland, 17–20 September 2023, Revised Selected Papers (Lecture Notes in Business Information Processing #499)
by Aleksander Jarzębowicz Ivan Luković Adam Przybyłek Mirosław Staroń Muhammad Ovais Ahmad Mirosław OchodekThis book constitutes the refereed proceedings of the S3E 2023 Topical Area, 24th Conference on Practical Aspects of and Solutions for Software Engineering, KKIO 2023, and 8th Workshop on Advances in Programming Languages, WAPL 2023, as Part of FedCSIS 2023, held in Warsaw, Poland, during September 17–20, 2023. The 6 revised papers presented in this book were carefully reviewed and selected from a total of 55 submissions. They focus on new ideas and developments in practical aspects and solutions for software engineering.
Software System Design Methods: The Challenge of Advanced Computing Technology (NATO ASI Subseries F: #22)
by Josef K. SkwirzynskiIn this volume we present the full proceedings of a NATO Advanced Study Institute (ASI) on the theme of the challenge of advanced computing technology to system design methods. This is in fact the second ASI organised by myself and my colleagues in the field of systems reliability; the first was about Electronic Systems Effectiveness and Life Cycle Costing, and the proceed ings were published by the same publisher in 1983, as "Series F (Computer and System Sciences, No. 3)". The first part of the present proceedings concentrates on the development of low-fault and fault-tolerant software. In organising this session I was greatly helped by Mr. John Musa and Professor V. R. Basili. The latter and Or. R. W. Selby open our text with their interesting approach to the problem of data collection and of observation sampling for statistical analysis of software development, software testing strategies and error analysis. The problem of clean room software development is also considered. Next Professor B. Randell discusses recursively structured fault-tolerant distributed computer systems, and bases his approach on a UNIX system example. His aim is to establish that a distributed system should be functionally equivalent to an individual computing system. Or. L. F. Pau considers knowledge engineering techniques applied to fault detection, test generation and maintenance of software. This is illustrated by a variety of examples, such as electronic failure detection, control system testing, analysis of intermittent failures, false alarm reduction and others. Following this Mr. M.
Software Systems for Astronomy (SpringerBriefs in Astronomy)
by Albert R. ConradThis book covers the use and development of software for astronomy. It describes the control systems used to point the telescope and operate its cameras and spectrographs, as well as the web-based tools used to plan those observations. In addition, the book also covers the analysis and archiving of astronomical data once it has been acquired. Readers will learn about existing software tools and packages, develop their own software tools, and analyze real data sets.
Software Technologies: 12th International Joint Conference, ICSOFT 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers (Communications in Computer and Information Science #868)
by Enrique Cabello Jorge Cardoso Leszek A. Maciaszek Marten Van SinderenThis 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: 18th International Conference, ICSOFT 2023, Rome, Italy, July 10–12, 2023, Revised Selected Papers (Communications in Computer and Information Science #2104)
by Hans-Georg Fill Francisco José Domínguez Mayo Marten Van Sinderen Leszek A. MaciaszekThis book constitutes the refereed post proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, held in Rome, Italy, during July 10–12, 2023. The 7 full papers included in this book were carefully reviewed and selected from 129 submissions. They focus on Software Engineering and Systems Development; Software Systems and Applications; and Foundational and Trigger Technologies.
Software Technologies: 16th International Conference, ICSOFT 2021, Virtual Event, July 6–8, 2021, Revised Selected Papers (Communications in Computer and Information Science #1622)
by Hans-Georg Fill Marten Van Sinderen Leszek A. MaciaszekThis book constitutes the refereed proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, Virtual Event, July 6–8, 2021. The conference was held virtually due to the COVID-19 crisis.The 10 full papers included in this book were carefully reviewed and selected from 117 submissions.
Software Technologies: 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11–13, 2022, Revised Selected Papers (Communications in Computer and Information Science #1859)
by Hans-Georg Fill Marten Van Sinderen Leszek A. MaciaszekThis 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: 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected Papers (Communications in Computer and Information Science #555)
by Andreas Holzinger Jorge Cardoso José Cordeiro Therese Libourel Leszek A. Maciaszek Marten Van SinderenThis 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: 8th International Joint Conference, ICSOFT 2013, Reykjavik, Iceland, July 29-31, 2013, Revised Selected Papers (Communications in Computer and Information Science #457)
by José Cordeiro and Marten van SinderenThis book constitutes the thoroughly refereed proceedings of the 8th International Joint Conference on Software Technologies, ICSOFT 2013, held in Reykjavik, Iceland, in July 2013. The 19 revised full papers presented were carefully reviewed and selected from 121 paper submissions. The papers focus on the following research topics and applications: new software paradigm trends and mainstream software engineering and applications.
Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers (Communications in Computer and Information Science #586)
by Pascal Lorenz Jorge Cardoso Leszek A. Maciaszek Marten Van SinderenThis book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015. The 23 revised full papers presented were carefully reviewed and selected from 117 submissions. The papers are organized around the following conference tracks: enterprise software technologies; software project management; software engineering methods and techniques; distributed and mobile software systems.
Software Technologies: Staf 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised Selected Papers (Lecture Notes in Computer Science #11176)
by Manuel Mazzara Iulian Ober Gwen SalaünThis 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 SystemsDataMod 2018: 7th International Symposium From Data to Models and BackFMIS 2018: 7th International Workshop on Formal Methods for Interactive SystemsFOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative SystemsGCM 2018: 9th International Workshop on Graph Computation ModelsMDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex SystemsMSE 2018: 3rd International Workshop on Microservices: Science and EngineeringSecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering
Software Technologies: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers (Lecture Notes in Computer Science #9946)
by Paolo Milazzo Dániel Varró Manuel WimmerThis book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.
Software Technologies: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10748)
by Martina Seidl Steffen ZschalerThis book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully reviewed and selected from 37 submissions. The events whose papers are included in this volume are: BigMDE 2017: 5th International Workshop on Scalable Model Driven Engineering GCM 2017: 8th International Workshop on Graph Computation ModelsGRAND 2017: 1st International Workshop on Grand Challenges in ModelingMORSE 2017: 4th International Workshop on Model-driven Robot Software EngineeringOCL 2017: 17th International Workshop in OCL and Textual ModelingSTAF Projects Showcase 2017: 3rd event dedicated to international and national project dissemination and cooperation
Software Technologies: 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26–28, 2019, Revised Selected Papers (Communications in Computer and Information Science #1250)
by Marten Van Sinderen Leszek A. MaciaszekThis book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019.The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: 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, etc.
Software Technologies: 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018, Revised Selected Papers (Communications in Computer and Information Science #1077)
by Marten Van Sinderen Leszek A. MaciaszekThis book constitutes the thoroughly refereed post-conference proceedings of the 13th International Joint Conference on Software Technologies, ICSOFT 2018, held in Porto, Portugal, in July 2018.The 18 revised full papers were carefully reviewed and selected from 117 submissions. The topics covered in the papers include: 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, etc.
Software Technologies: 15th International Conference, ICSOFT 2020, Online Event, July 7–9, 2020, Revised Selected Papers (Communications in Computer and Information Science #1447)
by Marten Van Sinderen Leszek A. Maciaszek Hans-Georg FillThis 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.
Software Technologies: 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers (Communications in Computer and Information Science #743)
by Marten Van Sinderen Leszek A. Maciaszek André Ludwig Jorge Cardoso Enrique CabelloThis 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 for Embedded and Ubiquitous Systems: 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Revised Papers (Lecture Notes in Computer Science #5287)
by Tony Givargis Stefano RussoEmbedded and ubiquitous computing systems have considerably increased their scope of application over the past few years, and they now also include missi- and business-critical scenarios. The advances call for a variety of compelling - sues, including dependability, real-time, quality-of-service, autonomy, resource constraints, seamless interaction, middleware support, modeling, veri?cation, validation, etc. The International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) brings together experts in the ?eld of emb- ded and ubiquitous computing systems with the aim of exchanging ideas and advancing the state of the art about the above-mentioned issues. I was honored to chair the sixth edition of the workshop, which continued the tradition of past editions with high-quality research results. I was particularly pleased to host the workshop in the wonderful scenario of Capri, with its stunning views and traditions. The workshop started in 2003 as an IEEE event, and then in 2007 it became a ?agship event of the IFIP Working Group 10.2 on embedded systems. The last few editions, held in Hakodate (Japan), Vienna (Austria), Seattle (USA), Gyeongju (Korea), and Santorini (Greece), were co-located with the IEEE - ternationalSymposiumonObject/Component/Service-OrientedReal-TimeD- tributed Computing (ISORC). This year, SEUS was held as a stand-alone event for the ?rst time, and, - spite the additionalorganizationaldi?culties, it resultedina high-qualityevent, with papers from four continents (from USA, Europe, East Asia and Australia), (co-) authored and presented from senior scientists coming from academia or leading industrial research centers.
Software Technologies for Embedded and Ubiquitous Systems: 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings (Lecture Notes in Computer Science #5860)
by Sunggu Lee Priya NarasimhanThe 7th IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) followed on the success of six previous editions in Capri, Italy (2008), Santorini, Greece (2007), Gyeongju, Korea (2006), Seattle, USA (2005), Vienna, Austria (2004), and Hokodate, Japan (2003), establishing SEUS as one of the emerging workshops in the ?eld of embedded and ubiq- tous systems. SEUS 2009 continued the tradition of fostering cross-community scienti?c excellence and establishing strong links between researchand industry. The ?elds of both embedded computing and ubiquitous systems have seen considerable growth over the past few years. Given the advances in these ?elds, and also those in the areas of distributed computing, sensor networks, midd- ware, etc. , the area of ubiquitous embedded computing is now being envisioned as the wayof the future. The systems and technologies that will arise in support of ubiquitous embedded computing will undoubtedly need to address a variety of issues, including dependability, real-time, human–computer interaction, - tonomy, resource constraints, etc. All of these requirements pose a challenge to the research community. The purpose of SEUS 2009 was to bring together - searchersand practitioners with an interest in advancing the state of the artand the state of practice in this emerging ?eld, with the hope of fostering new ideas, collaborations and technologies. SEUS 2009 would not have been possible without the e?ort of many people.
Software Technologies for Embedded and Ubiquitous Systems: 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010, Proceedings (Lecture Notes in Computer Science #6399)
by Sang Lyul Min Robert Pettit Theo UngererThe 8th IFIP Workshop on Software Technologies for Embedded and Ubiq- tous Systems (SEUS 2010) in Waidhofen/Ybbs, Austria, October 13-15, 2010, succeeded the seven previous workshops in Newport Beach, USA (2009); Capri, Italy (2008); Santorini, Greece (2007); Gyeongju, Korea (2006); Seattle, USA (2005); Vienna, Austria (2004); and Hokodate, Japan (2003); installing SEUS as a successfully established workshop in the ?eld of embedded and ubiquitous systems. SEUS 2010 continued the tradition of fostering cross-community scienti?c excellence and establishing strong links between research and industry. SEUS 2010 provided a forum where researchers and practitioners with substantial - periences and serious interests in advancing the state of the art and the state of practice in the ?eld of embedded and ubiquitous computing systems gathered with the goal of fostering new ideas, collaborations, and technologies. The c- tributions in this volume present advances in integrating the ?elds of embedded computing and ubiquitous systems. The call for papers attracted 30 submissions from all around the world. Each submission was assigned to at least four members of the Program Committee for review. The Program Committee decided to accept 21 papers, which were arranged in eight sessions. The accepted papers are from Austria, Denmark, France, Germany, Italy, Japan, Korea, Portugal, Taiwan, UK, and USA. Two keynotes complemented the strong technical program.
Software Technologies for Embedded and Ubiquitous Systems: 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, 2007, Revised Papers (Lecture Notes in Computer Science #4761)
by Roman Obermaisser Yunmook Nah Peter Puschner Franz J. RammigThis book constitutes the thoroughly refereed post-proceedings of the 5th IFIP WG 10.2 International Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, SEUS 2007, held in conjunction with ISORC 2007, the 10th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing. Coverage includes ubiquitous computing frameworks, validation of embedded and ubiquitous systems, and ubiquitous computing applications.
Software Technology: 10 Years of Innovation in IEEE Computer
by Mike HincheyA 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.
Software Technology: 10 Years of Innovation in IEEE Computer
by Mike HincheyA 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.
Software Technology: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings (Lecture Notes in Computer Science #11771)
by Manuel Mazzara Jean-Michel Bruel Bertrand Meyer Alexander PetrenkoThis 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.
Software Test Attacks to Break Mobile and Embedded Devices: Software Test Attacks To Break Mobile And Embedded Devices (Chapman And Hall/crc Innovations In Software Engineering And Software Development Ser. #6)
by Jon Duncan HagarAddress Errors before Users Find ThemUsing a mix-and-match approach, Software Test Attacks to Break Mobile and Embedded Devices presents an attack basis for testing mobile and embedded systems. Designed for testers working in the ever-expanding world of "smart" devices driven by software, the book focuses on attack-based testing that can be used by