Sciweavers

9974 search results - page 464 / 1995
» Software Interconnection Models
Sort
View
ICSEA
2009
IEEE
15 years 4 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
VLSID
2004
IEEE
112views VLSI» more  VLSID 2004»
16 years 7 months ago
Profiling Driven Computation Reuse: An Embedded Software Synthesis Technique for Energy and Performance Optimization
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
Weidong Wang, Anand Raghunathan, Niraj K. Jha
ICSE
2003
IEEE-ACM
16 years 7 months ago
RUPi - A Unified Process that Integrates Human-Computer Interaction and Software Engineering
This research has the main objective of presenting a study on the areas of Human-Computer Interaction (HCI) and Software Engineering (SE), focusing on the importance of integratin...
Kênia Soares Sousa, Elizabeth Furtado
AGILEDC
2007
IEEE
16 years 1 months ago
Becoming Agile using Service Learning in the Software Engineering Course
This experience report describes a three year journey toward agility in a software engineering course. Students in the course work in small project teams to develop an application...
Brian Hanks
IRI
2007
IEEE
16 years 1 months ago
Software Defects Prediction using Operating Characteristic Curves
We present a software defect prediction model using operating characteristic curves. The main idea behind our proposed technique is to use geometric insight in helping construct a...
Torsten Bergander, Yan Luo, A. Ben Hamza