Proceedings of the 10th Innovations in Software Engineering Conference
Proceedings of the 10th Innovations in Software Engineering Conference

Author: Ravi Prakash Gorthi

Publisher:

Published: 2017-02-05

Total Pages:

ISBN-13: 9781450348560

DOWNLOAD EBOOK

Innovations 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.

Software Language Engineering
Software Language Engineering

Author: Benoit Combemale

Publisher: Springer

Published: 2014-09-23

Total Pages: 0

ISBN-13: 9783319112442

DOWNLOAD EBOOK

This 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.

Categories and Computer Science
Categories and Computer Science

Author: R. F. C. Walters

Publisher: Cambridge University Press

Published: 1991

Total Pages: 180

ISBN-13: 9780521422260

DOWNLOAD EBOOK

Category 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.

Quality of Software Architectures
Quality of Software Architectures

Author: Christine Hofmeister

Publisher: Springer

Published: 2009-09-02

Total Pages: 218

ISBN-13: 9783540832577

DOWNLOAD EBOOK

This 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.