Sökt på: bertrand meyer
totalt 16 träffar
Objects, Components, Models and Patterns
For the past 20 years the TOOLS conferences have continuously spread new technologies in the world of object-orientation, component technology and so- ware engineering in general. …
Software Engineering Techniques
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 …
Dependable Systems: Software, Computing, Networks
Modern civilization relies on a functioning information infrastructure. As a result, dependability has become a central issue in all disciplines of systems engineering and software …
Software Engineering Approaches for Offshore and Outsourced Development
Today's software production is increasingly distributed. Gone are the days of one-company,one-siteprojects;mostindustrialdevelopmentsinvolveteamssplit over locations, countries, …
Touch of Class
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 …
Balancing Agility and Formalism in Software Engineering
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference on Software Engineering Techniques, CEE-SET 2007, held …
Tests and Proofs
To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs. To test a program is to run it with the expectation of …
Software Engineering Approaches for Offshore and Outsourced Development
Majoreconomicupheavalscanhavethesortofe?ectthatSchumpeterforesaw60 yearsagoascreativedestruction.Inscienceandtechnology,equivalentupheavals …
Verified Software: Theories, Tools, Experiments
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 …
Tools for Practical Software Verification
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 …
Software Engineering Approaches for Offshore and Outsourced Development
SEAFOOD for Thought Headline-grabbing though it may be, the software industry’s large-scale allo- tion of work to developing countries has not so far generated much technical …
Empirical Software Engineering and Verification
Software engineering, is widely recognized as one of today's mostexciting, stimulating, and profitable research areas, with a significant practical impact on the software industry …