Object Oriented Software Construction

Software -- Software Engineering.

This volume aims to study how practicing software developers, in industrial as well as academic environments, can use object technology to improve the quality of the software they produce. It includes topics on concurrency and Internet programming.

Object-oriented programming (OOP) has been the leading paradigm for developing software applications for at least 20 years. Many different methodologies, approaches, and techniques have been created for OOP, such as UML, Unified Process, design patterns, and eXtreme Programming. Yet, the actual process of building good software, particularly large, interactive, and long-lived software, is still emerging. Software engineers familiar with the current crop of methodologies are left wondering, how does all of this fit together for designing and building software in real projects? This handbook from one of the world's leading software architects and his team of software engineers presents guidelines on how to develop high-quality software in an application-oriented way. It answers questions such as: * How do we analyze an application domain utilizing the knowledge and experience of the users? * What is the proper software architecture for large, distributed interactive systems that can utilize UML and design patterns? * Where and how should we utilize the techniques and methods of the Unified Process and eXtreme Programming? This book brings together the best of research, development, and day-to-day project work. "The strength of the book is that it focuses on the transition from design to implementation in addition to its overall vision about software development." -Bent Bruun Kristensen, University of Southern Denmark, Odense

The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society relies on the correctness of a vast and growing amount of software. Improving the software engineering process is an important, long-term goal with many steps. Two of those steps are the KeY tool and this KeY book.

Effective C++ has been updated to reflect the latest ANSI/ISO standards. The author, a recognised authority on C++, shows readers fifty ways to improve their programs and designs.

This text combines a practical, hands-on approach to programming with the introduction of sound theoretical support focused on teaching the construction of high-quality software. A major feature of the book is the use of Design by Contract.

Beginning C# Object-Oriented Programming brings you into the modern world of development as you master the fundamentals of programming with C# and learn to develop efficient, reusable, elegant code through the object-oriented programming (OOP) methodology. Take your skills out of the 20th century and into this one with Dan Clark's accessible, quick-paced guide to C# and object-oriented programming, completely updated for .NET 4.0 and C# 4.0. As you develop techniques and best practices for coding in C#, one of the world's most popular contemporary languages, you'll experience modeling a “real world” application through a case study, allowing you to see how both C# and OOP (a methodology you can use with any number of languages) come together to make your code reusable, modern, and efficient. With more than 30 fully hands-on activities, you'll discover how to transform a simple model of an application into a fully-functional C# project, including designing the user interface, implementing the business logic, and integrating with a relational database for data storage. Along the way, you will explore the .NET Framework, the creation of a Windows-based user interface, a web-based user interface, and service-oriented programming, all using Microsoft's industry-leading Visual Studio 2010, C#, Silverlight, the Entity Framework, and more.

8676J-4 Learn to program the way commercial developers do! C++: Effective Object Oriented Software Construction, Second Edition is crafted to help you understand the C++ object-oriented paradigm in depth. It enables you to translate object concepts to practical solutions, no matter what software development environment you encounter. This edition is updated for the new ANSI C++ standard. The book introduces the fundamentals of object-oriented design/programming in the context of real world C++ software development, presenting proven strategies for using C++ to engineer elegant, high-quality software as quickly and efficiently as possible. You'll learn about: Classes, objects, and data abstraction 0bject design techniques and strategies for building efficient and stable architectures The C++ object model, and its cost/benefit implications C++ code style guidelines for projects Tips for writing multi-threaded object-oriented software Single and multiple inheritance, generic programming, and error management In this book, the author reveals the strategies professional developers have learned to maximize code and design reuse. You'll learn how to manage the extensive "housekeeping" that's associated with effective C++ software development. Then, you'll walk through detailed, real-world comparisons of the strengths and weaknesses of the major object-oriented languages. In addition, this book uses UML (Unified Modeling Language) to illustrate its design examples. Whether you're a new programmer, a programmer familiar with procedural languages, or a C++ programmer who isn't using object-oriented techniques to their full potential, C++: Effective Object Oriented Software Construction will help you achieve your most critical goals as a developer.