Industrial Strength Design
Title | Industrial Strength Design PDF eBook |
Author | Glenn Adamson |
Publisher | MIT Press |
Pages | 240 |
Release | 2003 |
Genre | Architecture |
ISBN |
This book documents the work of designer Brooks Stevens. It includes 250 illustrations of designs by Stevens and his firm, many in color, detailed studies of individual designs, interpretative essays, and several key writings by Stevens himself.
Raymond Loewy, Pionier des Amerikanischen Industriedesigns
Title | Raymond Loewy, Pionier des Amerikanischen Industriedesigns PDF eBook |
Author | Raymond Loewy |
Publisher | Prestel Publishing |
Pages | 272 |
Release | 1990 |
Genre | Technology & Engineering |
ISBN |
Critical essays, with illustrations, of many of the artist's designs.
Industrial-Strength Formal Methods in Practice
Title | Industrial-Strength Formal Methods in Practice PDF eBook |
Author | Michael G. Hinchey |
Publisher | Springer Science & Business Media |
Pages | 420 |
Release | 1999-09-17 |
Genre | Computers |
ISBN | 9781852336400 |
"Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to academic researchers working in formal methods, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work."--Jacket.
Advanced Rails
Title | Advanced Rails PDF eBook |
Author | Brad Ediger |
Publisher | "O'Reilly Media, Inc." |
Pages | 360 |
Release | 2007-12-21 |
Genre | Computers |
ISBN | 0596555083 |
Ready to go to the next level with Rails? From examining the parts of Ruby that make this framework possible to deploying large Rails applications, Advanced Rails offers you an in-depth look at techniques for dealing with databases, security, performance, web services and much more. Chapters in this book help you understand not only the tricks and techniques used within the Rails framework itself, but also how to make use of ideas borrowed from other programming paradigms. Advanced Rails pays particular attention to building applications that scale -- whether "scale" means handling more users, or working with a bigger and more complex database. You'll find plenty of examples and code samples that explain: Aspects of Ruby that are often confusing or misunderstood Metaprogramming How to develop Rails plug-ins Different database management systems Advanced database features, including triggers, rules, and stored procedures How to connect to multiple databases When to use the Active Support library for generic, reusable functions Security principles for web application design, and security issues endemic to the Web When and when not to optimize performance Why version control and issue tracking systems are essential to any large or long-lived Rails project Advanced Rails also gives you a look at REST for developing web services, ways to incorporate and extend Rails, how to use internationalization, and many other topics. If you're just starting out with rails, or merely experimenting with the framework, this book is not for you. But if you want to improve your skills with Rails through advanced techniques, this book is essential.
Real World Color Management
Title | Real World Color Management PDF eBook |
Author | Bruce Fraser |
Publisher | Pearson Education |
Pages | 753 |
Release | 2004-09-08 |
Genre | Computers |
ISBN | 0132777959 |
Every graphics professional worth his or her salt knows the importance of color management. No matter how much thought artist and client put into the color scheme for a given project, all of that work is for naught if you can't get your results to match your expectations. Enter Real World Color Management, Second Edition. In this thoroughly updated under-the-hood reference, authors Bruce Fraser, Chris Murphy, and Fred Bunting draw on their years of professional experience to show you everything you need to know about color management. Whether your final destination is print, Web, or film, Real World Color Management, Second Edition takes the mystery out of color management, covering everything from color theory and color models to understanding how devices interpret and display color. You'll find expert advice for building and fine-tuning color profiles for input and output devices (digital cameras and scanners, displays, printers, and more), selecting the right color management workflow, and managing color within and across major design applications. Get Real World Color Management, Second Edition--and get ready to dazzle!
Industrial Strength C++
Title | Industrial Strength C++ PDF eBook |
Author | Mats Henricson |
Publisher | Prentice Hall |
Pages | 0 |
Release | 1997 |
Genre | C (Computer program language) |
ISBN | 9780131209657 |
A practical reference to using C++ in commercial application development. The authors define C++ terminology in plain English, list general rules of thumb for good programming style, and recommend appropriate ways to deal with various programming situations and problems. Consistent with the draft standard for the C++ programming language.
CAFE: An Industrial-Strength Algebraic Formal Method
Title | CAFE: An Industrial-Strength Algebraic Formal Method PDF eBook |
Author | K. Futatsugi |
Publisher | Elsevier |
Pages | 209 |
Release | 2000-10-06 |
Genre | Computers |
ISBN | 0080528406 |
This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees.The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective.Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic supports for proofs. All the environments explained in the papers assume and support distributed computing, and de facto standard network technologies, such as WWW and http, are incorporated.