Sciweavers

1099 search results - page 145 / 220
» A tool for assisting the understanding and formal developmen...
Sort
View
ENTCS
2006
158views more  ENTCS 2006»
13 years 9 months ago
Towards a Subject-Oriented Model-Driven Framework
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
Pablo Amaya, Carlos González, Juan M. Muril...
FMSB
2008
142views Formal Methods» more  FMSB 2008»
13 years 10 months ago
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
David Harel, Yaki Setty
KBSE
2008
IEEE
14 years 3 months ago
SpotWeb: Detecting Framework Hotspots and Coldspots via Mining Open Source Code on the Web
—Software developers often face challenges in reusing open source frameworks due to several factors such as the framework complexity and lack of proper documentation. In this pap...
Suresh Thummalapenta, Tao Xie
JSS
2010
120views more  JSS 2010»
13 years 4 months ago
A family of languages for architecture constraint specification
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
Chouki Tibermacine, Régis Fleurquin, Salah ...
EMSOFT
2008
Springer
13 years 11 months ago
Automatically transforming and relating Uppaal models of embedded systems
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
Timothy Bourke, Arcot Sowmya