Sciweavers

213 search results - page 25 / 43
» diagrams 2004
Sort
View
BPM
2004
Springer
113views Business» more  BPM 2004»
15 years 7 months ago
OPCATeam - Collaborative Business Process Modeling with OPM
While collaboration has become a basic requirement for many development environments, solutions for collaborative modeling are far from being satisfact1ory. OPCATeam, which relies ...
Dov Dori, Dizza Beimel, Eran Toch
RE
2004
Springer
15 years 7 months ago
Modeling and Composing Scenario-Based Requirements with Aspects
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
João Araújo, Jon Whittle, Dae-Kyoo K...
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
15 years 7 months ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula
DAGSTUHL
2004
15 years 3 months ago
Language Engineering in Practice
ns to define the abstract modelling language that determines the structure of the models that are to be used a two-step meta-modelling approach turned out as most adequate. In the ...
Martin Große-Rhode
PLDI
2004
ACM
15 years 7 months ago
Jedd: a BDD-based relational extension of Java
In this paper we present Jedd, a language extension to Java that supports a convenient way of programming with Binary Decision Diagrams (BDDs). The Jedd language abstracts BDDs as...
Ondrej Lhoták, Laurie J. Hendren