This volume constitutes the refereed proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2002, held in Grenoble, France, in April 2002. The 29 revised full papers presented together with one invited paper and four tool papers were carefully reviewed and selected from 95 submissions. The papers are organized in topical sections on real-time and probabilistic systems, scheduling, miscellaneous, software verification, infinite-state and parametric systems, model checking: logics and algorithms, model checking and testing,...

Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands what was already a large language. A challenge for both practitioners andresearchersistohelpsmooththeadoptionofthisnewlanguage.Increasingly, attention is being paid to the use of specialized languages, often pro?les of UML, appropriate for di?erent purposes; this is one way to make UML less overwh-...

Learning to program isn't just learning the details of a programming language: to become a good programmer you have to become expert at debugging, testing, writing clear code and generally unsticking yourself when you get stuck, while to do well in a programming course you have to learn to score highly in coursework and exams. Featuring tips, stories and explanations of key terms, this book teaches these skills explicitly. Examples in Python, Java and Haskell are included, helping you to gain transferable programming skills whichever language you are learning. Intended for students in Higher...