Sciweavers

2558 search results - page 254 / 512
» Model Composition Contracts
Sort
View
JSW
2008
105views more  JSW 2008»
15 years 5 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
APSEC
2010
IEEE
15 years 4 days ago
Quantitative Analysis of Best Practices Models in the Software Domain
Organizations are adopting multiple best practices models to improve overall performance. Their objective is to capture the cumulative added value of each model into one single env...
André L. Ferreira, Ricardo Jorge Machado, M...
ECOOPW
1997
Springer
15 years 9 months ago
Semantics Through Pictures
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...
Stuart Kent, Ali Hamie, John Howse, Franco Civello...
ISORC
2000
IEEE
15 years 8 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
WACV
2005
IEEE
15 years 10 months ago
Mapping the Physical Properties of Cosmic Hot Gas with Hyper-Spectral Imaging
A novel inversion technique is proposed to compute parametric maps showing the temperature, density and chemical composition of cosmic hot gas from X-ray hyper-spectral images. Th...
Mark O'Dwyer, Ela Claridge, Trevor Ponman, Somak R...