Sciweavers

859 search results - page 25 / 172
» Explaining Synthesized Software
Sort
View
MSR
2009
ACM
14 years 3 months ago
A platform for software engineering research
Research in the fields of software quality, maintainability and evolution requires the analysis of large quantities of data, which often originate from open source software proje...
Georgios Gousios, Diomidis Spinellis
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
14 years 2 months ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...
ICSE
2007
IEEE-ACM
14 years 2 months ago
Cost-Benefit Analysis of Software Development Techniques and Practices
Investigations of software development practices, processes, and techniques frequently report separately on the costs and benefits of a phenomenon under study, but rarely adequate...
Hakan Erdogmus
ISSTA
2006
ACM
14 years 2 months ago
Towards an architectural approach for the dynamic and automatic composition of software components
In a component-based software system the components are specified, designed and implemented with the intention to be reused, and are assembled in various contexts in order to pro...
Antonio Bucchiarone, Andrea Polini, Patrizio Pelli...
ISSS
1996
IEEE
169views Hardware» more  ISSS 1996»
14 years 23 days ago
The Use of a Virtual Instruction Set for the Software Synthesis of HW/SW Embedded Systems
The application range of the embedded computing is going to cover the majority of the market products spanning from consumer electronic, automotive, telecom and process control. F...
Alessandro Balboni, William Fornaciari, M. Vincenz...