Sciweavers

1689 search results - page 166 / 338
» Empirical Methodologies in Software Engineering
Sort
View
WER
2005
Springer
15 years 7 months ago
Using Task Descriptions for the Specification of Web Application Requirements
There are a significant number of proposals for modelling and developing Web Applications, but very few of them state rigorously how to elicit and represent requirements, and how t...
Pedro Valderas, Joan Fons, Vicente Pelechano
102
Voted
CODES
2000
IEEE
15 years 6 months ago
Parameterized system design
Continued growth in chip capacity has led to new methodologies stressing reuse, not only of pre-designed processing components, but even of entire pre-designed architectures. To b...
Tony Givargis, Frank Vahid
KBSE
1997
IEEE
15 years 6 months ago
Moving Proofs-As-Programs into Practice
Proofs in the Nuprl system, an implementation of a constructive type theory, yield “correct-by-construction” programs. In this paper a new methodology is presented for extract...
James L. Caldwell
AGILEDC
2004
IEEE
15 years 5 months ago
Exploring Extreme Programming in Context: An Industrial Case Study
A longitudinal case study evaluating the effects of adopting the Extreme Programming (XP) methodology was performed at Sabre Airline SolutionsTM. The Sabre team was a characterist...
Lucas Layman, Laurie A. Williams, Lynn Cunningham
CODES
2001
IEEE
15 years 5 months ago
Towards effective embedded processors in codesigns: customizable partitioned caches
This paper explores an application-specific customization technique for the data cache, one of the foremost area/power consuming and performance determining microarchitectural fea...
Peter Petrov, Alex Orailoglu