Introduction: Many functional languages have a construction to define inductive data types [Hoa75] (also called general structured types [Pey87], structures [Lan64], datatypes [Mil84] and free algebras [GTWW77]). An i...
详细信息
This paper describes an algorithm for the interpretation of temporal relations between events mentioned in narrative (such as which event occurs before another). These relations are decided through three different lev...
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (D...
详细信息
ISBN:
(数字)9783030134990
ISBN:
(纸本)9783030134983;9783030135010
This open access book presents the outcomes of the “Design for Future – Managed Software Evolution” priority program 1593, which was launched by the German Research Foundation (“Deutsche Forschungsgemeinschaft (DFG)”) to develop new approaches to software engineering with a specific focus on long-lived software systems. The different lifecycles of software and hardware platforms lead to interoperability problems in such systems. Instead of separating the development, adaptation and evolution of software and its platforms, as well as aspects like operation, monitoring and maintenance, they should all be integrated into one overarching process.;Accordingly, the book is split into three major parts, the first of which includes an introduction to the nature of software evolution, followed by an overview of the specific challenges and a general introduction to the case studies used in the project. The second part of the book consists of the main chapters on knowledge carrying software, and cover tacit knowledge in software evolution, continuous design decision support, model-based round-trip engineering for software product lines, performance analysis strategies, maintaining security in software evolution, learning from evolution for evolution, and formal verification of evolutionary changes. In turn, the last part of the book presents key findings and spin-offs. The individual chapters there describe various case studies, along with their benefits, deliverables and the respective lessons learned. An overview of future research topics rounds out the coverage.;The book was mainly written for scientific researchers and advanced professionals with an academic background. They will benefit from its comprehensive treatment of various topics related to problems that are now gaining in importance, given the higher costs for maintenance and evolution in comparison to the initial development, and the fact that today, most software is not developed from scratch, but as part of a c
This collection of papers stems originally from a conference on Property Theory, Type Theory and Semantics held in Amherst on March 13-16 1986. The conference brought together logicians, philosophers, com puter ...
详细信息
ISBN:
(数字)9789400927230
ISBN:
(纸本)9781556080692;9781556080708
This collection of papers stems originally from a conference on Property Theory, Type Theory and Semantics held in Amherst on March 13-16 1986. The conference brought together logicians, philosophers, com puter scientists and linguists who had been working on these issues (of ten in isolation from one another). Our intent was to boost debate and exchange of ideas on these fundamental issues at a time of rapid change in semantics and cognitive science. The papers published in this work have evolved substantially since their original presentation at the conference. Given their scope, we thought it convenient to divide the work into two volumes. The first deals primarily with logical and philosophical foundations, the second with more empirical semantic issues. While there is a common set of issues tying the two volumes together, they are both self-contained and can be read independently of one another. Two of the papers in the present collection (van Benthem in volume 1 and Chierchia in volume II) were not actually read at the conference. They are nevertheless included here for their direct relevance to the topics of the volumes. Regrettably, some of the papers that were presented (Feferman, Klein, and Plotkin) could not be included in the present work due to timing problems. We nevertheless thank the authors for their contribu tion in terms of ideas and participation in the debate.
It was our great pleasure to extend a welcome to all who participated in SERA 2004, the second International Conference on Software Engineering Research, Management and Applications, held at the Omni Hotel, Los Angele...
详细信息
ISBN:
(数字)9783540321347
ISBN:
(纸本)9783540321330
It was our great pleasure to extend a welcome to all who participated in SERA 2004, the second International Conference on Software Engineering Research, Management and Applications, held at the Omni Hotel, Los Angeles, California, USA. The conference would not have been possible without the cooperation of Seoul National University, Korea, the University of Lübeck, Germany, and Central Michigan University, USA. SERA 2004 was sponsored by the International Association for computer and Information science (ACIS). The conference brought together researchers, practitioners, and advanced graduate students to exchange and share their experiences, new ideas, and research results in all aspects (theory, applications, and tools) of Software Engineering Research and Applications. At this conference, we had keynote speeches by Barry Boehm, C.V. Ramamoorthy, Raymond Yeh, and Con Kenney. We would like to thank the publicity chairs, the members of our program committees, and everyone else who helped with the conference for their hard work and time dedicated to SERA 2004. We hope that SERA 2004 was enjoyable for all participants. Barry Boehm May 2004 Preface The 2nd ACIS International Conference on Software Engineering – Research, Management and Applications (SERA 2004) was held at the Omni Hotel in Los Angeles, California, during May 5–7, 2004. The conference particularly welcomes contributions at the junction of theory and practice disseminating basic research with immediate impact on practical applications. The SERA conference series has witnessed a short, but successful history:
This book constitutes the refereed proceedings of the 8th International Conference on Flexible Query Answering Systems, FQAS 2009, held in Roskilde, Denmark, in October 2009. The 57 papers included in this volume were...
详细信息
ISBN:
(数字)9783642049576
ISBN:
(纸本)9783642049569
This book constitutes the refereed proceedings of the 8th International Conference on Flexible Query Answering Systems, FQAS 2009, held in Roskilde, Denmark, in October 2009. The 57 papers included in this volume were carefully reviewed and selected from 90 submissions. They are structured in topical sections on database management, information retrieval, extraction and mining, ontologies and semantic web, intelligent information extraction from texts, advances in fuzzy querying, personalization, preferences, context and recommendation, and Web as a stream.
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were careful...
详细信息
ISBN:
(数字)9783319083261
ISBN:
(纸本)9783319083254
This book constitutes the refereed proceedings of the 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014, held in Roskilde, Denmark, in June 2014. The 61 revised full papers were carefully reviewed and selected from 111 submissions. The papers are organized in topical sections on complex networks and data stream mining; data mining methods; intelligent systems applications; knowledge representation in databases and systems; textual data analysis and mining; special session: challenges in text mining and semantic information retrieval; special session: warehousing and OLAPing complex, spatial and spatio-temporal data; ISMIS posters.
暂无评论