Components and Connections


Book Description

Jedes Gebäude besteht aus Teilen, die vielfältig organisiert werden können. Wände etwa lassen sich auf unterschiedliche Weise anordnen, um ihre Hauptfunktionen – Tragen, Trennen und Schützen – optimal wahrzunehmen. Das Buch stellt die gängigen Tragsysteme wie Scheiben-, Massiv- oder Skelettbauweise vor und zeigt deren Auswirkung auf das Gesamtgefüge. Es erklärt, wie Räume vertikal oder horizontal verbunden und zu einem Ganzen zusammengesetzt werden können. Die einzelnen Elemente wie Geschossdecken, Dächer, Öffnungen oder Fundamente werden in ihren Funktionen und mit ihren Verbindungsmöglichkeiten dargestellt. Das Buch zeigt hinter der Fülle der möglichen Details die Prinzipien der Detaillierung. Zahlreiche, eigens angefertigte Zeichnungen erklären die Prinzipien der Bauteile und verdeutlichen diese dann an realisierten Projekten.




Tool and Manufacturing Engineers Handbook: Design for Manufacturability


Book Description

Addresses important topics of DFM, including how it relates to concurrent engineering, management issues, getting started in DFM, how to justify using DFM, applying quality tools and how DFM is affecting computer technology (and vice versa). Covers topics starting with the creative thinking process, to combining DFM with geometric dimensioning and tolerancing. Also includes product design information that designers should know when committing pen to paper or mouse to mat.




Tools and Algorithms for the Construction and Analysis of Systems


Book Description

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.




Composing Software Components


Book Description

Software components and component-based software development (CBSD) are acknowledged as the best approach for constructing quality software at reasonable cost. Composing Software Components: A Software-testing Perspective describes a 10-year investigation into the underlying principles of CBSD. By restricting attention to the simplest cases, startling results are obtained: • Components are tested using only executable code. Their behavior is recorded and presented graphically. • Functional and non-functional behavior of systems synthesized from components are calculated from component tests alone. No access to components themselves is required. • Fast, accurate tools support every aspect of CBSD from design through debugging. Case studies of CBSD also illuminate software testing in general, particularly an expanded role for unit testing and the treatment of non-functional software properties. This unique book: • Contains more than a dozen case studies of fully worked-out component synthesis, with revealing insights into fundamental testing issues. • Presents an original, fundamental theory of component composition that includes persistent state and concurrency, based on functional software testing rather than proof-of-programs. • Comes with free supporting software with tutorial examples and data for replication of examples. The Perl software has been tested on Linux, Macintosh, and Windows platforms. Full documentation is provided. • Includes anecdotes and insights from the author’s 50-year career in computing as systems programmer, manager, researcher, and teacher. Composing Software Components: A Software-testing Perspective will help software researchers and practitioners to understand the underlying principles of component testing. Advanced students in computer science, engineering, and mathematics can also benefit from the book as a supplemental text and reference.




Recommended Seismic Evaluation and Upgrade Criteria for Existing Welded Steel Moment-Frame Buildings (FEMA 351)


Book Description

