wyszukanych pozycji: 18
Software Engineering: International Summer Schools, Laser 2013-2014, Elba, Italy, Revised Tutorial Lectures
ISBN: 9783319284057 / Angielski / Miękka / 2016 / 191 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
|
|
cena:
153,87 zł |
Agile!: The Good, the Hype and the Ugly
ISBN: 9783319051543 / Angielski / Miękka / 2014 / 170 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... |
|
cena:
230,76 zł |
Balancing Agility and Formalism in Software Engineering: Second Ifip Tc 2 Central and East European Conference on Software Engineering Techniques, Cee
ISBN: 9783540852780 / Angielski / Miękka / 2008 / 305 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
|
|
cena:
192,30 zł |
Touch of Class: Learning to Program Well with Objects and Contracts
ISBN: 9783540921448 / Angielski / Twarda / 2009 / 876 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... From object technology pioneer and ETH Zurich professor Bertrand Meyer, winner of the Jolt award and the ACM Software System Award, a revolutionary... |
|
cena:
230,76 zł |
Software Engineering Approaches for Offshore and Outsourced Development: First International Conference, Seafood 2007, Zurich, Switzerland, February 5
ISBN: 9783540755418 / Angielski / Miękka / 2007 / 201 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 analysis. Attention is usually limited to the possible political and economic c- sequences, in particular the fears of loss of employment in the West. The aim of the present volume is di?erent. We recognize that o?shore development is here to stay, and not just a result of cost considerations. It is more accurately a form of distributed development, relying on advances in communications to let the software industry, in...
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 ...
|
|
cena:
192,30 zł |
The French School of Programming
ISBN: 9783031345173 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
692,36 zł |
Touch of Class: Learning to Program Well with Objects and Contracts
ISBN: 9783662519073 / Angielski / Miękka / 2016 / 876 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
230,76 zł |
Tests and Proofs: First International Conference, Tap 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers
ISBN: 9783540737698 / Angielski / Miękka / 2007 / 217 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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 discovering bugs. These two paths to software reliability seem to diverge from the very start: if you have proved your program correct, it is fruitless to comb it for bugs; and if you are testing it, that surely must be a sign that you have given up on any hope to prove its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using...
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 ...
|
|
cena:
192,30 zł |
Handbook of Requirements and Business Analysis
ISBN: 9783031067389 / Angielski / Miękka / 2022 Termin realizacji zamówienia: ok. 20 dni roboczych. Meyer’s Handbook of Requirements and Business Analysis is a comprehensive treatise providing the reader with all the principles and techniques necessary to produce effective requirements. Even the best design, implementation and verification are worthless if they are the solution to the wrong problem. Defining the problem properly is the task of requirements, also known as business analysis. To be successful, a project must apply to requirements the same engineering standards as to other parts of system construction. The Handbook presents a holistic view of... Meyer’s Handbook of Requirements and Business Analysis is a comprehensive treatise providing the reader with all the principles and techni... |
|
cena:
211,53 zł |
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Sele
ISBN: 9783540691471 / Angielski / Miękka / 2008 / 574 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
|
|
cena:
384,63 zł |
Present and Ulterior Software Engineering
ISBN: 9783319674247 / Angielski / Twarda / 2017 / 225 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
384,63 zł |
Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures
ISBN: 9783642357459 / Angielski / Miękka / 2012 / 183 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
The LASER school is intended for professionals from the industry (engineers and managers) as well as university researchers, including PhD students. P...
|
|
cena:
176,95 zł |
Present and Ulterior Software Engineering
ISBN: 9783319884295 / Angielski / Miękka / 2018 / 225 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
384,63 zł |
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
ISBN: 9783642252303 / Angielski / Miękka / 2012 / 213 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Software engineering, is widely recognized as one of today's most 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,... Software engineering, is widely recognized as one of today's most |
|
cena:
192,30 zł |
Linguistic Identity Matching
ISBN: 9783834813701 / Angielski / Miękka / 2013 / 244 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Regulation, risk awareness and technological advances are more and more drawing identity search requirements into business, security and data management processes. Following years of struggling with computational techniques, the new linguistic identity matching approach finally offers an appropriate way for such processes to balance the risk of missing a personal match with the costs of overmatching. The new paradigm for identity searches focuses on understanding the influences that languages, writing systems and cultural conventions have on person names.
A must-read for anyone involved... Regulation, risk awareness and technological advances are more and more drawing identity search requirements into business, security and data manageme...
|
|
cena:
269,23 zł |
Objects, Components, Models and Patterns: 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings
ISBN: 9783540698234 / Angielski / Miękka / 2008 / 413 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The TOOLS conference series started in 1989 and, over the following 15 years, held 45 sessions: TOOLS EUROPE, TOOLS USA, TOOLS PACIFIC, TOOLS CHINA and TOOLS EASTERN EUROPE. TOOLS played a major role in the spread of object-oriented and component technologies; many seminal software conceptsnowtakenforgrantedwere?rstdiscussedatTOOLS, takingadvantage of the informal, application-oriented, technically intense and marketing-free - mosphere of the conference. Invited speakers have included countless luminaries of science and industry. Afteraninterruptionoffouryears, TOOLSstartedagaininJune2007,...
The TOOLS conference series started in 1989 and, over the following 15 years, held 45 sessions: TOOLS EUROPE, TOOLS USA, TOOLS PACIFIC, TOOLS CHINA an...
|
|
cena:
192,30 zł |
Software Engineering Approaches for Offshore and Outsourced Development: Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers
ISBN: 9783642018558 / Angielski / Miękka / 2009 / 211 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Majoreconomicupheavalscanhavethesortofe?ectthatSchumpeterforesaw60 yearsagoascreativedestruction.Inscienceandtechnology, equivalentupheavals resultfromeitherscienti?crevolutions(asobservedbyKuhn)ortheintroduction of what Christensen calls disruptive technologies. And in software engineering, there has been no technology more disruptive than outsourcing. That it should so quickly reach maturity and an unparalleled scale is truly remarkable; that it should now be called to demonstrate its sustainability in the current ?nancial turmoil is the challenge that will prove whether and how it will...
Majoreconomicupheavalscanhavethesortofe?ectthatSchumpeterforesaw60 yearsagoascreativedestruction.Inscienceandtechnology, equivalentupheavals resultfro...
|
|
cena:
192,30 zł |
Topics in Algebraic and Topological K-Theory
ISBN: 9783642157073 / Angielski / Miękka / 2010 / 308 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume is an introductory textbook to K-theory, both algebraic and topological, and to various current research topics withinthe field, including Kasparov's bivariant K-theory, the Baum-Connes conjecture, the comparison between algebraic and topological K-theory of topological algebras, the K-theory of schemes, and the theory of dg-categories.
This volume is an introductory textbook to K-theory, both algebraic and topological, and to various current research topics withinthe field, including...
|
|
cena:
172,90 zł |