Sciweavers

1421 search results - page 80 / 285
» Designing system on a chip products using systems engineerin...
Sort
View
ACMIDC
2010
13 years 10 months ago
A collaborative approach to the design and evaluation of an interactive learning tool for children with special educational need
We have developed an educational software tool (Aprendiendo) to reinforce the learning process of children with special educational needs. This tool makes use of a variety of inte...
Beatriz López-Mencía, David Dí...
EUROMICRO
2004
IEEE
14 years 18 days ago
A Framework for Interactive Visualization of Component-Based Software
In this paper, we advocate the use of visual tooling for the development and maintenance of component-based software systems. Our contribution is twofold. First, we demonstrate ho...
Alexandru Telea, Lucian Voinea
ICSM
1997
IEEE
14 years 1 months ago
Software Change Through Design Maintenance
Conventional software engineering tends to focus on a small part of the software life cycle: the design and implementation of a product. The bulk of the lifetime cost is in the ma...
Ira D. Baxter, Christopher Pidgeon
CODES
2007
IEEE
14 years 25 days ago
A computational reflection mechanism to support platform debugging in SystemC
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
Bruno Albertini, Sandro Rigo, Guido Araujo, Cristi...
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund