Preview

Труды Института системного программирования РАН

Расширенный поиск

Бесшовная разработка программного обеспечения: применимость на примере

https://doi.org/10.15514/ISPRAS-2015-27(3)-4

Полный текст:

Аннотация

В рамках традиционной программной инженерии требования и код развиваются в двух параллельных мирах. Возможно ли объединить эти миры? Такое объединение упростило бы изменение и повторное использование программного обеспечения. Целесообразность применения нового подхода нуждается в изучении. В представленном исследовании рассмотрен классический пример из литературы в области проектирования требований. Для спецификации предметной области, равно как и конечного программного решения, использована одна и та же нотация - язык программирования. Данная работа содержит описание подхода, а также оценку его преимуществ, возможных ограничений и масштабируемости.

Об авторе

Александр Наумчев
Университет Иннополис
Россия


Список литературы

1. Jean-Raymond Abrial. Modeling in Event-B: system and software engineering. Cambridge University Press, 2010.

2. R Gmehlich, K Grau, M Jackson, C Jones, F Loesch, and M Mazzara. Towards a formalism-based toolkit for automotive applications. 2012.

3. Charles Antony Richard Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576-580, 1969.

4. Michael Jackson. The world and the machine. In Software Engineering, 1995. ICSE 1995. 17th International Conference on, pages 283-283. IEEE, 1995.

5. Michael Jackson. Problem frames: analysing and structuring software development problems. Addison-Wesley, 2001.

6. Michael Jackson and Pamela Zave. Deriving specifications from requirements: an example. In Proceedings of the 17th international conference on Software engineering, pages 15-24. ACM, 1995.

7. Nancy G Leveson, Mats Per Erik Heimdahl, Holly Hildreth, and Jon Damon Reese. Requirements specification for process-control systems. Software Engineering, IEEE Transactions on, 20(9):684-707, 1994.

8. V´ıctor Rivera and N. Catan˜o. Translating Event-B to JML-Specified Java programs. In 29th ACM Symposium on Applied Computing, Software Verification and Testing track (SAC-SVT), Gyeongju, Korea, March 24-28 2014.

9. Bertrand Meyer. Object-oriented software construction, volume 2. Prentice hall New York, 1988.

10. Bertrand Meyer. Touch of Class: learning to program well with objects and contracts. Springer, 2009.

11. Bertrand Meyer. Multirequirements. Modelling and Quality in Requirements Engineering (Martin Glinz Festscrhift), 2013.

12. Alexandr Naumchev, Bertrand Meyer, and Victor Rivera. Unifying requirements and code: an example. The work is not published.

13. Nadia Polikarpova. Specified and verified reusable components. PhD thesis, Diss., Eidgeno¨ssische Technische Hochschule ETH Zu¨rich, Nr. 21939, 2014, 2014.

14. Julian Tschannen, Carlo A Furia, Martin Nordio, and Nadia Polikarpova. Autoproof: Auto-active functional verification of object-oriented programs. arXiv preprint arXiv:1501.03063, 2015.

15. Kim Wald´en and Jean Marc Nerson. Seamless object-oriented software architecture. Prentice-Hall, 1995.

16. Bertrand Meyer. Eiffel: A language and environment for software engineering. Journal of Systems and Software, 8(3):199-246, 1988.


Для цитирования:


Наумчев А. Бесшовная разработка программного обеспечения: применимость на примере. Труды Института системного программирования РАН. 2015;27(3):57-72. https://doi.org/10.15514/ISPRAS-2015-27(3)-4

For citation:


Naumchev A. Seamless Development Applicability: an Experiment. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(3):57-72. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(3)-4

Просмотров: 166


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)