Sciweavers

16844 search results - page 62 / 3369
» How to Design Programs
Sort
View
120
Voted
HICSS
2002
IEEE
150views Biometrics» more  HICSS 2002»
15 years 7 months ago
AUI: A Programming Language for Developing Plastic Interactive Software
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
Kevin A. Schneider, James R. Cordy
119
Voted
AUIC
2005
IEEE
15 years 8 months ago
Program Comprehension: Investigating the Effects of Naming Style and Documentation
In both commercial and academic environments, software development frameworks are an important tool in the construction of industrial strength software solutions. Despite the role...
Scott Blinman, Andy Cockburn
123
Voted
DIS
2007
Springer
15 years 8 months ago
Computational Discovery in Pure Mathematics
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
Simon Colton
94
Voted
ESOP
2004
Springer
15 years 8 months ago
Static Analysis of Digital Filters
We present an Abstract Interpretation-based framework for automatically analyzing programs containing digital filters. Our framework allows refining existing analyses so that the...
Jérôme Feret
179
Voted
JMLC
2000
Springer
15 years 6 months ago
Modularisation of Software Configuration Management
The principle of modularisation is one of the main techniques that software designers use to tame the complexity of programming. A software project, however, is complex in many oth...
Henrik Bærbak Christensen