365 search results - page 17 / 73 » A Lightweight Approach to Consistency of Scenarios and Class... |
DEXAW
2004
IEEE
13 years 11 months ago
2004
IEEE
Ad-hoc data exchange, e.g., by sending email attachments, leads to multiple copies or versions of a document at dispersed nodes in a network. However, their relationships such as ...
ACMICEC
2004
ACM
2004
ACM
Analysing preventative and detective control mechanisms in international trade using value modelling
14 years 28 days ago
Exploration and development of e-business models takes a series of viewpoints. One important perspective is the value web perspective, which can be modelled using the e3value meth...
TPHOL
2008
IEEE
14 years 1 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
UML
2004
Springer
14 years 25 days ago
2004
Springer
An aspect-oriented design model consists of a set of aspect models and a primary model. Each of these models consists of a number of different kinds of UML diagrams. The models mus...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...