Comparing formal specifications by measuring

	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 J. Van Katwijk Articles by W.J. Toetenel

Second International Workshop on Real-Time Computing Systems and Applications (RTCSA'95)

Tokyo, Japan

October 25-October 27

ISBN: 0-8186-7106-8

	ASCII Text	x
	J. Van Katwijk, W.J. Toetenel, "Comparing formal specifications by measuring," Real-Time Computing Systems and Applications, International Workshop on, pp. 184, Second International Workshop on Real-Time Computing Systems and Applications (RTCSA'95), 1995.

	BibTex	x
	@article{ 10.1109/RTCSA.1995.528770, author = {J. Van Katwijk and W.J. Toetenel}, title = {Comparing formal specifications by measuring}, journal ={Real-Time Computing Systems and Applications, International Workshop on}, volume = {0}, year = {1995}, isbn = {0-8186-7106-8}, pages = {184}, doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.1995.528770}, 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 - Comparing formal specifications by measuring SN - 0-8186-7106-8 SP EP A1 - J. Van Katwijk, A1 - W.J. Toetenel, PY - 1995 KW - formal specification; software engineering; computer science education; software development management; formal specification notations; software engineering; software development; software engineering courses; maturity; tool support; analyzability; executability; notation VL - 0 JA - Real-Time Computing Systems and Applications, International Workshop on ER -

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

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

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

Teaching formal specification notations nowadays in regular software engineering courses presents more or less the same problems as teaching programming languages 15 years ago. Most software engineering students are practical. Issues of predicting code sizes from the size of the specification, issues of expressing problem complexity in terms of specification size are far more interesting for engineers than detailed semantic issues. Based on this observation, we are conducting a study to the proper use of formal specification notations in the process of software development. In this paper we discuss a number of notations in their use in the development of a simple case. The notations themselves are examined with regard to maturity, tool support, analyzability and executability.

Index Terms:

formal specification; software engineering; computer science education; software development management; formal specification notations; software engineering; software development; software engineering courses; maturity; tool support; analyzability; executability; notation

Citation:

J. Van Katwijk, W.J. Toetenel, "Comparing formal specifications by measuring," rtcsa, pp.184, Second International Workshop on Real-Time Computing Systems and Applications (RTCSA'95), 1995

Peer Review Notice | Give Us Feedback

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