Sciweavers

11558 search results - page 411 / 2312
» Analytics for software development
Sort
View
ICSE
2003
IEEE-ACM
16 years 6 months ago
End-User Software Engineering with Assertions in the Spreadsheet Paradigm
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
Margaret M. Burnett, Curtis R. Cook, Omkar Pendse,...
ICSE
2007
IEEE-ACM
16 years 29 days ago
Languages for Safety-Critical Software: Issues and Assessment
Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, ...
Benjamin M. Brosgol
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 25 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff
PROFES
2004
Springer
16 years 5 days ago
Software Engineering Research Strategy: Combining Experimental and Explorative Research (EER)
In this paper a new Experimental and Explorative Research (EER) research strategy is proposed. It combines experimental software engineering with exploratory research of new techno...
Markku Oivo, Pasi Kuvaja, Petri Pulli, Jouni Simil...
ISESE
2003
IEEE
16 years 2 days ago
A Study of Collaboration in Software Design
This paper presents a study of collaboration in software design at a large software company. Ethnographic studies of development teams in the field are relatively rare, so this pa...
James Wu, T. C. Nicholas Graham, Paul W. Smith