Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Informal and formal methods for systems development - focusing on UML
2001 (English)In: On Methods for Systems Development in Professional Organisations. The Karlstad University Approach to Information Systems and its Role in Society (Nilsson, AG & Pettersson, JS, Eds.), 307-, Lund: Studentlitteratur , 2001, 307-324 p.Chapter in book (Refereed)
Abstract [en]

Systems development, in a strict sense, is a formalisation of the end-user' desires in the form of executable computer programs. In the last two decades a number of formal methods have been suggested to systemise this formalising process and make it more efficient, eventually to achieve an optimal automation of the process. This chapter addresses the following issues: Which are these formal methods, and what are their advantages and disadvantages, compared with traditional, informal methods? Do formal methods work only in theory, but not in practice? A study is presented as an illustration, showing how UML for object-oriented systems development can be formalised using a formal technique called FUML

Place, publisher, year, edition, pages
Lund: Studentlitteratur , 2001. 307-324 p.
National Category
Information Systems
Research subject
Information Systems
Identifiers
URN: urn:nbn:se:kau:diva-20348OAI: oai:DiVA.org:kau-20348DiVA: diva2:594008
Available from: 2013-01-21 Created: 2013-01-21 Last updated: 2013-01-21

Open Access in DiVA

No full text

Information Systems

Search outside of DiVA

GoogleGoogle Scholar

Total: 8 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf