Технология программирования
Информатика и вычислительная техника
  • формат pdf
  • размер 2.75 МБ
  • добавлен 10 ноября 2011 г.
M?ller P. (ed.) Advanced Lectures on Software Engineering Processors
Издательство Springer, 2010, -194 pp.
LASER Summer School 2007/2008

Only five years after its inception, the LASER Summer School on Software Engineering has established itself among the premier training schools for PhD students and professionals from the industry. Each year, the summer school focuses on an important software engineering topic. This book contains selected lecture notes from the LASER Summer Schools 2007 and 2008, both of which focused on correctness—Applied Software Verification in 2007 and Concurrency and Correctness in 2008.
From the 2007 summer school on Applied Software Verification, this volume contains contributions by Tony Hoare on the verification of fine-grain concurrency and transactions, by Benjamin Morandi, Sebastian Bauer, and Bertrand Meyer on the SCOOP model for concurrent object-oriented programming, by Rustan Leino and Peter Muller on the Spec# programming and verification system, and by Natarajan Shankar on verification in the Prototype Verification System PVS. From the 2008 summer school on Concurrency and Correctness, the volume includes lecture notes by Tryggve Fossum on multi-core chip design. I would like to thank the lecturers and their co-authors, who devoted much time to contributing to this volume. I am grateful to Marieke Huisman, Ling Liu, Rosemary Monahan, Matthew Parkinson, Sarvani Vakkalanka, and Hagen Volzer for their valuable feedback on drafts of the papers and to MarliesWeissert for her assistance in preparing the proceedings. Last but not least, I would like to thank Bertrand Meyer and his team for making the LASER Summer School such an enjoyable experience.

Fine-Grain Concurrency
Compensable Transactions
SCOOP – A Contract-Based Concurrent Object-Oriented Programming Model
Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs
Fixpoints and Search in PVS
Multi Core Design for Chip Level Multiprocessing
Похожие разделы
Смотрите также

Agarwal B.B. Software engineering and testing

  • формат pdf
  • размер 11.62 МБ
  • добавлен 05 декабря 2010 г.
Jones and Bartlett Publishers, 2010. 516 р. Software Engineering and Testing. Introduction to Software Engineering. Software-Development Life-Cycle Models. Introduction to Software Requirements Specification. Software Reliability and Quality Assurance. System Design. Software Measurement and Metrics. Software Testing. Software-Testing Strategies. Software Maintenance and Project Management. Computer-Aided Software Engineering. Coding. Software De...

Dooley J. Software Development and Professional Practice

  • формат pdf
  • размер 6 МБ
  • добавлен 16 августа 2011 г.
Apress, 2011. - 242 p. Software Development and Professional Practice reveals how to design and code great software. What factors do you take into account? What makes a good design? What methods and processes are out there for designing software? Is designing small programs different than designing large ones? How can you tell a good design from a bad one? You'll learn the principles of good software design, and how to turn those principles back...

Endres A., Rombach D. A Handbook of Software and Systems Engineering

  • формат pdf
  • размер 10.31 МБ
  • добавлен 27 мая 2011 г.
The book is a collection of empirical laws, theories and observations, which were proved to be useful in Software Engineering. It sums up the experience gained during sfotware development in hundreds of projects. Table of Contents: Chapter 1: Introduction Chapter 2: Requirements definition, prototyping, and modeling Chapter 3: System design and specification Chapter 4: System construction and composition Chapter 5: Validation and static verifica...

Jalote P. An Integrated Approach to Software Engineering

  • формат pdf
  • размер 7.7 МБ
  • добавлен 10 ноября 2011 г.
Издательство Springer, 2005, -571 pp. Third Edition An introductory course in Software Engineering remains one of the hardest subjects to teach. Much of the difficulty stems from the fact that Software Engineering is a very wide field which includes a wide range of topics. Consequently, what should be the focus of an introductory course remains a challenge with many possible viewpoints. This third edition of the book approaches the problem from...

Kakola T., Duenas J. (Eds.) Software Product Lines. Research Issues in Engineering and Management

  • формат pdf
  • размер 11.24 МБ
  • добавлен 14 ноября 2011 г.
Издательство Springer, 2006. – 635 p. Software product line engineering is an industrially validated methodology for developing software products and software-intensive systems faster, at lower costs, and with better quality. It differs from single system development in two primary ways: 1. It needs two distinct development processes: domain engineering and application engineering. Domain engineering defines and realizes the commonality and varia...

Pankaj Jalote. A Concise Introduction to Software Engineering

  • формат pdf
  • размер 5.3 МБ
  • добавлен 27 мая 2011 г.
An introductory course on Software Engineering remains one of the hardest subjects to teach largely because of the wide range of topics the area encompasses. I have believed for some time that we often tend to teach too many concepts and topics in an introductory course resulting in shallow knowledge and little insight on application of these concepts. And Software Engineering is finally about application of concepts to efficiently engineer good...

Pressman R. Software Engineering: A Practitioner's Approach (5th edition)

  • формат pdf
  • размер 6.66 МБ
  • добавлен 05 декабря 2010 г.
Pressman's Software Engineering: A Practitioner's Approach is celebrating 20 years of excellence in the software engineering field. This comprehensive 5th edition provides excellent explanations of all the important topics in software engineering and enhances them with diagrams, examples, exercises, and references. In the fifth edition, a new design has been added to make the book more user friendly. Several chapters have been added including cha...

Sommerville I. Software Engineering (8th edition)

  • формат pdf
  • размер 41.33 МБ
  • добавлен 05 декабря 2010 г.
Sensible choice and organization of topics, made all the more authoritative by the author's credentials as a senior academic in the area Prof. David S. Rosenblum, University College London I find Somerville inviting and readable and with more appropriate content Julian Padget, University of Bath Sommerville takes case studies from radically different areas of SE. This avoids excessive stereotyping (hence blinkering), but permits some depth and de...

Sommerville I. Software Engineering (9th edition)

  • формат pdf
  • размер 13.89 МБ
  • добавлен 25 января 2012 г.
Hardcover: 792 pages Publisher: Addison Wesley; 9 edition (March 13, 2010) Language: English ISBN-10: 0137035152 ISBN-13: 978-0137035151 Intended for a sophomore/junior level course in software engineering. The ninth edition of Software Engineering presents a broad perspective of software engineering, focusing on the processes and techniques fundamental to the creation of reliable, software systems. Increased coverage of agile methods and softwar...

Tian J. Software Quality Engineering: Testing, Quality Assurance and Quantifiable Improvement

  • формат pdf
  • размер 24.36 МБ
  • добавлен 27 мая 2011 г.
Wiley-Interscience, 2005. - 440 p. - ISBN: 0471713457 The one resource needed to create reliable software This text offers a comprehensive and integrated approach to software quality engineering. By following the author's clear guidance, readers learn how to master the techniques to produce high-quality, reliable software, regardless of the software system's level of complexity. The first part of the publication introduces major topics in softwa...