Formal Approaches to Software Testing
Subtitle: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, ... 2003 (Lecture Notes in Computer Science)
Contributors: Alexandre Petrenko (Editor); Andreas Ulrich (Editor)
Edition: 1 edition
Publisher: Springer
Published: March 19, 2004
Language: eng
Format: Paperback
Number of pages: 267
ISBN-13: 9783540208945
Subjects: Software engineering; Testing; Formal methods (Computer scien; Computers; Computers - Languages / Programming; Programming Languages - General; Computer Books: Languages; Programming - Software Development; Formal methods (Computer science); Logic Design; Computers / Programming / Software Development; UML; abstract state machines; correct sytems design; correctness proofs; efficient testing; finite state machines; Computer software; Congresses; Congráes; Mâethodes formelles (Informatique)
First sentence: An important feature of object-oriented (OO) languages is the possibility of enriching or extending the functionality of an OO system [18] by providing, in derived classes, suitable definitions or re-definitions for some of the methods of some of the classes of the given system.