Sciweavers

1689 search results - page 53 / 338
» Empirical Methodologies in Software Engineering
Sort
View
ICST
2010
IEEE
15 years 2 hour ago
Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
Laya Madani, Virginia Papailiopoulou, Ioannis Pari...
COMPSAC
2005
IEEE
15 years 7 months ago
Empirical Validation of Website Timeliness Measures
Information timeliness is crucial for media-based websites. Although a couple of timeliness design strategies have been developed, timeliness measurement is still in its infancy. ...
Yanlong Zhang, Hong Zhu, Sue Greenwood
ICSM
2006
IEEE
15 years 7 months ago
Tracking Concerns in Evolving Source Code: An Empirical Study
The association between the description of a concern (e.g., a feature) and the code that implements it is valuable information that can degrade as the code of a system evolves. We...
Martin P. Robillard
CODES
1997
IEEE
15 years 5 months ago
A generic multi-unit architecture for codesign methodologies
:Thispaper introduces a templatearchitecturefor codesignmethodologies.This architecture is basedon a data synchronizedcontrol schemethat is well adaptedto the implementation of num...
Guy Gogniat, Michel Auguin, Cécile Belleudy
DAGSTUHL
2006
15 years 2 months ago
Techniques for Empirical Validation
In 1998 a survey was published on the extent to which software engineering papers validate the claims made in those papers. The survey looked at publications in 1985, 1990 and 1995...
Marvin V. Zelkowitz