This report, FEMA-351 - Recommended Seismic Evaluation and Upgrade Criteria for Existing Welded Steel Moment-Frame Buildings has been developed by the SAC Joint Venture under contract to the Federal Emergency Management Agency (FEMA) to provide structural engineers with recommended criteria for evaluation of the probable performance of existing steel moment-frame buildings in future earthquakes and to provide a basis for updating and revision of evaluation and rehabilitation guidelines and standards. It is one of a series of companion publications addressing the issue of the seismic performance of steel moment-frame buildings. The set of companion publications includes: FEMA-350 - Recommended Seismic Design Criteria for New Steel Moment-Frame Buildings. This publication provides recommended criteria, supplemental to FEMA-302 - 1997 NEHRP Recommended Provisions for Seismic Regulations for New Buildings and Other Structures, for the design and construction of steel moment-frame buildings and provides alternative performance-based design criteria. FEMA-351 - Recommended Seismic Evaluation and Upgrade Criteria for Existing Welded Steel Moment-Frame Buildings. This publication provides recommended methods to evaluate the probable performance of existing steel moment-frame buildings in future earthquakes and to retrofit these buildings for improved performance. FEMA-352 - Recommended Postearthquake Evaluation and Repair Criteria for Welded Steel Moment-Frame Buildings. This publication provides recommendations for performing postearthquake inspections to detect damage in steel moment-frame buildings following an earthquake, evaluating the damaged buildings to determine their safety in the postearthquake environment, and repairing damaged buildings. FEMA-353 - Recommended Specifications and Quality Assurance Guidelines for Steel Moment-Frame Construction for Seismic Applications. This publication provides recommended specifications for the fabrication and erection of steel moment frames for seismic applications. The recommended design criteria contained in the other companion documents are based on the material and workmanship standards contained in this document, which also includes discussion of the basis for the quality control and quality assurance criteria contained in the recommended specifications. The information contained in these recommended evaluation and upgrade criteria, hereinafter referred to as Recommended Criteria, is presented in the form of specific recommendations for design and performance evaluation procedures together with supporting commentary explaining part of the basis for these recommendations.




Component-Based Software Development for Embedded Systems


Book Description

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The next generation of premium automobiles will carry around one gigabyte of binary code. The proposed US DDX submarine is e?ectively a ?oating embedded so- ware system, comprising 30 billion lines of code written in over 100 programming languages. Embedded software is expensive. Cost estimates are quoted at around US$15– 30 per line (from commencement to shipping). In the defense realm, costs can range up to $100, while for highly critical applications, such as the Space Shuttle, the cost per line approximates $1,000. In view of the exponential increase in complexity, the projected costs of future embedded software are staggering.




Component-Oriented Programming


Book Description

Component Oriented Programming offers a unique programming-centered approach to component-based software development that delivers the well-developed training and practices you need to successfully apply this cost-effective method. Following an overview of basic theories and methodologies, the authors provide a unified component infrastructure for building component software using JavaBeans, EJB, OSGi, CORBA, CCM, .NET, and Web services. You'll learn how to develop reusable software components; build a software system of pre-built software components; design and implement a component-based software system using various component-based approaches. Clear organization and self-testing features make Component Oriented Programming an ideal textbook for graduate and undergraduate courses in computer science, software engineering, or information technology as well as a valuable reference for industry professionals.







A Strategic Analysis of Chinese Airline Industry under Online Environment


Book Description

The boom of internet is causing another industrial revolution. It is necessary for Chinese airlines to develop E-business in order to keep their competitive advantages. China Southern Airlines is the first Chinese airlines to enter E-business sector and is fairly successful in Chinese civil aviation market. However, comparing with British Airways, current E-business strategy in this company quite falls behind. After a strategic analysis, it is clearly that E-business is a profitable strategy for China Southern Airlines and should be applied further. It is quite urgent for China Southern Airlines to enlarge and improve its E-business strategies so that it can consolidate its leading position in this market segment. Therefore, some reasonable future strategic choices are put forward and a recommendation is given. On the other hand, the explosion of Chinese economy provides a rapid growth of air traffic world widely. British Airways and other foreign airlines would increase their profits significantly from Chinese air market.




Component-Based Software Engineering


Book Description

On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensivesystems from independently developed software-building blocks (components), the - velopment of components, and system maintenance and improvement by means of component replacement and customization. CBSE 2008 was the 11th in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. Wewerefortunateto haveadedicatedProgramCommitteecomprisingmany internationallyrecognizedresearchersandindustrialpractitioners.Wewouldlike to thank the members of the Program Committee and associated reviewers for their contribution in making this conference a success. We received 70 subm- sions and each paper was reviewed by at least three Program Committee m- bers (four for papers with an author on the Program Committee). The entire reviewing process was supported by the Conference Management Toolkit p- vided by Microsoft. In total, 20 submissions were accepted as full papers and 3 submissions were accepted as short papers.