Andere Kunden interessierten sich auch für
![Formal Methods for Components and Objects]( "Formal Methods for Components and Objects")
Formal Methods for Components and Objects42,99 €![Formal Methods at the Crossroads. From Panacea to Foundational Support]( "Formal Methods at the Crossroads. From Panacea to Foundational Support")
Formal Methods at the Crossroads. From Panacea to Foundational Support42,99 €![Integrated Formal Methods]( "Integrated Formal Methods")
Integrated Formal Methods42,99 €![Formal Methods for the Design of Real-Time Systems]( "Formal Methods for the Design of Real-Time Systems")
Formal Methods for the Design of Real-Time Systems42,99 €![Formal Methods in Computer-Aided Design]( "Formal Methods in Computer-Aided Design")
Formal Methods in Computer-Aided Design42,99 €![Lectures on Formal Methods and Performance Analysis]( "Lectures on Formal Methods and Performance Analysis")
Lectures on Formal Methods and Performance Analysis42,99 €![FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science]( "FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science")
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science42,99 €
This book constitutes the refereed proceedings of the CoLogNet/FME Symposium on Teaching Formal Methods, TFM 2004, held in Ghent, Belgium in November 2004.
The 15 revised full papers presented together with an invited paper and 2 abstracts of invited talks were carefully reviewed and selected from numerous submissions. The papers presented explore the failures and successes of formal methods education, consider how the failures might be resolved, evaluate how to learn from the successes, and attempt promoting cooperative projects to further the teaching and learning and the usage and acceptance of formal methods.
"Professional engineers can often be distinguished from other designers by the engineers' ability to use mathematical models to describe and 1 analyze their products." This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (civil, mechanical, electrical, etc.). Unf- tunately, it is in sharp contrast with current (industrial) practice in software design, where mathematical models are hardly used at all, even by those who, 2 in Holloway's words "aspire to be engineers." The rare exceptions are certain critical applications, where mathematical techniques are used under the general name formal methods. Yet,thesamecharacteristicsthatmakeformalmethodsanecessityincritical applicationsmakethemalsoadvantageousineverydaysoftwaredesignatvarious levels from design e?ciency to software quality. Why, then, is education failing with respect to formal methods? - failing to convince students, academics and practitioners alike that formal methods are truly pragmatic; - failing to overcome a phobia of formality and mathematics; - failing to provide students with the basic skills and understanding required toadoptamoremathematicalandlogicalapproachtosoftwaredevelopment. Until education takes these failings seriously, formal methods will be an obscure byway in software engineering, which in turn will remain severely impoverished as a result.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
The 15 revised full papers presented together with an invited paper and 2 abstracts of invited talks were carefully reviewed and selected from numerous submissions. The papers presented explore the failures and successes of formal methods education, consider how the failures might be resolved, evaluate how to learn from the successes, and attempt promoting cooperative projects to further the teaching and learning and the usage and acceptance of formal methods.
"Professional engineers can often be distinguished from other designers by the engineers' ability to use mathematical models to describe and 1 analyze their products." This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (civil, mechanical, electrical, etc.). Unf- tunately, it is in sharp contrast with current (industrial) practice in software design, where mathematical models are hardly used at all, even by those who, 2 in Holloway's words "aspire to be engineers." The rare exceptions are certain critical applications, where mathematical techniques are used under the general name formal methods. Yet,thesamecharacteristicsthatmakeformalmethodsanecessityincritical applicationsmakethemalsoadvantageousineverydaysoftwaredesignatvarious levels from design e?ciency to software quality. Why, then, is education failing with respect to formal methods? - failing to convince students, academics and practitioners alike that formal methods are truly pragmatic; - failing to overcome a phobia of formality and mathematics; - failing to provide students with the basic skills and understanding required toadoptamoremathematicalandlogicalapproachtosoftwaredevelopment. Until education takes these failings seriously, formal methods will be an obscure byway in software engineering, which in turn will remain severely impoverished as a result.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.