Sciweavers

2088 search results - page 49 / 418
» Formal Approach to Integrating Feature and Architecture Mode...
Sort
View
SMA
2008
ACM
139views Solid Modeling» more  SMA 2008»
14 years 11 months ago
An incremental approach to feature aligned quad dominant remeshing
In this paper we present a new algorithm which turns an unstructured triangle mesh into a quad-dominant mesh with edges aligned to the principal directions of the underlying geome...
Yu-Kun Lai, Leif Kobbelt, Shi-Min Hu
WICSA
2004
15 years 1 months ago
An Architectural Approach to Mobility - The Handover Case Study
COMMUNITY is a formal approach to software architecture. Its main characteristics are: a precise, yet intuitive mathematical semantics based on categorical diagrams; a clear separ...
Cristóvão Oliveira, Michel Wermeling...
BPM
2007
Springer
201views Business» more  BPM 2007»
15 years 6 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
ECMDAFA
2006
Springer
142views Hardware» more  ECMDAFA 2006»
15 years 3 months ago
Constraint Support in MDA Tools: A Survey
: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-gen...
Jordi Cabot, Ernest Teniente
APSEC
2005
IEEE
15 years 5 months ago
Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
Christian Seybold, Silvio Meier