Knihobot

Bertrand Meyer

    21. listopad 1950
    Empirical software engineering and verification
    Tools for practical software verification
    Touch Of Class
    Agile!
    Touch of Class
    Software engineering approaches for offshore and outsourced development
    • The software industry's trend of allocating work to developing countries has largely been analyzed through political and economic lenses, particularly concerning employment fears in the West. This volume aims to shift that focus, recognizing that offshore development is a permanent feature of the globalized software landscape, driven not only by cost but also by advancements in communication that leverage global talent distribution. However, this shift presents new challenges that traditional software engineering principles do not fully address. Creating high-quality software on time and within budget is already complex when teams are nearby; it becomes even more challenging when development teams are separated by oceans. The inaugural SEAFOOD – Software Engineering Advances For Outsourced and Offshore Development – conference was initiated to integrate software engineering practices with outsourcing realities and to raise awareness of outsourcing within the software engineering community. This dual focus benefits both parties: effective outsourcing relies on robust software engineering guidance, while research in this area must adapt to the evolving landscape of software development.

      Software engineering approaches for offshore and outsourced development
    • Touch of Class

      Learning to Program Well with Objects and Contracts

      • 940 stránek
      • 33 hodin čtení
      3,9(20)Ohodnotit

      From object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary textbook that makes learning programming fun and rewarding. Meyer builds his presentation on a rich object-oriented software system supporting graphics and multimedia, which students can use to produce impressive applications from day one, then understand inside out as they learn new programming techniques. Unique to Touch of Class is a combination of a practical, hands-on approach to programming with the introduction of sound theoretical support focused on helping students learn the construction of high quality software. The use of full color brings exciting programming concepts to life. Among the useful features of the book is the use of Design by Contract, critical to software quality and providing a gentle introduction to formal methods. Will give students a major advantage by teaching professional-level techniques in a literate, relaxed and humorous way.

      Touch of Class
    • Agile!

      The Good, the Hype and the Ugly

      • 189 stránek
      • 7 hodin čtení

      Here is the ideal introduction to agile development. The book details agile principles, roles, managerial practices, technical practices and artifacts, offering a complete review that will help readers master all the important agile ideas.

      Agile!
    • The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. Participants learn about the most important software technology advances from the pioneers in the field. The school's focus is applied, although theory is welcome to establish solid foundations. The format of the school favors extensive interaction between participants and speakers. LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. Today verification tools are being increasingly used not only by researchers, but by programming practitioners. The summer school will focus on several of the most prominent and practical of such tools from different areas of software verification (such as formal proofs, testing and model checking). During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.

      Tools for practical software verification
    • Software engineering, is widely recognized as one of today's most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LASER school, held annually since 2004 on Elba Island, Italy, is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering, in 2010.

      Empirical software engineering and verification