A Comparative Study of Formal and Informal Specifications through an Industrial Case Study


Satpathy, Manoranjan, Harrison, Rachel, Snook, Colin and Butler, Michael (2001) A Comparative Study of Formal and Informal Specifications through an Industrial Case Study At IEEE/ IFIP Workshop on Formal Specification of Computer Based Systems (FSCBS'01).

Download

[img] PDF IEEE-FS-ws-eabs1.pdf - Other
Download (216kB)
Item Type: Conference or Workshop Item (Paper)
Venue - Dates: IEEE/ IFIP Workshop on Formal Specification of Computer Based Systems (FSCBS'01), 2001-04-01
Organisations: Electronic & Software Systems
ePrint ID: 254461
Date :
Date Event
April 2001Published
Date Deposited: 29 Mar 2001
Last Modified: 23 Feb 2017 15:06
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/254461

Actions (login required)

View Item View Item