Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A Gentle Introduction to System Verification
Stockholms universitet, Samhällsvetenskapliga fakulteten, Institutionen för data- och systemvetenskap.
2005 (Engelska)Ingår i: New Trends in Software Methodologies, Tools and Techniques: Proceedings of the fourth SoMeT_W05 / [ed] Hamido Fujita, Mohamed Mejri, Amsterdam: IOS Press, 2005, 173-193 s.Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Verification is an important instrument in the analysis of systems. Roughly, this means that requirements and designs are analyzed formally to determine their relationships. Various candidates for formalizing system development and integration have been proposed. However, a major obstacle is that these introduce non-standard objects and formalisms, leading to severe confusion. This is because these models often are unnecessarily complicated with several disadvantages regarding semantics as well as complexity. While avoiding the mathematical details as far as possible, we present some basic verification ideas using a simple language such as predicate logic and demonstrate how this can be used for defining and analyzing static and dynamic requirement fulfillment by designs as well as for detecting conflicts. The formalities can be found in the appendix.

Ort, förlag, år, upplaga, sidor
Amsterdam: IOS Press, 2005. 173-193 s.
Serie
Frontiers in Artificial Intelligence and Applications, ISSN 0922-6389 ; 129
Nationell ämneskategori
Systemvetenskap, informationssystem och informatik med samhällsvetenskaplig inriktning
Identifikatorer
URN: urn:nbn:se:su:diva-38028ISBN: 1-58603-556-8 (tryckt)OAI: oai:DiVA.org:su-38028DiVA: diva2:305862
Konferens
SoMeT 2005 - the 4th international conference on Software Methodologies, Tools and Techniques
Tillgänglig från: 2010-03-25 Skapad: 2010-03-25 Senast uppdaterad: 2015-08-18Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas

Sök vidare i DiVA

Av författaren/redaktören
Ekenberg, Love
Av organisationen
Institutionen för data- och systemvetenskap
Systemvetenskap, informationssystem och informatik med samhällsvetenskaplig inriktning

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 24 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf