Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design

This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.

The 19 revised full papers presented together with an invited paper and the abstracts of two invited talks were carefully selected from 36 submissions during two rounds of reviewing and improvement. All current aspects of formal method for modeling and analyzing timed systems are addressed; among the timed systems dealt with are timed automata, timed Petri nets, max-plus...

This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects; as well as applications of theory in engineering methods and particular domains and handling of practical problems occurring in tools.

FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW embedded systems. FDL'07 was the tenth of a series of successful events held all around Europe. FDL'07 was held in Barcelona, the capital city of Catalonia, Spain. The high number of submissions to the conference this year allowed the Program Committee to prepare a high quality conference program....

IMPROVE stands for "Information Technology Support for Collaborative and Distributed Design Processes in Chemical Engineering" and is a large joint project of research institutions at RWTH Aachen University. This volume summarizes the results after 9 years of cooperative research work.

The focus of IMRPOVE is on understanding, formalizing, evaluating, and, consequently, improving design processes in chemical engineering. In particular, IMPROVE focuses on conceptual design and basic engineering, where the fundamental decisions concerning the design or redesign of a chemical plant are...

Electronic navigation, although still relatively new, is becoming increasingly more common, particularly on commercial vessels. This handbook offers a wealth of detailed information about how different charting systems operate and answers the most commonly asked questions regarding electronic charts (ENC, RNC, DNC) and electronic chart systems (ECDIS, RCDS, ECS). The first resource to provide so much detail on all facets of ECDIS and Electronic Charting Systems, it is certain to serve as the bible for ECDIS users for years to come. It not only provides information for training programs but...

grep Pocket Reference is the first guide devoted to grep, the powerful Unix content-location utility. This handy book is ideal for system administrators, security professionals, developers, and others who want to learn more about grep and take new approaches with it -- for everything from mail filtering and system log management to malware analysis. With grep Pocket Reference, you will:

• Learn methods for filtering large files for specific content
• Acquire information not included in the current grep documentation
• Get several tricks for using...