Sciweavers

1593 search results - page 225 / 319
» A visual programming system for automated problem solving
Sort
View
ICST
2009
IEEE
15 years 1 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
COLING
2010
14 years 10 months ago
A Semantic Network Approach to Measuring Relatedness
Humans are very good at judging the strength of relationships between two terms, a task which, if it can be automated, would be useful in a range of applications. Systems attempti...
Brian Harrington
DAC
2001
ACM
16 years 4 months ago
Performance-Driven Multi-Level Clustering with Application to Hierarchical FPGA Mapping
In this paper, we study the problem of performance-driven multi-level circuit clustering with application to hierarchical FPGA designs. We first show that the performance-driven m...
Jason Cong, Michail Romesis
130
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
Beyond the Personal Software Process: Metrics collection and analysis for the differently disciplined
Pedagogies such as the Personal Software Process (PSP) shift metrics definition, collection, and analysis from the organizational level to the individual level. While case study r...
Philip M. Johnson, Hongbing Kou, Joy Agustin, Chri...
CHI
1998
ACM
15 years 8 months ago
Scripting Graphical Applications by Demonstration
Writing scripts (often called “macros”) can be helpful for automating repetitive tasks. Scripting facilities for text editors like Emacs and Microsoft Word have been widely us...
Brad A. Myers