Sciweavers

1952 search results - page 26 / 391
» Integrating Pair Programming into a Software Development Pro...
Sort
View
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
15 years 6 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
David Garlan
ICSE
2007
IEEE-ACM
16 years 2 months ago
Software Development Environments for Scientific and Engineering Software: A Series of Case Studies
The need for high performance computing applications for computational science and engineering projects is growing rapidly, yet there have been few detailed studies of the softwar...
Jeffrey C. Carver, Richard P. Kendall, Susan E. Sq...
ICSE
2003
IEEE-ACM
16 years 2 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
116
Voted
XPU
2007
Springer
15 years 8 months ago
Inspecting Automated Test Code: A Preliminary Study
Testing is an essential part of an agile process as test is automated and tends to take the role of specifications in place of documents. However, whenever test cases are faulty, d...
Filippo Lanubile, Teresa Mallardo
102
Voted
DAC
2005
ACM
15 years 4 months ago
Matlab extensions for the development, testing and verification of real-time DSP software
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
David P. Magee