265 search results - page 12 / 53 » XHMBS: A Formal Model to Support Hypermedia Specification |
106
click to vote
SERP
2004
15 years 1 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
78
Voted
BIRTHDAY
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
128
click to vote
DSVIS
1998
Springer
15 years 3 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
77
Voted
ENTCS
2006
14 years 11 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...
114
Voted
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...