Links for fulltext
(May Require Subscription)
- Publisher Website: 10.1016/B978-0-444-81597-2.50026-7
- Scopus: eid_2-s2.0-0027757990
- WOS: WOS:A1993BZ97G00021
- Find via
Supplementary
- Citations:
- Appears in Collections:
Article: Formal or informal, practical or impractical: towards integrating formal methods with informal practices in software engineering education
Title | Formal or informal, practical or impractical: towards integrating formal methods with informal practices in software engineering education |
---|---|
Authors | |
Issue Date | 1993 |
Publisher | Elsevier BV. |
Citation | Ifip Transactions A: Computer Science And Technology, 1993 A-40, p. 189-197 How to Cite? |
Abstract | Two conflicting schools of thought have been dominating software engineering education. One school stresses on the popular software development methodologies, but horror stories on poorly designed systems are not uncommon. The other school advocates formal methods, but most practitioners regard them as impractical. We recommend that we should bridge the gap between the formal and informal by bringing theory to existing practice. The formalism should be used as a working tool behind popular software development methodologies. Students should not be trained as craftsmen who consider software development as an art and learn only from past mistakes. Nor should they be trained as mathematicians who are more comfortable with theory than applications. Software engineers must be educated as real 'engineers' who are competent with industrial practices as well as the mathematical foundation directly supporting them. |
Persistent Identifier | http://hdl.handle.net/10722/43693 |
ISSN | |
ISI Accession Number ID |
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Tse, TH | en_HK |
dc.date.accessioned | 2007-03-23T04:52:34Z | - |
dc.date.available | 2007-03-23T04:52:34Z | - |
dc.date.issued | 1993 | en_HK |
dc.identifier.citation | Ifip Transactions A: Computer Science And Technology, 1993 A-40, p. 189-197 | en_HK |
dc.identifier.issn | 0926-5473 | en_HK |
dc.identifier.uri | http://hdl.handle.net/10722/43693 | - |
dc.description.abstract | Two conflicting schools of thought have been dominating software engineering education. One school stresses on the popular software development methodologies, but horror stories on poorly designed systems are not uncommon. The other school advocates formal methods, but most practitioners regard them as impractical. We recommend that we should bridge the gap between the formal and informal by bringing theory to existing practice. The formalism should be used as a working tool behind popular software development methodologies. Students should not be trained as craftsmen who consider software development as an art and learn only from past mistakes. Nor should they be trained as mathematicians who are more comfortable with theory than applications. Software engineers must be educated as real 'engineers' who are competent with industrial practices as well as the mathematical foundation directly supporting them. | en_HK |
dc.format.extent | 67982 bytes | - |
dc.format.extent | 161620 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.format.mimetype | application/pdf | - |
dc.language | eng | en_HK |
dc.publisher | Elsevier BV. | en_HK |
dc.relation.ispartof | IFIP Transactions A: Computer Science and Technology | en_HK |
dc.rights | This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License. | - |
dc.title | Formal or informal, practical or impractical: towards integrating formal methods with informal practices in software engineering education | en_HK |
dc.type | Article | en_HK |
dc.identifier.email | Tse, TH: thtse@cs.hku.hk | en_HK |
dc.identifier.authority | Tse, TH=rp00546 | en_HK |
dc.description.nature | postprint | en_HK |
dc.identifier.doi | 10.1016/B978-0-444-81597-2.50026-7 | - |
dc.identifier.scopus | eid_2-s2.0-0027757990 | en_HK |
dc.identifier.issue | A-40 | en_HK |
dc.identifier.spage | 189 | en_HK |
dc.identifier.epage | 197 | en_HK |
dc.identifier.isi | WOS:A1993BZ97G00021 | - |
dc.publisher.place | Netherlands | en_HK |
dc.identifier.scopusauthorid | Tse, TH=7005496974 | en_HK |
dc.identifier.issnl | 0926-5473 | - |