Ada 95 as implementation vehicle for formal specifications

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by K. Brink Articles by J. van Katwijk Articles by W.J. Toetenel

Third International Workshop on Real-Time Computing Systems Application (RTCSA'96)

Seoul, Korea

October 30-November 01

ISBN: 0-8186-7626-4

	ASCII Text	x
	K. Brink, J. van Katwijk, W.J. Toetenel, "Ada 95 as implementation vehicle for formal specifications," Real-Time Computing Systems and Applications, International Workshop on, pp. 98, Third International Workshop on Real-Time Computing Systems Application (RTCSA'96), 1996.

	BibTex	x
	@article{ 10.1109/RTCSA.1996.554966, author = {K. Brink and J. van Katwijk and W.J. Toetenel}, title = {Ada 95 as implementation vehicle for formal specifications}, journal ={Real-Time Computing Systems and Applications, International Workshop on}, volume = {0}, year = {1996}, isbn = {0-8186-7626-4}, pages = {98}, doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.1996.554966}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Real-Time Computing Systems and Applications, International Workshop on TI - Ada 95 as implementation vehicle for formal specifications SN - 0-8186-7626-4 SP EP A1 - K. Brink, A1 - J. van Katwijk, A1 - W.J. Toetenel, PY - 1996 KW - formal specification; Ada 95; implementation vehicle; formal specifications; system requirements; transformation steps; real-time systems VL - 0 JA - Real-Time Computing Systems and Applications, International Workshop on ER -

K. Brink, Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands

J. van Katwijk, Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands

W.J. Toetenel, Fac. of Math. & Inf., Delft Univ. of Technol., Netherlands

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/RTCSA.1996.554966

A main concern in the initial phases of the development of a system to be built is capturing the system requirements and expressing them as an adequate model, either formal or informal. In subsequent phases of the development of the system this model is used as reference for transformation steps. In this paper we describe a reasonably successful experimental strategy for the implementation of real-time systems, starting from a formal specification, resulting in an Ada 95 implementation of the system and we evaluate the approach based upon practical experiences.

Index Terms:

formal specification; Ada 95; implementation vehicle; formal specifications; system requirements; transformation steps; real-time systems

Citation:

K. Brink, J. van Katwijk, W.J. Toetenel, "Ada 95 as implementation vehicle for formal specifications," rtcsa, pp.98, Third International Workshop on Real-Time Computing Systems Application (RTCSA'96), 1996

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.