Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering
Author: Shing-Chi Cheung
Publisher:
Published: 2014
Total Pages: 856
ISBN-13: 9781450330565
DOWNLOAD EBOOKPosts
Proceedings of the ACM SIGSOFT Sixth International Symposium on the Foundations of Software Engineering
Author: International Symposium on the Foundations of Software Engineering
Publisher:
Published: 1998
Total Pages: 260
ISBN-13:
DOWNLOAD EBOOKProceedings of the FSE/SDP Workshop on Future of Software Engineering Research
Author: Gruia-Catalin Roman
Publisher:
Published: 2010
Total Pages: 448
ISBN-13: 9781450304276
DOWNLOAD EBOOKProceedings of 6th International Conference in Software Engineering for Defence Applications
Author: Paolo Ciancarini
Publisher: Springer
Published: 2019-03-18
Total Pages: 349
ISBN-13: 3030146871
DOWNLOAD EBOOKThis book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context of defence and security applications. In addition, important business and economic aspects are discussed, with a particular focus on cost/benefit analysis, new business models, organizational evolution, and business intelligence systems. The contents are based on presentations delivered at SEDA 2018, the 6th International Conference in Software Engineering for Defence Applications, which was held in Rome, Italy, in June 2018. This conference series represents a targeted response to the growing need for research that reports and debates the practical implications of software engineering within the defence environment and also for software performance evaluation in real settings through controlled experiments as well as case and field studies. The book will appeal to all with an interest in modeling, managing, and implementing defence-related software development products and processes in a structured and supportable way.
Software Language Engineering
Author: Benoit Combemale
Publisher: Springer
Published: 2014-09-23
Total Pages: 0
ISBN-13: 9783319112442
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 7th International Conference on Software Language Engineering, SLE 2014, held in Västerås, Sweden, in September 2014. The 19 revised full papers presented together with 1 invited paper were carefully reviewed and selected from 61 initial submissions. The papers observe software languages from different and yet complementary perspectives: programming languages, model driven engineering, domain specific languages, semantic web, and from different technological spaces: context-free grammars, object-oriented modeling frameworks, rich data, structured data, object-oriented programming, functional programming, logic programming, term-rewriting, attribute grammars, algebraic specification, etc.
Proceedings of the 10th Innovations in Software Engineering Conference
Author: Ravi Prakash Gorthi
Publisher:
Published: 2017-02-05
Total Pages:
ISBN-13: 9781450348560
DOWNLOAD EBOOKInnovations in Software Engineering Conference (ISEC) Feb 05, 2017-Feb 07, 2017 Jaipur, India. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering
Author: Elisabetta Di Nitto
Publisher:
Published: 2015
Total Pages: 1068
ISBN-13: 9781450336758
DOWNLOAD EBOOKQuality of Software Architectures
Author: Christine Hofmeister
Publisher: Springer
Published: 2009-09-02
Total Pages: 218
ISBN-13: 9783540832577
DOWNLOAD EBOOKThis book constitutes the thoroughly refereed post-proceedings of the Second International Conference on the Quality of Software Architectures, QoSA 2006, held in Västerås, Sweden in June 2006, co-located with the 9th International Symposium on Component-Based Software Engineering, CBSE 2006. Coverage includes architecture evaluation, managing and applying architectural knowledge, and processes for supporting architecture quality.
Proceedings of Sixth International Conference on Soft Computing for Problem Solving
Author: Kusum Deep
Publisher: Springer
Published: 2017-04-12
Total Pages: 416
ISBN-13: 9811033250
DOWNLOAD EBOOKThis two-volume book gathers the proceedings of the Sixth International Conference on Soft Computing for Problem Solving (SocProS 2016), offering a collection of research papers presented during the conference at Thapar University, Patiala, India. Providing a veritable treasure trove for scientists and researchers working in the field of soft computing, it highlights the latest developments in the broad area of “Computational Intelligence” and explores both theoretical and practical aspects using fuzzy logic, artificial neural networks, evolutionary algorithms, swarm intelligence, soft computing, computational intelligence, etc.
Categories and Computer Science
Author: R. F. C. Walters
Publisher: Cambridge University Press
Published: 1991
Total Pages: 180
ISBN-13: 9780521422260
DOWNLOAD EBOOKCategory theory has become increasingly important and popular in computer science, and many universities now have introductions to category theory as part of their courses for undergraduate computer scientists. The author is a respected category theorist and has based this textbook on a course given over the last few years at the University of Sydney. The theory is developed in a straightforward way, and is enriched with many examples from computer science. Thus this book meets the needs of undergradute computer scientists, and yet retains a level of mathematical correctness that will broaden its appeal to include students of mathematics new to category theory.
