6581 search results - page 132 / 1317 » Formalizing Design Patterns |
DSVIS
1995
Springer
15 years 6 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
114
click to vote
IV
2008
IEEE
15 years 9 months ago
2008
IEEE
Given a group of overlapping sets, it is not always possible to represent it with Euler diagrams. Euler diagram characteristics might collide with the sets relationships to depict...
106
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
153
click to vote
ECMDAFA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...
127
click to vote
TOPNOC
2008
15 years 3 months ago
2008
Recursive Petri Nets (RPNs) allow to design and analyze complex discrete event systems. Indeed, RPNs enable to model patterns of discrete event systems related to the dynamic struc...