Sciweavers

1040 search results - page 50 / 208
» The Role of Controlled Experiments in Software Engineering R...
Sort
View
HASE
2007
IEEE
15 years 3 months ago
Precise Documentation of Critical Software
This experience and research based paper discusses the reasons that software cannot be trusted and then explains how the use of greatly improved documentation can make software mo...
David Lorge Parnas, Sergiy A. Vilkomir
VSTTE
2005
Springer
15 years 5 months ago
On the Formal Development of Safety-Critical Software
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
Andy Galloway, Frantz Iwu, John A. McDermid, Ian T...
RCIS
2010
14 years 10 months ago
Evaluating cross-organizational ERP requirements engineering practices: a focus group study
This focus group study presents our first validation of practices for engineering the coordination requirements in cross­ organizational Enterprise Resource Planning (ERP) project...
Maya Daneva, Niv Ahituv
HASE
1998
IEEE
15 years 4 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
COMSWARE
2006
IEEE
15 years 5 months ago
Architecture and framework for supporting open-access multi-user wireless experimentation
—Most of the contemporary research in wireless networks is primarily based on simulations or in-house small scale experimental setups that are highly customized for the experimen...
Sachin Ganu, Maximilian Ott, Ivan Seskar, Dipankar...