ISPRAS Logo
CASE
Intro Background Projects Offers Publications
ISPRAS Description Logo
Home   R&D Groups   Projects   Grants   Publications   Downloads

Publications


First-Order Functional Language without Garbage Collection, in Proc. Functional Language Implementation workshop, University of East Anglia, Norwich, UK, 1994:

N. Mansurov, Markov


Memory Management in Implementations of Functional Languages, in Voprosy kibernetiki: System Programming Applications, N. 2, Moscow, 1996 (in Russian):

E. Laskavaia, N. Mansurov


Design Issues of RASTA SDL-92 Translator, in Proc. of the 7-th SDL Forum, Oslo, Norway, 26-29 September, 1995, Elsevier Science Publishers B.V. (North-Holland), pp. 165-174:

N. Mansurov, A. Kalinov, A. Ragozin, A. Chernov (1995)


Tool suppport for algebraic Specifications of Data in SDL-92, in Proc. Formal Description Techniques IX, Kaiserslautern, Germany, 8-11 October 1996, Chapman & Hall, pp. 61-76:

N. Mansurov, A. Ragozin, A. Chernov, I.Mansurov


Generating executable code from Algebraic Specifications, in Voprosy kibernetiki: System Programming Applications, N. 2, Moscow, 1996 (in Russian):

N.Mansurov, A. Chernov


Generating readable programs from SDL, in Proc. SAM’98 workshop, 29 June-1 July, 1998, Humboldt University, Berlin, 1998:

N. Mansurov, A. Ragozin (download pdf file, size 104740 bytes)


Generation of code with simple and readable structure from SDL-92, in Voprosy kibernetiki: System Programming Applications, N. 3, Moscow, 1997 (in Russian):

N.Mansurov, A. Ragozin


Using declarative mappings for automatic code generation from SDL and ASN.1, in Proc. 9th SDL Forum, Montreal, Canada, June 21-26, 1999, Elsevier Science Publishers B.V. (North-Holland):

N. Mansurov, A.Ragozin (download pdf file, size 199642 bytes)


Automatic generation and execution of programs from SDL specifications, PhD thesis, Moscow State University, 1999:

A. Ragozin


On one approach to using SDL-92 and MSC for reverse engineering, in Voprosy kibernetiki: System Programming Applications, N. 3, Moscow, 1997 (in Russian):

N. Mansurov, E. Laskavaya, A. Ragozin, A. Chernov


"Industrial strength code generation from SDL", in A. Cavalli, A. Sarma (Eds.) SDL’97: TIME FOR TESTING – SDL, MSC and Trends, Proc. Of the 8-th SDL Forum, Evry, France, 23-26 September, 1997, Elsevier Science Publishers B. V. (North-Holland), pp. 415—430:

N. Mansurov, A. Ragozin, A. Chernov, I. Mansurov


Dynamic scenario-based approach to re-engineering of legacy telecommunication software, in Proc. 9th SDL Forum, Montreal, Canada, June 21-26, 1999, Elsevier Science Publishers B.V. (North-Holland):

N. Mansurov, R. Probert (download pdf file, size 60724 bytes)


A Scenario-based Approach to Evolution of Telecommunications Software, IEEE Communications Magazine, October, 2001:

N. Mansurov, R. Probert (download pdf file, size 55007 bytes; download pdf file, size 98240 bytes)


Toward the full cycle application of ITU-T languages, ITU Workshop "Framework and Scope of formal languages", Geneva, March, 2002
( http://www.itu.int/itudoc/itu-t/workshop/framewrk/008/index.html ):

N. Mansurov


inSight Reverse Engineering CASE Tool, in Proc. of the ICSE’99, Los Angeles, USA, 1998:

N. Rajala, D. Campara, N. Mansurov


"Formal Data Mining and Visualization at Procedure Level", in Proc. Workshop on Formal Modeling tools (FMTOOLS-2000):

N. Mansurov, D. Campara, E. Laskavaia, I. Ivanov (download pdf file, size 129569 bytes)


A Systematic Approach to Recovering Architecture from Existing Software, SD Expo West, San Jose, 25th April, 2002:

N. Mansurov


Extracting High-Level Architecture From Existing Code with Summary Models, in Proc. IASTED Conf. On Applied Informatics, Innsbruck, Austria, 2003 (to appear):

N. Mansurov, D. Campara (download pdf file, size 143982 bytes)


Using Message Sequence Charts to accelerate maintenance of existing systems, in Proc. 10th SDL Forum, Copenhagen, 2001, LNCS, Springer Verlag, 2001:

N. Mansurov, D. Campara (download pdf file, size 283869 bytes)


"Understanding Existing Software with Use Case Maps", in Proc. SDL and MSC Workshop, Aberystwyth, 2002:

D. Amyot, N. Mansurov, G. Muessbacher (download pdf file, size 584188 bytes)


Automatic synthesis of SDL models in Use Case Methodology, in Proc. 9th SDL Forum, Montreal, Canada, June 21-26, 1999, Elsevier Science Publishers B.V. (North-Holland):

N. Mansurov, D. Zhukov (download pdf file, size 69880 bytes)


Approximating (H)MSC semantics by Event Automata, in Proc. SDL and MSC workshop, Grenoble, 2000:

N. Mansurov, D. Vasura (download pdf file, size 122438 bytes)


"Automatic Synthesis of SDL from MSC and its applications in Forward and Reverse Engineering", invited talk at Visual Formal Methods workshop, Einhoven Technical University, Holland, 2000:

N. Mansurov


"Automatic Synthesis of SDL from MSC and its applications in Forward and Reverse Engineering", in Computer Languages, 2001:

N. Mansurov (download pdf file, size 234890 bytes)


Rapid Prototyping with Constructive Scenarios, Telelogic Innovate! Magazine, 2002:

N. Mansurov (download pdf file, size 120112 bytes)


"Using Metrics to enforce quality of Managed Architectures”, in industrial presentations proc. of int. Conf. Metrics-2002, Ottawa, Canada, 2002:

N. Mansurov (download pdf file, size 7743 bytes; download pdf file, size 782651 bytes)


Formal specification methodologies: MSC and SDL languages (lecture notes and tutorial), Moscow State University, Department of Computational Mathematics and Cybernetics, 1998 (in Russian):

N. Mansurov, O. Majlingova


Improving time-to-market using SDL tools and techniques (tutorial), Proc. 9th SDL Forum, Montreal, Canada, June 21-26, 1999:

R. Probert, N. Mansurov (download pdf file, size 863126 bytes)


Improving Time-To-Market using SDL tools and Techniques, Computer Networks and ISDN, 2000:

N. Mansurov, R. Probert (download pdf file, size 719996 bytes)


"Formal Methods for accelerated development of telecommunications software", in collected papers of ISP RAS, vol. 1, 2000:

N. Mansurov (download pdf file, size 852457 bytes)


Improving time-to-market using SDL tools and techniques (tutorial), Proc. 10th SDL Forum, Copenhagen, Denmark, 2001:

R. Probert, N. Mansurov (download pdf file, size 482372 bytes)


New Visual Interface for Engineering Use Case Models, in Proc. Int. Conf on Automated Software Engineering (ASE-2000), 2000:

N. Mansurov, D. Vasura (download pdf file, size 283770 bytes)


"Scenario-based approach to rapid prototyping of Human-Machine Interfaces", in Proc, Int. Conf. On Human-Machine Systems, Germany, 2001:

N. Mansurov, D. Vasura (download pdf file, size 330485 bytes)

 


Copyright © 2002 ISP RAS