Sciweavers

2030 search results - page 215 / 406
» Checklists for Software Engineering Case Study Research
Sort
View
ICSM
1994
IEEE
14 years 9 days ago
An Experiment on the Effect of Design Recording on Impact Analysis
An experimental study is presented in which participants perform impact analysis on alternate forms of design record information. The primary objective of the research is to asses...
Fabio Abbattista, Filippo Lanubile, Gemma Mastello...
CSEE
2000
Springer
14 years 15 days ago
Technology Transfer Issues for Formal Methods of Software Specification
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel,...
WCRE
2009
IEEE
14 years 2 months ago
Automatic Package Coupling and Cycle Minimization
Abstract—Object-oriented (OO) software is usually organized into subsystems using the concepts of package or module. Such modular structure helps applications to evolve when faci...
Hani Abdeen, Stéphane Ducasse, Houari A. Sa...
KBSE
2007
IEEE
14 years 2 months ago
Covering array sampling of input event sequences for automated gui testing
This paper describes a new automated technique to generate test cases for GUIs by using covering arrays (CAs). The key motivation is to generate long GUI event sequences that are ...
Xun Yuan, Myra B. Cohen, Atif M. Memon
EMSOFT
2008
Springer
13 years 10 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...