|
MePhI Scientific Session 2005 |
|
UniTESK Case Study was presented at the section “Technology of software design” by organizers of “MePhI Scientific Session 2005” invitation. Case study “Application of UniTESK to testing of Windows services” was presented by Natalia Kazakova and Victor Kuliamin. According to section participants opinion, UniTESK is a very promising technology. Lectures and practical trainings on UniTESK technology and tools could be included in MePhI curriculum. |
|
|
A joint report of ISP RAS, Morphbius Technologies (Canada), and Beijing Mediamagic (China) |
|
A joint report of ISP RAS, Morphbius Technologies (Canada), and Beijing Mediamagic (China) was submitted to Audio Video coding Standard Working Group of China (AVS). The submission is devoted to enhancing international standard on intellectual property management and protection to conformance testing of Audio-Visual Systems Digital Rights Management (AVS DRM). The submission was presented at the 11th meeting of AVS held on December 10–12, 2004, in Beijing, China. (see the presentation) The report is available from the site of Institute for System Programming of the RAS. |
|
|
Internet. New Generation IPv6 |
|
New technologies of the Internet were the prime focus of the third international conference “Internet. New Generation – IPv6” in Moscow, November 24–25, 2004. The conference attracted researchers and engineers from Russia, France, Spain, Greece and Uzbekistan. Our presentation “Specification-based testing of IPsec” was accepted by the audience with great interest. The presentation is devoted to the important problem of interoperability and reliability of Internet security services. The presentation introduces the latest results of our work to develop an effective technology of specification-based conformance testing of Internet security services. |
|
|
Symposium on Leveraging Applications of Formal Methods |
|
UniTESK technology application for large-scale software testing was reviewed on the First International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), which took place in Paphos, Cyprus, on October 30 - November 2, 2004. On the symposium leading researchers in Formal Methods can meet with practitioners successfully applying them in a real industrial environment and they can enrich each others with new ideas, problems, and approaches to their solution. The event provided its participants with a vision of more practice-oriented development of formal methods and supporting tools. |
|
|
Perspectives of Model Based Testing seminar |
|
A talk on UniTESK technology was conducted on Perspectives of Model Based Testing seminar in Dagstuhl, Germany, on September 5–10, 2004. The seminar has gathered the leading researchers in model based testing from Europe and North America both from academic institutions and the industry. The presentation and the related article can be found in the materials of the seminar. |
|
|
|
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>
|
| Results 55 - 63 of 82 |
