Seamless Development Applicability: an Experiment
https://doi.org/10.15514/ISPRAS-2015-27(3)-4
Abstract
Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help make software easier to change and reuse. To explore the feasibility of such an approach, the case study reported here takes a classic example from the requirements engineering literature and describes it using a programming language framework to express both domain and machine properties. The paper describes the solution, discusses its benefits and limitations, and assesses its scalability.
References
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.
Review
For citations:
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
Email this article 