This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised fu...
详细信息
ISBN:
(数字)9783642404474
ISBN:
(纸本)9783642404467
This book constitutes the thoroughly refereed revised selected papers of the 13th International Symposium on Trends in Functional programming, TFP 2012, held in St Andrews, Scotland, UK in June 2012. The 18 revised full papers included in this volume were carefully and selected from 49 submissions and are complemented with an invited paper. They cover various aspects of trends in functional programming.
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in Ju...
详细信息
ISBN:
(数字)9783642297090
ISBN:
(纸本)9783642297083
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011.
The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering.
This volume contains the proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems VI held in Bologna, Italy, on June 14-16, 2006. The conference program pre...
详细信息
ISBN:
(数字)9783540351276
ISBN:
(纸本)9783540351269
This volume contains the proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems VI held in Bologna, Italy, on June 14-16, 2006. The conference program presents the state of the art in research on d- tributed and interoperable systems. In recent years, distributed applications have indeed gained a practical and widely-known footing in everyday computing. Use of new communication technologies have brought up divergent application areas, including mobile computing, inter-enterprise collaborations, and ubiquitous s- vices, just to name a few. New challenges include the need for service-oriented - chitectures, autonomous and self-managing systems, peer-to-peer systems, grid computing, sensor networks, semantic enhancements, and adaptivity and - namism of distribution constellations. Following the evolution of the ?eld, DAIS 2006 focuses on architectures, m- els, technologies and platforms for interoperable, scalable and adaptable systems that are related to the latest trends towards service orientation and self-* pr- erties. The papers presented at DAIS 2006 cover methodological aspects, tools and language of building adaptable distributed and interoperable services, fault tolerance and dependability, peer-to-peer systems, mobility issues, web services applications and performance issues and composition, semantic web and sem- tic integration, and context- and location-aware applications. Also included in these proceedings is an invited paper by Jan Bosch and colleagues (Nokia - search Center, Finland) addressing the apparent con?ict between usability and the architectural drivers that drive success or failure of mobile services.
The Sorbonne University is very proud to host this year the oms Conference on Object Oriented Information Systems. There is a growing awareness of the importance of object oriented techniques, methods and tools to sup...
详细信息
ISBN:
(数字)9781447108955
ISBN:
(纸本)9781852330460
The Sorbonne University is very proud to host this year the oms Conference on Object Oriented Information Systems. There is a growing awareness of the importance of object oriented techniques, methods and tools to support information systems engineering. The term information systems implies that the computer based systems are designed to provide adequate and timely information to human users in organizations. The term engineering implies the application of a rigorous set of problem solving approaches analogous to those found in traditional engineering disciplines. The intent of this conference is to present a selected number of those approaches which favor an object oriented view of systems engineering. oms '98 is the fifth edition of a series of conferences. Starting in 1994 in London, this series evolved from a British audience to a truly European one. The goal is to build a world wide acknowledged forum dedicated to object oriented information systems engineering. This conference is organized with the aim to bring together researchers and practitioners in Information Systems, Databases and Software Engineering who have interests in object oriented information systems. The objective is to advance understanding about how the object technology can empower information systems in organizations, on techniques for designing effective and efficient information systems and methods and development tools for information systems engineering. The conference aims also at discussing the lessons learned from large scale projects using objects. The call for oms was given international audience.
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented wer...
详细信息
ISBN:
(数字)9783319117379
ISBN:
(纸本)9783319117362
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in a...
详细信息
ISBN:
(数字)9783642155857
ISBN:
(纸本)9783642155840
A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in an environment that promotes fundamental collaborationon pr- lems in software testing. Among the wide range of topics in computer science andsoftwareengineering,softwaretesting is anidealcandidatefor academicand industrialcollaborationbecauseadvancesinresearchcanhavesuchwide-ranging and far-reaching implications for industry. Conversely, the advances in comp- ing and communications technology and the growth of the associated software engineering activity are producing new researchchallengesat an increasing rate. The problems that arise in software testing are related to the problems that ***,testingresearchcombinesawide range of elements encompassing the theoretical work of program analysis and formal methods and the associated representations such as ?nite-state machines and dependence graphs. The inherent complexity of software testing has led to the involvement of heuristic methods. Software testing is also a human activity and has thus seen the involvement of psychology,sociologyand even philosophy. This astonishing breadth and depth have made the problems of software testing appealing to academics for several decades.
暂无评论