Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Design Abstraction of For… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Design Abstraction of Formal Requirement Models within the Unified Modeling Language

Paper i proceeding
Författare Lars Pareto
Publicerad i Fifth Conference on Software Engineering Research and Practice in Sweden (SERPS2005)
Publiceringsår 2005
Publicerad vid Institutionen för tillämpad informationsteknologi (GU)
Språk en
Ämneskategorier Programvaruteknik

Sammanfattning

Design abstraction is a method to reduce state space sizes of software verification models; it allows also large software models to be verified. Design abstraction has long been used in conjunction with text-based approaches to software modeling and verification. Its use together with graphical such approaches is less common: most graphical modeling notations provide weaker support for design abstraction than text based notations do. This makes verification of large graphical models more difficult than verification of large text-based models. This paper shows how the graphical software modeling notation UML may be used to express some of the design abstractions that arise when large UML requirement models are subject to formal verification. The paper presents a dialect of UML to support design abstractions and exemplifies its use for requirements modeling of an embedded systems specification.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?