11653 search results - page 56 / 2331 » The Development of the C Language |
CASCON
2007
13 years 10 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
ICSE
1993
IEEE-ACM
14 years 1 months ago
1993
IEEE-ACM
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
In this paper, we describe two mission critical applications currently deployed by Telecom Italia in the Operations Support System domains. The first one called "Network Neut...
CHI
2006
ACM
14 years 9 months ago
2006
ACM
In this paper, we describe the design and preliminary evaluation of a hybrid desktop-handheld system developed to support individuals with aphasia, a disorder which impairs the ab...