Novosibirsk State University Journal of Information Technologies
Scientic Journal

ISSN 2410-0420 (Online), ISSN 1818-7900 (Print)

Switch to

All Issues >> Contents: Volume 09, Issue No 4 (2011)

Software design automation based on formal specification
V. P. Kotlyarov, P. D. Drobintcev

Saint Petersburg State Polytechnical University

UDC code: 004.4’2

Considered is the problem of manual development of specifications for the designed application, which introduces a significant efforts to the software development process together with the problem of application semantics control, required by the customer. Discussed are the instruments of development automation of requirements and architectural models' formal specifications as well as the technology of specifications and models design in the notation, appropriate for the customer's control (monitoring, inspection).

Key Words
customer's control (monitoring, inspection), semantics of the requirements, architectural models, requirements models

How to cite:
Kotlyarov V. P., Drobintcev P. D. Software design automation based on formal specification // Vestnik NSU Series: Information Technologies. - 2011. - Volume 09, Issue No 4. - P. 29-38. - ISSN 1818-7900. (in Russian).

Full Text in Russian

Available in PDF

1. Baranov S. N., Kotlyarov V. P. Avtomatizatciya formalizatcii trebovany dlya polucheniya stcenariyev testirovaniya programm // Perspektivy sistem informatiki: Tr. seminara «Nau koyemkoye programmirovaniye». 15–19 iyunya 2009 g. Novosibirsk, 2009. S. 27–35.
2. Baranov S., Kapitonova J., Letichevsky A., Volkov V., Weigert T. Basic Protocols, Message Sequence Charts, and Verification of Requirements Specifications // Computer Networks. 2005. Vol. 49 (5). P. 661–675.
3. Baranov S., Kotlyarov V., Letichevsky A. An Industrial Technology of Test Automation Based on Verified Behavioral Models of Requirement Specifications for Telecommunication Applications // IEEE Press. Proc. 8th Region. Eurocon. Conference. St. Petersburg, 2009. P. 122–129.
4. Baranov S. N., Kotlyarov V. P., Letichevsky A. A. Industrialnaya tekhnologiya avtoma tizatcii testirovaniya mobilnykh ustroistv na osnove verifitcirovannykh povedencheskikh modelei proyektnykh spetcifikatcy trebovany // Kosmos, astronomiya i programmirovaniye. Lavrovskiye chteniya: Materialy mezhdunar. nauch. konf. SPb, 2008. S. 134–145.
5. Kotlyarov V., Drobintsev P., Peskov D., Yusupov Y. Implementation of an Integrated Verification and Testing Technology in Telecommunication Project // Proc. of St. Petersburg IEEE Chapter, International Conference. St. Petersburg, 2005. P. 87–92.

Publication information
Main title Vestnik NSU Series: Information Technologies, Volume 09, Issue No 4 (2011).
Parallel title: Novosibirsk State University Journal of Information Technologies Volume 09, Issue No 4 (2011).

Key title: Vestnik Novosibirskogo gosudarstvennogo universiteta. Seriâ: Informacionnye tehnologii
Abbreviated key title: Vestn. Novosib. Gos. Univ., Ser.: Inf. Tehnol.
Variant title: Vestnik NGU. Seriâ: Informacionnye tehnologii

Year of Publication: 2011
ISSN: 1818-7900 (Print), ISSN 2410-0420 (Online)
Publisher: Novosibirsk State University Press
DSpace handle

|Home Page| |All Issues| |Information for Authors| |Journal Boards| |Ethical principles| |Editorial Policy| |Contact Information| |Old Site in Russian|
© 2006-2017, Novosibirsk State University.