Page 17
Page 17
Software Evolution
This book focus on novel trends in software evolution research and its relations with other emerging disciplines such as model-driven software engineering, service-oriented software development, and aspect-oriented software development. They do not restrict themselves to the evolution of source code but also address the evolution of other, equally important software artifacts such as databases and database schemas, design models, software architectures, and process management. The contributing authors provide broad overviews of related work, and they also contribute to a comprehensive glossary, a list of acronyms, and a list of books, journals, websites, standards and conferences that together represent the community’s body of knowledge.
Software Engineering Research, Management and Applications
The 6th ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2008) was held in Prague in the Czech Republic on August 20-22. This volume comprises the best 17 papers from those accepted for presentation.
Software engineering for multi-agent systems III : Research issues and practical applications
Presents a coherent and well-balanced survey of recent advances in software engineering approaches to the design and analysis of realistic large-scale multi-agent systems (MAS). The chapters included are devoted to various techniques and methods used to cope with the complexity of real-world MAS. The power of agent-based software engineering is illustrated using examples that are representative of successful applications. The 16 thoroughly reviewed and revised full papers are organized in topical sections on agent methodologies and processes, requirements engineering and software architectures, modeling languages, and dependability and coordination.
Software Engineering for Experimental Robotics
Collects contributions that describe the state of the art in software development for the Robotics domain. It reports on innovative ideas that are progressively introduced in the software development process, in order to promote the reuse of robotic software artifacts: domain engineering, components, frameworks and architectural styles. It illustrates the results of the most successful and well-known research projects which aim to develop reusable robotic software systems. Most of the chapters report on concepts and ideas discussed at the well attended ICRA2005 Workshop on "Principles and Practice of Software Development in Robotics", Barcelona, Spain, April 18 2005.
Software engineering and middleware ; 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004 Revised Selected Papers
Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers to engineer distributed appli- tions more easily, providing abstractions and primitives to handle distribution and coordination. Middlewareisconstantlyfacingnewchallenges.Today’sadvancesincomp- ing, including development of pervasive applications, exacerbates the diversity problem, introducing variations not only in terms of performance, but also in terms of environments and device characteristics. Software engineers are the- fore challenged both in the area of the development of new and scalable m- dleware systems, where open, heterogeneous, component-based platforms should provide richer functionality and services, and in the area of application devel- ment, where tools to simplify the use of middleware solutions are necessary.
Software engineering and formal methods ; 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.
Software Engineering 2 : Specification of Systems and Languages
volume 2 covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages.
Software Engineering 1 : Abstraction and Modelling
Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its readers in basic property- and model-oriented specification principles and techniques. The model-oriented concepts that are common to such specification languages as B, VDM-SL, and Z are explained here using the RAISE specification language (RSL). This book then covers the basic principles of applicative (functional), imperative, and concurrent (parallel) specification programming. Finally, the volume contains a comprehensive glossary of software engineering, and extensive indexes and references.
Software Composition ; Vol. 4089 ; 5th International Symposium, SC 2006, Vienna, Austria, March 25-26, 2006, Revised Papers
This LNCS volume contains the proceedings of the 5th International S- posium on Software Composition, which was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Vienna, Austria, 2006. The main program consisted of pres- tations of research papers on software compositions. These proceedings contain the revised versions of the papers presented at SC 2006.
Software composition ; Vol. 3628 ; 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
Component-based software development is the next step after object-oriented programming that promises to reduce complexity and improve reusability. These advantages have also been identified by the industry, and consequently, over the past years, a large number of component-based techniques and processes have been adopted in many of these organizations.
Software Composition ; 7th International Symposium, SC 2008, Budapest, Hungary, March 29-30, 2008. Proceedings
The goal of the International Symposia on Software Composition is to advance the state of the research in component-based software development.
Software Composition ; 6th International Symposium, SC 2007, Braga, Portugal, March 24-25, 2007, Revised Selected Papers
On behalf of the Organizing Committee we are pleased to present the proceedings of the 2007 Symposium on Software Composition (SC2007).The goal of SC2007 was to bring together the research and industrial communities in order to address the challenges of the component-based softwaredevelopment approach. SC 2007 was the sixth symposium on software composition in the SC series that seeks to develop a better understanding of how software components may be used to build and maintain large software systems. This LNCS volume contains the revised versions of the papers presented at SC 2007, which was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Braga, Portugal, March 24–25, 2007.
Software Architecture ; 2nd European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings
This book focus on formalisms, technologies, and processes for describing, verifying, validating, transforming, building, and evolving software systems. Topics include architecture modeling, architecture description languages, architectural aspects, architecture analysis, transformation and synthesis, architecture evolution, quality attributes, model-driven engineering, built-in testing and architecture-based support for component-based and service-oriented systems.
Software Architecture ; 14th European Conference, ECSA 2020, L'Aquila, Italy, September 14–18, 2020, Proceedings
Constitutes the refereed proceedings of the 14th International Conference on Software Architecture, ECSA 2020, held in A’quila, Italy, in September 2020. In the Research Track, 12 full papers presented together with 5 short papers were carefully reviewed and selected from 103 submissions. They are organized in topical sections as follows: microservices; uncertainty, self-adaptive, and open systems; model-based approaches; performance and security engineering; architectural smells and source code analysis; education and training; experiences and learnings from industrial case studies; and architecting contemporary distributed systems.
Software Architecture ; 14th European Conference, ECSA 2020 Tracks and Workshops, L'Aquila, Italy, September 14–18, 2020, Proceedings
Constitutes the refereed proceedings of the tracks and workshops which complemented the 14th European Conference on Software Architecture, ECSA 2020, held in L'Aquila, Italy*, in September 2020.
Software Architecture
This book aims to introduce the theoretical foundations, various sub-fields, current research, and practical methods of software architecture. Readers can acquire basic knowledge of software architecture, including why software architecture is necessary, how we can describe a system’s architecture with formal language, what architecture styles are popular in practice, and how we can apply software architecture to the development of systems. Case studies, data, illustrations, and other materials released within the past 5 years will be used to show the latest developments in software architecture.
Software and Data Technologies ; 1st International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers
This book is organized in topical sections on programming languages, software engineering, distributed and parallel systems, information systems and data management, as well as knowledge engineering.
Software agent-based applications, platforms and development kits
Intelligent agents and multi-agent systems (MAS) represent the next big step in the development of next-generation software systems, especially when consid- ing large scale distributed applications consisting of several sub-components with behavior that is increasingly di?cult to predict. This is supported by imp- tant research and development results and reinforced by the increasing uptake of agent-based solutions and services for real-world industries. In fact, software agent technology successfully addresses a number of highly relevant issues, like -?cient resource distribution, scalability, adaptability, maintainability, modularity, autonomy, self-sustainability, anddecentralizedcontrol, byprovidingpowerfulc- cepts, metaphors and tools. The mentioned issues are often regarded as essential non-functional properties of emerging software architectures and systems.
Soft Computing in Web Information Retrieval : Models and Applications
This book presents some recent works on the application of Soft Computing techniques in information access on the World Wide Web.This book demonstrates that Web Information Retrieval is a stimulating area of research where Soft Computing technologies can be applied satisfactorily.
Soft Computing in Industrial Applications : Recent and Emerging Methods and Techniques
Soft Computing admits approximate reasoning, imprecision, uncertainty and partial truth in order to mimic aspects of the remarkable human capability of making decisions in real-life and ambiguous environments. "Soft Computing in Industrial Applications" contains a collection of papers that were presented at the 11th On-line World Conference on Soft Computing in Industrial Applications, held in September-October 2006. This carefully edited book provides a comprehensive overview of the recent advances in the industrial applications of soft computing and covers a wide range of application areas, including data analysis and data mining, computer graphics, intelligent control, systems, pattern recognition, classifiers, as well as modeling optimization. The book is aimed at researchers and practitioners who are engaged in developing and applying intelligent systems principles to solving real-world problems. It is also suitable as wider reading for science and engineering postgraduate students.
