Sciweavers

2216 search results - page 158 / 444
» Integration of Usability Techniques into the Software Develo...
Sort
View
ICSE
2010
IEEE-ACM
15 years 8 months ago
An empirical study of optimizations in YOGI
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
Aditya V. Nori, Sriram K. Rajamani
MA
1999
Springer
138views Communications» more  MA 1999»
15 years 8 months ago
ADK--Building Mobile Agents for Network and Systems Management from Reusable Components
Mobile agents, programs that move within a system performing a set of tasks, are an active field of research. The focus of current research, however, is on the development of exe...
Thomas Gschwind, Metin Feridun, Stefan Pleisch
KSEM
2007
Springer
15 years 10 months ago
A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue...
IWPC
2002
IEEE
15 years 8 months ago
Traceability Recovery in RAD Software Systems
This paper proposes an approach and a process to recover traceability links between source code and free text documents in software system developed with extensive use of COTS, mi...
Massimiliano Di Penta, Sara Gradara, Giuliano Anto...
183
Voted
DAGSTUHL
2007
15 years 5 months ago
An XML Framework for Integrating Continuous Queries, Composite Event Detection, and Database Condition Monitoring for Multiple D
Abstract Current, data-driven applications have become more dynamic in nature, with the need to respond to events generated from distributed sources or to react to information extr...
Susan Darling Urban, Suzanne W. Dietrich, Yi Chen