Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... (Lecture Notes in Computer Science, 2495) - Softcover
Synopsis
This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.
"synopsis" may belong to another edition of this title.
Product Description
Formal Methods and Software Engineering These papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.
"About this title" may belong to another edition of this title.
Search results for Formal Methods and Software Engineering: 4th International...
Stock Image
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, . (Lecture Notes in Computer Science, 2495)
Seller: Earl The Pearls, Edmond, OK, U.S.A.
Seller rating 4 out of 5 stars
Soft cover. Condition: As New. In publisher's shrinkwrap. Binding tight and square. Pages clean and free of writing or marks. Seller Inventory # AZ700-003
Stock Image
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # UTD1422642
Stock Image
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... (Lecture Notes in Computer Science, 2495)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020155169
Stock Image
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... (Lecture Notes in Computer Science, 2495)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540000297_new
Buy New
£ 94.30
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Formal Methods and Software Engineering
Published by
Springer Berlin Heidelberg Okt 2002, 2002
ISBN 10: 3540000291
ISBN 13: 9783540000297
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai,China,from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical,security-critical,and mission-critical systems have signi cantly increased trustworthiness,without increasing overall development costs. ICFEM encourages the exchange of ideas on recent advances in formal methods and software engineering. The conference received 108 papers submitted from 24 di erent countries and regions. A total of 43 regular and 16 short papers were accepted. All papers were reviewed by three or four members of the program committee or other reviewers. The conference would not have been possible without their voluntary and dedicated work. The conference had a number of excellent keynote speakers: Prof. Ralph- Johan Back of Abo Akademi University,Finland,Dr. Mark A. Hale of Inter woven Inc.,USA,Dr. Richard J ullig of CommerceNet Consortium,USA,Prof. Shaoying Liu of Hosei University,Japan,and Prof. Jim Woodcock of the University of Kent,UK. They provided a balanced view of advanced formal methods and software engineering from their research programs and experience. 648 pp. Englisch. Seller Inventory # 9783540000297
Seller Image
Formal Methods and Software Engineering
Published by
Springer Berlin Heidelberg, 2002
ISBN 10: 3540000291
ISBN 13: 9783540000297
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Talks.- SFI: A Refinement Based Layered Software Architecture.- Developing Quality Software Systems Using the SOFL Formal Engineering Method.- Maintaining Referential Integrity on the Web.- Formal Methods in Enterprise Computing.- Unifying Theories . Seller Inventory # 4876926
Buy New
£ 82.28
£ 42.41 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Methods and Software Engineering
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 648. Seller Inventory # 263077746
Stock Image
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. These papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics. Editor(s): George, Chris; Miao, Huaikou. Series: Lecture Notes in Computer Science. Num Pages: 648 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 33. Weight in Grams: 895. . 2002. 2002nd Edition. paperback. . . . . Seller Inventory # V9783540000297
Stock Image
Formal Methods and Software Engineering
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 648 Illus. Seller Inventory # 5851565
Buy New
£ 132.76
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Seller Image
Formal Methods and Software Engineering | 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Formal Methods and Software Engineering | 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings | Chris George (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2002 | Springer | EAN 9783540000297 | Verantwortliche Person für die EU: Springer-Verlag KG, Sachsenplatz 4-6, 1201 WIEN, ÖSTERREICH, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand. Seller Inventory # 102568389