Sciweavers

1587 search results - page 75 / 318
» Software Engineering Programmes are not Computer Science Pro...
Sort
View
ICSE
2004
IEEE-ACM
14 years 8 months ago
A Tool for Writing and Debugging Algebraic Specifications
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...
Johannes Henkel, Amer Diwan
ICSM
2009
IEEE
14 years 3 months ago
BCC: Enhancing code completion for better API usability
Nowadays, programmers spend much of their workday dealing with code libraries and frameworks that are bloated with APIs. One common way of interacting with APIs is through Code Co...
David M. Pletcher, Daqing Hou
ICSM
2006
IEEE
14 years 2 months ago
Using Sex Differences to Link Spatial Cognition and Program Comprehension
Spatial cognition and program development have both been examined using contrasting models. We suggest that sex-based differences in one’s perception of risk is the key to relat...
Maryanne Fisher, Anthony Cox, Lin Zhao
EMSOFT
2001
Springer
14 years 1 months ago
Compiler Optimizations for Adaptive EPIC Processors
Abstract. Advances in VLSI technology have lead to a tremendous increase in the density and number of devices that can be manufactured in a single microchip. One of the interesting...
Krishna V. Palem, Surendranath Talla, Weng-Fai Won...
EUROMICRO
2000
IEEE
14 years 1 months ago
Concurrent Control Systems: From Grafcet to VHDL
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
Frédéric Mallet, Daniel Gaffé...