Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Lire la suiteDreamweaver 8 takes a lot of the hard work out of performing tasks such as integrating a database into your website, but ...
Lire la suiteFlex is a very powerful and versatile technology for creating web application front-ends. But what every good web application ...
Lire la suiteAjax burst onto the Web development scene by offering highly interactive, desktop-like Web applications that can be deployed ...
Lire la suiteThis book introduces a fast-track path to understanding Atlas, and how this technology can increase the power and functionality ...
Lire la suiteThis volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
Lire la suiteThis book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, ...
Lire la suiteThis book cover software verification; model-driven development and model transformation; software evolution and requirements ...
Lire la suiteETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteThe papers deal with the foundations on which software engineering is built, including topics like software engineering as ...
Lire la suiteThis is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides ...
Lire la suiteThis unique guide provides comprehensive coverage of the key elements of Assembly language programming with in-depth coverage ...
Lire la suiteThe Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa ...
Lire la suiteThe First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel from ...
Lire la suiteThis volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Lire la suiteThis book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
Lire la suiteIncludes numerous exercises and test questions to help you solidify what you have learned as you progress through the book, ...
Lire la suiteThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Lire la suiteAlthough vital to modern software development, Java and object-oriented programming can pose significant challenges to newcomers. ...
Lire la suiteThis volume contains the ?nal proceedings of the Sixth International Andrei Ershov Memorial Conference on Perspectives of ...
Lire la suite