This book presents thoroughly revised tutorial papers based on lectures given by leading researchers at the International Training School on Domain Modeling and the Duration Calculus, held in Shanghai, China, as an associated event of ICTAC 2007. Topics addressed in detail are: development of real-time systems, domain engineering using abstract modeling, the area of duration calculus, and formal methods like language description using the operational semantics approach.

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.

This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses.

What the beginner photographer really needs is a no-nonsense guide to the most important features on DSLRs written by experts that reveals in plain English exactly what they need to know and nothing more. This is that book. Teach yourself Photography explains all the photography concepts beginners need, such as how to balance exposures, how to get sharp shots, and how to maximize image quality. Once you've mastered these basics, you can then move on to our more advanced skills section at the end of the book featuring practical how-to guides for shooting a range of core subjects. Take your photography to the next level and start learning today!

The downside to the digital revolution is that it has thrown up new technical challenges that both experienced shooters and novices need to master: not only white balance, memory and digital formats, but also unfamiliar features such as predictive autofocus, multi-pattern metering and programmed exposure. Many photographers find themselves baffled by the plethora of options they now face when shooting, and retreat to their cameras default settings and pre-sets; but this not only compromises your results, it also takes all the fun out of successfully composing and capturing the perfect shot. Now, for the first time, expert advice on practical and aesthetic questions is available in the kind of book which anyone can pack with their camera, without worrying about size, weight or cost. Are you still baffled by your cameras shooting modes? Do you find that your pictures are poorly exposed? Do you aspire to shoot beautiful black and white images? All the expert advice you need, on the questions you want answered, is now accessible portable, practical and affordable: "The Camera Bag Companions".