الصفحة 1
الصفحة 1
Testing of software and communicating systems ; 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating systems and general software. They are organized in topical sections on general software testing, testing continuous and real-time systems, network testing, test generation, concurrent system testing, and applications of testing.
Runtime Verification ; 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal verifcation methods as model checking. In 2007, the workshop was held on March 13, 2007 in Vancouver, British Columbia, Canada, co-located to the Conference on Aspect-Oriented Software Development (AOSD) in order to explore the emerging connections between the two communities.
Human-computer interaction - HCI : Applications and services ; 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part IV
The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. This volume, edited by Julie A. Jacko, contains papers in the thematic area of - man-Computer Interaction, addressing the following major topics: • Business Applications • Learning and Entertainment • Health Applications • Work and Collaboration Support • Web-Based and Mobile Applications and Services • Advanced Design and Development Support.
Advanced Information Systems Engineering ; 20th International Conference, CAiSE 2008 Montpellier, France, June 16-20, 2008 Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Advanced Information Systems Engineering, CAiSE 2008, held in Montpellier, France, in June 2008.
