Sciweavers

1040 search results - page 93 / 208
» The Role of Controlled Experiments in Software Engineering R...
Sort
View
ISESE
2005
IEEE
15 years 10 months ago
Quality vs. quantity: comparing evaluation methods in a usability-focused software architecture modification task
A controlled experiment was performed to assess the usefulness of portions of a Usability-Supporting Architectural Pattern (USAP) in modifying the design of software architectures...
Elspeth Golden, Bonnie E. John, Len Bass
145
Voted
APSEC
2004
IEEE
15 years 8 months ago
A Project Management Support Tool using Communication for Agile Software Development
Recently, agile software development methods are popular because software should be developed in a short period. However, conventional project management techniques are often not ...
Noriko Hanakawa, Kimiharu Okura
140
Voted
KBSE
2009
IEEE
15 years 11 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
TASE
2008
IEEE
15 years 4 months ago
Integrated Supervisory and Operational Control of a Warehouse With a Matrix-Based Approach
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
Vincenzo Giordano, Jing Bing Zhang, David Naso, Fr...
KBSE
2005
IEEE
15 years 10 months ago
Automated path generation for software fault localization
Localizing the cause(s) of an observable error lies at the heart of program debugging. Fault localization often proceeds by comparing the failing program run with some “successf...
Tao Wang, Abhik Roychoudhury