Sciweavers

2473 search results - page 89 / 495
» Systems, Views and Models of UML
Sort
View
JOT
2010
117views more  JOT 2010»
14 years 10 months ago
Formal Model and DSL for Separation of Concerns based on Views
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
Mehdi Adda, Hamid Mcheick, Hafedh Mili
CBSE
2009
Springer
15 years 6 months ago
Integrating Functional and Architectural Views of Reactive Systems
An integrated model-based development approach has to capture the relationship between requirements, design, and implementation models. In the requirements engineering phase, the m...
Jewgenij Botaschanjan, Alexander Harhurin
FMOODS
2008
15 years 1 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko
CGF
2004
116views more  CGF 2004»
14 years 11 months ago
A System for View-Dependent Animation
In this paper, we present a novel system for facilitating the creation of stylized view-dependent 3D animation. Our system harnesses the skill and intuition of a traditionally tra...
Parag Chaudhuri, Prem Kalra, Subhashis Banerjee
ER
2003
Springer
112views Database» more  ER 2003»
15 years 5 months ago
Entity Types Derived by Symbol-Generating Rules
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
Jordi Cabot, Antoni Olivé, Ernest Teniente