A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King s 1969 thesis on A program verifier. What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the development proceeding more slowly, alas, than the other two trends of techniques to ensure and verify software quality. In 2002 Tony Hoare, one of the most...
A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predat...
The origins of CEE-SET go back to the end of the 1990s, when the Polish Inf- mation Processing Society together with other partners organized the Software Engineering Education Symposium, SEES 1998, sponsored by CEPIS, and the Polish Conference on Software Engineering, KKIO 1999 (the latter has become anannualevent). AfewyearslaterKKIOchangedtoaninternationalconference on Software Engineering Techniques, SET 2006, sponsored by Technical C- mittee 2 (Software: Theory and Practice) of the International Federation for Information Processing, IFIP http: //www. i?p. org/]. In 2007 the conference...
The origins of CEE-SET go back to the end of the 1990s, when the Polish Inf- mation Processing Society together with other partners organized the Soft...
Today s software production is increasingly distributed. Gone are the days of one-company, one-siteprojects;mostindustrialdevelopmentsinvolveteamssplit over locations, countries, and cultures. This distribution poses new challenges, for example, how to develop the software requirements speci?cation, and how to manage the project. These challenges are formidable; many failures have been reportedinoutsourcedanddistributedprojects, oftenduenottolackoftechnical expertise, but to di?culties in management and communication. SEAFOOD 2010, the fourth international conference on Software Engine- ing...
Today s software production is increasingly distributed. Gone are the days of one-company, one-siteprojects;mostindustrialdevelopmentsinvolveteamsspli...
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East-European Conference on Software Engineering Techniques, CEE-SET 2008, held in Brno, Czech Republic, in October 2008. The 20 revised full papers presented together with a keynote speech were carefully reviewed and selected from 69 initial submissions. The papers are organized in topical sections on requirements specification, design, modeling, software product lines, code generation, project management, and quality.
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East-European Conference on Software Eng...
Are you attracted by the promises of agile methods but put off by the fanaticism of many agile texts? Would you like to know which agile techniques work, which ones do not matter much, and which ones will harm your projects? Then you need Agile : the first exhaustive, objective review of agile principles, techniques and tools.
Agile methods are one of the most important developments in software over the past decades, but also a surprising mix of the best and the worst. Until now every project and developer had to sort out the good ideas from the bad by themselves. This book...
Are you attracted by the promises of agile methods but put off by the fanaticism of many agile texts? Would you like to know which agile techniques...
Since its inception in 2004, the LASER Summer Schoolhas focused on an important software engineering topic each year. This volumecontains selected lecture notes from the 10th LASER Summer School on SoftwareEngineering: Leading-Edge Software Engineering.
Since its inception in 2004, the LASER Summer Schoolhas focused on an important software engineering topic each year. This volumecontains selected lec...
