![]() ![]() Tank force snds software#IEEE Transactions on Software Engineering, 12(2):222–240, February 1986. ![]() Kugler (ed.), Information Processing '86, Elsevier Science Publishers B.V. No Silver Bullet: Essence and Accidents of Software Engineering. Formal Methods, Safety-Critical Systems and Standards. IEEE Transactions on Software Engineering, 12(2):211–221, February 1986.Jonathan P. Table of contents Preface Parts: Specification and Design Structured Methods Formal Methods Object-Orientation Concurrent and Distributed Systems Real-Time and Safety-Critical Systems Integrating Methods Implementation CASE Glossary Bibliography Index List of reprints The following papers are included: Grady Booch. Bowen and Victoria Stavridou, pages 485-528. Bowen and Mike Hinchey, pages 217-230.Safety-Critical Systems, Formal Methods and Standards, Jonathan P. Bowen and Mike Hinchey, pages 153-165.Ten Commandments of Formal Methods, Jonathan P. (xix+701 pages) Co-author of the following reprinted papers:Seven More Myths of Formal Methods, Jonathan P. Springer-Verlag, London, FACIT series, April 1999. ![]() Bowen and Mike Hinchey (University of Nebraska at Omaha). The volume is also available from the IEEE Computer Society Press. It will provide them with details of specification and design approaches for this type of system, an overview of the development process, and evidence of how various classes of high-integrity system may be approached and developed successfully. High-Integrity System Specification and Design provides practitioners and researchers with convenient access to a range of essential essays - both classic and state-of-the-art - in a single volume. Among these classic articles are contributions from such leading names as Leslie Lamport, Nancy Leveson and C.A.R. It contains new material by Jonathan Bowen and Michael Hinchey, along with reprints of classic articles on high-integrity systems which have never bef ore appeared in a single volume. This volume provides the reader with a comprehensive introduction to system specification an d design methods, with particular emphasis on structured and formal methods, method integration, concurrency and safety-critical systems. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |