Kategoria BISAC: Computers >> Programming - Compilers

John Hunt's book guides you through the use of the UML and the Unified Process and their application to Java systems. Key topics focus explicitly on applying the notation and the method to Java. The book is clearly structured and written, making it ideal for practitioners. This second edition is considerably revised and extended and includes examples taken from the latest version of Rational Rose and Together.

Considers how Agile Modelling fits with the Unified Process, and presents Design Patterns

Self contained - covers both the Unified Process and UML in one book...

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014.

The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

This book gives an overview of the latest progress in the domain of quantum imaging. It reflects three and a half years of research carried out by leading specialists in the area within the Quantum Imaging network, a research programme of the European Community.

Quantum Imaging is a newly born branch of quantum optics that investigates the ultimate performance limits of optical imaging allowed by the laws of quantum mechanics. Using the methods and techniques from quantum optics, quantum imaging addresses the questions of image formation, processing and detection with sensitivity and...

This easy-to-follow and classroom-tested textbook guides the reader through the fundamentals of programming with Python, an accessible language which can be learned incrementally. This revised and updated new edition will teach students how to recognize and apply abstract patterns in programming through the extensive use of illustrative examples and practical exercises. The book also demonstrates the benefit of using a debugger to inspect the state of a program while it is executing.

Topics and features: incudes numerous examples and practice exercises throughout the text, with...

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceio, Brazil, in September/October 2014.

The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this...