Sciweavers

3954 search results - page 155 / 791
» Image-based Model Completion
Sort
View
FASE
2003
Springer
15 years 11 months ago
Modelling Recursive Calls with UML State Diagrams
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
Jennifer Tenzer, Perdita Stevens
ICCSA
2003
Springer
15 years 11 months ago
Computational Modelling of Particle Degradation in Dilute Phase Pneumatic Conveyors
The aim of this paper is to develop a mathematical model with the ability to predict particle degradation during dilute phase pneumatic conveying. A numerical procedure, based on a...
Pierre Chapelle, Nicholas Christakis, Hadi Abou-Ch...
QOSA
2009
Springer
15 years 10 months ago
Automated Architecture Consistency Checking for Model Driven Software Development
When software projects evolve their actual implementation and their intended architecture may drift apart resulting in problems for further maintenance. As a countermeasure it is g...
Matthias Biehl, Welf Löwe
ASM
2000
ASM
15 years 10 months ago
Modeling the Dynamics of UML State Machines
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
Egon Börger, Alessandra Cavarra, Elvinia Ricc...
HT
1997
ACM
15 years 10 months ago
An Architectural Model for Application Integration in Open Hypermedia Environments
This paper provides an architectural framework for modeling third-party application integrations with open hypermedia systems, which collects and extends the integration experienc...
E. James Whitehead Jr.