Sciweavers

5904 search results - page 847 / 1181
» Requirements for a Composition Language
Sort
View
CSMR
2005
IEEE
16 years 11 days ago
Towards the Automatic Evolution of Reengineering Tools
Building reverse engineering or reengineering tools often requires parsers for many different programming languages. The diffusion of dialects and variants makes many available pa...
Massimiliano Di Penta, Kunal Taneja
DATE
2005
IEEE
131views Hardware» more  DATE 2005»
16 years 11 days ago
Unified Modeling of Complex Real-Time Control Systems
Complex real-time control system is a software dense and algorithms dense system, which needs modern software engineering techniques to design. UML is an object-oriented industria...
He Hai, Zhong Yi-fang, Cai Chi-lan
ETFA
2005
IEEE
16 years 11 days ago
Modelling of distributed system in one single simulation model: a way to study communications within distributed systems
This paper explains the modelling of distributed discrete-event systems in one single simulation model. Our purpose was to evaluate the design of the distributed system and to hig...
G. Christine, G. Emilie
FDL
2005
IEEE
16 years 11 days ago
Integrating Model-Checking with UML-based SoC Development
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
Peter Green, Kinika Tasie-Amadi
FDL
2005
IEEE
16 years 11 days ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...