Sciweavers

3792 search results - page 455 / 759
» Techniques for Trusted Software Engineering
Sort
View
CASES
2003
ACM
16 years 1 days ago
Graphical user interface energy characterization for handheld computers
A significant fraction of the software and resource usage of a modern handheld computer is devoted to its graphical user interface (GUI). Moreover, GUIs are direct users of the d...
Lin Zhong, Niraj K. Jha
MSR
2010
ACM
15 years 12 months ago
Mining Challenge 2010: FreeBSD, GNOME Desktop and Debian/Ubuntu
Abstract—In a young field, such as Mining Software Repositories (MSR), there is always a call for benchmarks so that researchers can compare their results against others. Thus i...
Abram Hindle, Israel Herraiz, Emad Shihab, Zhen Mi...
DMS
2008
167views Multimedia» more  DMS 2008»
15 years 8 months ago
Testing Multi-agent Systems for Deadlock Detection Based on UML Models
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
Nariman Mani, Vahid Garousi, Behrouz Homayoun Far
177
Voted
ASE
2008
135views more  ASE 2008»
15 years 6 months ago
Deriving event-based transition systems from goal-oriented requirements models
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebasti&...
IJACTAICIT
2010
155views more  IJACTAICIT 2010»
15 years 4 months ago
Constructive Dynamic Program Slicing Research
Program slicing is a promising technique for providing automated support for various important software engineering activities. There exists hundreds of scientific studies on the ...
Jaakko Korpi, Jussi Koskinen