Product Description: This book constitutes the proceedings of the Fourth International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2010, held in St. Petersburg, Russia, June 17-18, 2010. The four long plus the four short papers presented together with two keynote speeches were carefully reviewed and selected from 25 submissions for inclusion in the book...read more

Product Description: This book constitutes the proceedings of the Second International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2008, held in Zurich, Switzerland, on July 2-3, 2008. The 14 papers included in this volume were carefully reviewed and selected from 50 submissions...read more

Product Description: This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Software Engineering Approaches for Offshore and Outsourced Development, SEAFOOD 2007, Zurich, Switzerland, in February 2007. The 15 revised full papers presented were carefully reviewed and selected for inclusion in the book...read more

Product Description: This book constitutes the refereed proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2000, held in Pune, India in September 2000. The 21 revised full papers presented together with three invited contributions were carefully reviewed and selected from numerous submissions...read more (view table of contents, read Amazon.com's description)

Product Description: This text provides an account of real-time systems: program structures for real-time timing analysis using scheduling theory and specification and verification in different frameworks. The presentation makes use of recent research which has demonstrated the effectiveness and applicability of mathematically-based methods for real-time system design...read more

Product Description: This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems...read more