Interactive Systems. Design, Specification, and Verification 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Palanque, Philippe (Editor, http://id.loc.gov/vocabulary/relators/edt), Paterno, Fabio (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
• Edition: 1st ed. 2001.
• Series: Lecture Notes in Computer Science, 1946
• Subjects: Computer communication systems.; Computers.; Application software.; User interfaces (Computer systems).; Computer graphics.; Software engineering.; Computer Communication Networks.; Theory of Computation.; Computer Applications.; User Interfaces and Human Computer Interaction.; Computer Graphics.; Software Engineering.

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design...