Formal Engineering Methods (Icfem 2000): 3rd IEEE International Conference - Softcover

IEEE International Conference On Formal Engineering Methods (3rd : 2000 : York, England)

Softcover

ISBN 10: 0769508227 ISBN 13: 9780769508221

Publisher: IEEE, 2001

Synopsis

Invited speakers explore the use of mathematics in software engineering, legacy code, and challenges and results of offering formal verification capabilities for industry standard case tools. The other 19 papers cover development, structuring, algebraic approaches, verification, formal and informal notations, retrenchment, the theory and practice of Z, and animation. There is no subject index. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Edition details

• Publisher: IEEE
• Publication date: 2001
• Language: English
• ISBN 10: 0769508227
• ISBN 13: 9780769508221
• Binding: Paperback