Search Sciweavers | Sciweavers

33

FMSD
2007

138views more FMSD 2007»

Object oriented concepts identification from formal B specifications

13 years 9 months ago

This paper addresses the graphical representation of static aspects of B specifications, using UML class diagrams. These diagrams can help understand the specification for stakeho...

Akram Idani, Yves Ledru

claim paper

Read More »

21

click to vote

IPL
2002

86views more IPL 2002»

A semantics of sequence diagrams

13 years 9 months ago

Download salmosa.kaist.ac.kr

We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving system...

Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwa...

claim paper

Read More »

31

click to vote

JCT
1998

95views more JCT 1998»

On Posets whose Products are Macaulay

13 years 9 months ago

Download mcs.uwsuper.edu

If P is an upper semilattice whose Hasse diagram is a tree and whose cartesian powers are Macaulay, it is shown that Hasse diagram of P is actually a spider in which all the legs ...

Sergei L. Bezrukov

claim paper

Read More »

27

click to vote

IJAR
2006

91views more IJAR 2006»

Sequential influence diagrams: A unified asymmetry framework

13 years 9 months ago

Download web.ku.edu

We describe a new graphical language for specifying asymmetric decision problems. The language is based on a filtered merge of several existing languages including sequential valu...

Finn Verner Jensen, Thomas D. Nielsen, Prakash P. ...

claim paper

Read More »

8

click to vote

IEICET
2007

63views more IEICET 2007»

XML Framework for Various Types of Decision Diagrams for Discrete Functions

13 years 9 months ago