Cited By
View all- Méry D(2009)A simple refinement-based method for constructing algorithmsACM SIGCSE Bulletin10.1145/1595453.159546241:2(51-59)Online publication date: 25-Jun-2009
Proved-patterns-based development for structured programs
Pages 104 - 114
Abstract
No abstract available.
References
[1]
Abrial, J.-R.: The B book - Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
[2]
Abrial, J.-R.: B#: Toward a synthesis between z and b. In: Bert, D., Bowen, J. P., King, S. (eds.) ZB 2003. LNCS, vol. 2651. Springer, Heidelberg (2003)
[3]
Abrial, J.-R.: Event based sequential program development: Application to constructing a pointer program. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 51-74. Springer, Heidelberg (2003)
[4]
Abrial, J.-R., Cansell, D.: Click'n prove: Interactive proofs within set theory. In: TPHOL 2003, pp. 1-24 (2003)
[5]
Abrial, J.-R., Cansell, D., Méry, D.: Refinement and reachability in eventb. In: Treharne, H., King, S., Henson, M.C., Schneider, S. (eds.) ZB 2005. LNCS, vol. 3455, pp. 222-241. Springer, Heidelberg (2005)
[6]
Back, R.: On correct refinement of programs. Journal of Computer and System Sciences 23(1), 49-68 (1979)
[7]
Bjørner, D., Henson, M.Ç. (eds.): Logics of Specification Languages. In: EATCS Textbook in Computer Science. Springer, Heidelberg (2007)
[8]
Cansell, D., Méry, D.: Incremental parametric development of greedy algorithms. In: Merz, S., Nipkow, T. (eds.) Automatic Verification of Critical Systems - AVoCS 2006, 2006-09, Automatic Verification of Critical Systems (AVoCS 2006), Nancy/France, pp. 48-62 (2006)
[9]
Cansell, D., Méry, D.: The event-B Modelling Method: Concepts and Case Studies, pp. 33- 140. Springer, Heidelberg (2007) See{7}.
[10]
Clarke, E. M., Grumberg, O., Peled, D. A.: Model Checking. MIT Press, Cambridge (2000)
[11]
ClearSy, Aix-en-Provence (F). B4FREE (2004), http://www.b4free.com
[12]
Dijkstra, E. W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)
[13]
Leavens, G. T., Abrial, J.-R., Batory, D., Butler, M., Coglio, A., Fisler, K., Hehner, E., Jones, C., Miller, D., Peyton-Jones, S., Sitaraman, M., Smith, D. R., Stump, A.: Roadmap for enhanced languages and methods to aid verification. In: Fifth Intl. Conf. Generative Programming and Component Engineering (GPCE 2006), pp. 221-235. ACM, New York (2006)
[14]
Morgan, C.: Programming from Specifications. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1990)
[15]
Polya, G.: How to Solve It, 2nd edn. Princeton University Press, Princeton, NJ (1957)
Recommendations
COTS-based software development: processes and open issues
The work described in this paper is an investigation of the COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen projects using a COTS-based approach were studied and their actual process ...
Logical structure based semantic relationship extraction from semi-structured documents
WWW '06: Proceedings of the 15th international conference on World Wide WebAddressed in this paper is the issue of semantic relationship extraction from semi-structured documents. Many research efforts have been made so far on the semantic information extraction. However, much of the previous work focuses on detecting `...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Sponsors
- Ural State University: Ural State University
- Yandex
- SKB Kontur: SKB Kontur
- Microsoft Research: Microsoft Research
- RFBR: Russian Foundation for Basic Research
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 03 September 2007
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 14 Dec 2024
Other Metrics
Citations
Cited By
View all- Méry D(2009)A simple refinement-based method for constructing algorithmsACM SIGCSE Bulletin10.1145/1595453.159546241:2(51-59)Online publication date: 25-Jun-2009