Computer Science and Software Techniques in 2011
Author:
Publisher: Silhavy
Published:
Total Pages: 220
ISBN-13: 8090474101
DOWNLOAD EBOOKRead and Download eBook Full
Author:
Publisher: Silhavy
Published:
Total Pages: 220
ISBN-13: 8090474101
DOWNLOAD EBOOKAuthor: Ralf Lämmel
Publisher: Springer
Published: 2013-01-03
Total Pages: 458
ISBN-13: 3642359922
DOWNLOAD EBOOKThis tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and one peer-reviewed participant contribution held at the 4th International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2011. The school presents the state of the art in software language engineering and generative and transformational techniques in software engineering with coverage of foundations, methods, tools, and case studies.
Author: Zdeněk Kotásek
Publisher: Springer
Published: 2012-01-28
Total Pages: 226
ISBN-13: 3642259294
DOWNLOAD EBOOKThis volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011. The 13 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 38 submissions. The papers address all current issues of mathematical and engineering methods in computer science, especially: software and hardware dependability, computer security, computer-aided analysis and verification, testing and diagnostics, simulation, parallel and distributed computing, grid computing, computer networks, modern hardware and its design, non-traditional computing architectures, software engineering, computational intelligence, quantum information processing, computer graphics and multimedia, signal, text, speech, and image processing, and theoretical computer science.
Author: Michael Oberguggenberger
Publisher: Springer Science & Business Media
Published: 2011-03-19
Total Pages: 338
ISBN-13: 0857294466
DOWNLOAD EBOOKThis textbook presents an algorithmic approach to mathematical analysis, with a focus on modelling and on the applications of analysis. Fully integrating mathematical software into the text as an important component of analysis, the book makes thorough use of examples and explanations using MATLAB, Maple, and Java applets. Mathematical theory is described alongside the basic concepts and methods of numerical analysis, supported by computer experiments and programming exercises, and an extensive use of figure illustrations. Features: thoroughly describes the essential concepts of analysis; provides summaries and exercises in each chapter, as well as computer experiments; discusses important applications and advanced topics; presents tools from vector and matrix algebra in the appendices, together with further information on continuity; includes definitions, propositions and examples throughout the text; supplementary software can be downloaded from the book’s webpage.
Author: Gilles Barthe
Publisher: Springer Science & Business Media
Published: 2011-10-21
Total Pages: 517
ISBN-13: 3642246893
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.
Author: Dimitra Giannakopoulou
Publisher: Springer
Published: 2011-03-14
Total Pages: 476
ISBN-13: 3642198112
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 29 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 99 full paper submissions. The papers are organized in topical sections on verification, specification and modeling, reachability and model checking, model driven engineering, software development for QoS, testing: theory and new trends, testing in practice, code development and analysis, and empirical studies.
Author: Farhad Arbab
Publisher: Springer
Published: 2012-04-18
Total Pages: 387
ISBN-13: 3642293204
DOWNLOAD EBOOKThis book constitutes the thoroughly refereed post-conference proceedings of the Fourth International Conference on Fundamentals of Software Engineering, FSEN 2011, held in Tehran, Iran, in April 2011. The 19 revised full papers and 5 revised short papers presented together with 3 poster presentations were carefully reviewed and selected from 64 submissions. The papers are organized in topical section on models of programs and systems, software specification, validation and verification, software architectures and their description languages, object and multi-agent systems, CASE tools and tool integration, model checking and theorem proving, and Integration of different formal methods.
Author: Danilo Caivano
Publisher: Springer Science & Business Media
Published: 2011-06-15
Total Pages: 365
ISBN-13: 3642218423
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the 12 International Conference on Product-Focused Software Process Improvement, PROFES 2011, held in Torre Canne, Italy, in June 2011. The 24 revised full papers presented together with the abstracts of 2 keynote addresses were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections on agile and lean practices, cross-model quality improvement, global and competitive software development, managing diversity, product and process measurements, product-focused software process improvement, requirement process improvement, and software process improvement.
Author: Robert C. Martin
Publisher: Pearson
Published: 2003
Total Pages: 560
ISBN-13:
DOWNLOAD EBOOKSection 1 Agile development Section 2 Agile design Section 3 The payroll case study Section 4 Packaging the payroll system Section 5 The weather station case study Section 6 The ETS case study
Author:
Publisher: DEStech Publications, Inc
Published: 2014-11-03
Total Pages: 828
ISBN-13: 1605951994
DOWNLOAD EBOOKCSSE2014 proceeding tends to collect the most up-to-date, comprehensive, and worldwide state-of-art knowledge on Computer Science and Software Engineering. All the accepted papers have been submitted to strict peer-review by 2–4 expert referees, and selected based on originality, significance and clarity for the purpose of the conference. The conference program is extremely rich, profound and featuring high-impact presentations of selected papers and additional late-breaking contributions. We sincerely hope that the conference would not only show the participants a broad overview of the latest research results on related fields, but also provide them with a significant platform for academic connection and exchange. The Technical Program Committee members have been working very hard to meet the deadline of review. The final conference program consists of 126 papers divided into 4 sessions.