Sciweavers

1689 search results - page 118 / 338
» Empirical Methodologies in Software Engineering
Sort
View
ICCD
2002
IEEE
257views Hardware» more  ICCD 2002»
16 years 1 months ago
Requirements for Automotive System Engineering Tools
The requirements to system and software development tools brought up by the automotive industry differ from the requirements that other customers have. The important catchwords he...
Joachim Schlosser
CSMR
2006
IEEE
15 years 10 months ago
Towards a Holistic Approach to Redesigning Legacy Applications for the Web with UWAT
Web applications design methodologies hold the promise of engineering high-quality and long-lived Web systems and rich Internet applications. However, many such methodologies focu...
Damiano Distante, Scott R. Tilley, Gerardo Canfora
CODES
2001
IEEE
15 years 8 months ago
Development cost and size estimation starting from high-level specifications
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
William Fornaciari, Fabio Salice, Umberto Bondi, E...
VMCAI
2007
Springer
15 years 10 months ago
Constructing Specialized Shape Analyses for Uniform Change
Abstract. This paper is concerned with one of the basic problems in abstract interpretation, namely, for a given abstraction and a given set of concrete transformers (that express ...
Tal Lev-Ami, Mooly Sagiv, Neil Immerman, Thomas W....
ATAL
2005
Springer
15 years 10 months ago
Prometheus design tool
The Prometheus Design Tool is a graphical editor which supports the design tasks specified within the Prometheus methodology for designing agent systems. The tool propagates info...
John Thangarajah, Lin Padgham, Michael Winikoff