This paper introduces the integration of a service, which is described in the Wireless Intelligent Network (WIN), with a third generation system being developed by ITU-T, called IMT-2000 systems. UCMs and LOTOS notations are used to specify a prototype that is validated with LOTOS test cases at the early stages of mobile system development and evolution.

-- DanielAmyot - 07 Jul 2010


  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary edit

Title A high-level application framework for mobile system development: IMT-2000 case study
Authors R. andrade, W. Viana, D.P. Menezes
Type Conference
Conference/Journal Title International Conference on Telecommunications, Beijing, China
Month June
Year 2002
Pages 321-325
Keywords Commonalities and variabilities; IMT-2000 systems; LOTOS; Mobile systems; Specification and validation of requirements; Use case maps
Topic revision: r1 - 07 Jul 2010, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback