You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Service engineering is increasingly posing challenges to traditional software engineering methodologies including specification, modeling, architecture, and verification, just to name a few. On the other hand, the latest advancements in software engineering are continuously leveraged in Service Engineering research, especially in the design and implementation of service-oriented systems. Several mutual impacts between service engineering and software engineering could be observed in the last decade, and many research efforts have been devoted to the field. However, in spite of the considerable efforts and significant contributions, few have attempted to summarize the research results systematically.
On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and c- tomization. CBSE 2005, “Software Components at Work,” was the eighth in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. We were fortunate to have a dedicate...
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
This book constitutes the proceedings of the 16th International Conference on Service-Oriented Computing, ICSOC 2018, held in Hangzhou, China, in November 2018. The 63 full papers presented together with 3 keynotes in this volume were carefully reviewed and selected from numerous submissions. The papers have been organized in the following topical sections: Microservices; Services and Processes; Service Trust and Security; Business Services and Processes; Edge + IoT Services; Social and Interactive Services; Recommendation; Service Analytics; Quality of Service; Service Engineering; Service Applications; Service Management.
This book constitutes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software. The 25 papers presented were carefully reviewed and selected from 103 submissions. The volume also contains one invited talk. The topics covered are model transformation, software evolution, graph transformation, modeling concepts, verification, program analysis, testing and debugging, and performance modeling and analysis.
In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work.
This two-volume set CCIS 1498 and CCIS 1499 contains the late breaking posters presented during the 23rd International Conference on Human-Computer Interaction, HCII 2021, which was held virtually in July 2021. The total of 1276 papers and 241 posters included in the 39 HCII 2021 proceedings volumes was carefully reviewed and selected from 5222 submissions. Additionally, 174 papers and 146 posters are included in the volumes of the proceedings published after the conference, as “Late Breaking Work” (papers and posters). The posters presented in these two volumes are organized in topical sections as follows: HCI Theory and Practice; UX Design and Research in Intelligent Environments; Interaction with Robots, Chatbots, and Agents; Virtual, Augmented, and Mixed Reality; Games and Gamification; HCI in Mobility, Transport and Aviation; Design for All and Assistive Technologies; Physiology, Affect and Cognition; HCI for Health and Wellbeing; HCI in Learning, Teaching, and Education; Culture and Computing; Social Computing; Design Case Studies; User Experience Studies.
This volume contains the final versions of the technical papers presented at MoDELS 2005 in Montego Bay, Jamaica, October 2–7, 2005.
Research into the next generation of service architecture techniques has enabled the design, development, and implementation of dynamic, adaptive, and autonomic services to enable enterprises to efficiently align information technology with their agile business requirements and foster smart services and seamless enterprise integration. Handbook of Research on Architectural Trends in Service-Driven Computing explores, delineates, and discusses recent advances in architectural methodologies and development techniques in service-driven computing. This comprehensive publication is an inclusive reference source for organizations, researchers, students, enterprise and integration architects, practitioners, software developers, and software engineering professionals engaged in the research, development, and integration of the next generation of computing.