ADVANCED SEARCH
Advanced Search
FEEDBACK
 Please provide us with feedback
Found 2,254 of 1,394,228
|
|
Results 1 - 20 of 2,254
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
1
|
|
GKS/Ada post mortem, a cost analysis
|
|
December 1987
|
|
SIGAda '87: Proceedings of the 1987 annual ACM SIGAda international conference on Ada
|
Publisher: ACM
 Request Permissions
|
|
Full text available: |
 Pdf
(1.12 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 9, Downloads (Overall): 150, Citation Count: 0 |
 |
|
This paper presents results and conclusions of a Research Program which, among other tasks, performed analyses of empirical data gathered from completed Ada projects and explored alternative methods for Ada cost modeling and estimation.
Among others, ...
|
|
2
|
|
Lessons learned: object-oriented methodologies and Ada
|
|
January 1990
|
|
Proceedings of the Ada-Europe international conference on Ada : experiences and prospects: experiences and prospects
|
|
Publisher: Cambridge University Press
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 1 |
|
|
|
|
|
3
|
|
An Ada solution to the general mutual exclusion problem
|
|
July 1993
|
|
SIGAda Ada Letters
, Volume XIII Issue 4
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(337.00 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 9, Downloads (12 Months): 19, Downloads (Overall): 186, Citation Count: 2 |
|
|
Although some specific mutual exclusion problems have been studied extensively, automatic solutions to synchronize general mutual exclusion problems with arbitrary mutual exclusion constraints have not been fully explored. This paper discusses an Ada ...
|
|
4
|
|
Extensible protected types
|
|
November 1998
|
|
SIGAda '98: Proceedings of the 1998 annual ACM SIGAda international conference on Ada
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(1.06 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 3, Downloads (12 Months): 6, Downloads (Overall): 96, Citation Count: 4 |
|
|
|
Keywords: Ada 95, concurrent object-oriented programming
|
Also published in: |
| November 1998 |
SIGAda Ada Letters |
Volume XVIII Issue 6 |
|
|
5
|
|
6
|
|
System design with Ada
|
|
January 1984
|
|
System design with Ada
|
|
Publisher: Prentice-Hall, Inc.
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
|
|
7
|
|
8
|
|
9
|
|
A simplified graphic notation for Ada programs
|
|
July 1989
|
|
TRI-Ada '88: Proceedings of the conference on TRI-Ada '88
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(848.39 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 12, Downloads (Overall): 130, Citation Count: 0 |
|
|
A number of graphic notations for describing Ada programs have been proposed. In general, these are not supported by off-the-shelf tools; they are perceived by nonexperts as incomprehensible; they obscure simple design deficiencies; and they ...
|
|
10
|
|
11
|
|
Global issues in reuse from a real project
|
|
July 1986
|
|
Proc. of the Ada-Europe international conference on Ada: managing the transition
|
|
Publisher: Cambridge University Press
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 1 |
|
|
|
|
|
12
|
|
13
|
|
Using compliance notation to verify Ada tasking
|
|
October 1997
|
|
IRTAW '97: Proceedings of the eighth international workshop on Real-Time Ada
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(439.49 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 3, Downloads (12 Months): 12, Downloads (Overall): 87, Citation Count: 0 |
|
|
Tasking is the most important-aspect of Ada not addressed by existing verification systems. The DRA Compliance Notation allows a subset of Ada to be embedded in a engine supported by Z. We propose incorporating a reduced tasking model into the Notation.
Keywords: Ada95, safety-critical software, tasking
|
Also published in: |
| October 1997 |
SIGAda Ada Letters |
Volume XVII Issue 5 |
|
|
14
|
|
15
|
|
The Ada software repository and software reusability
|
|
March 1987
|
|
WADAS '87: Proceedings of the Joint Ada conference fifth national conference on Ada technology and fourth Washington Ada Symposium
|
|
Publisher: George Washington University
|
|
| Bibliometrics: Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Downloads (Overall): n/a, Citation Count: 0 |
|
|
|
|
|
16
|
|
Object oriented design and implementation of concurrent and real time systems in Ada
|
|
November 1994
|
|
TRI-Ada '94: Proceedings of the conference on TRI-Ada '94
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(537.40 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 0, Downloads (12 Months): 4, Downloads (Overall): 114, Citation Count: 0 |
|
|
Object Oriented technology, especially Object Oriented Programming (OOP), has recently become very popular in a number of contexts, and for various applications. However, there have been relatively few reports of using OO Methods (OOM) for concurrent ...
|
|
17
|
|
A pragmatic Ada software design/development methodology
|
|
March 1995
|
|
SIGAda Ada Letters
, Volume XV Issue 2
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(423.13 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 7, Downloads (Overall): 74, Citation Count: 0 |
|
|
A pragmatic design method is described which has been successfully applied to two medium size Ada projects. This design method parallels (albeit at a much less sophisticated level) the domain oriented methodologies currently becoming popular with the ...
|
|
18
|
|
A case study in process definition
|
|
October 1993
|
|
TRI-Ada '93: Proceedings of the conference on TRI-Ada '93
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(1.33 MB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 3, Downloads (12 Months): 29, Downloads (Overall): 531, Citation Count: 1 |
|
|
|
Keywords: case study, process definition, process representation, software process modeling
|
|
19
|
|
Ada in an on-board military communication system
|
|
November 1998
|
|
SIGAda '98: Proceedings of the 1998 annual ACM SIGAda international conference on Ada
|
|
Publisher: ACM
Request Permissions
|
|
Full text available: |
Pdf
(350.56 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 1, Downloads (12 Months): 5, Downloads (Overall): 116, Citation Count: 0 |
|
|
|
Keywords: Ada, hardware to software mapping, modular software
|
Also published in: |
| November 1998 |
SIGAda Ada Letters |
Volume XVIII Issue 6 |
|
|
20
|
|
Ada 9X reusable components
|
|
March 1992
|
|
SIGAda Ada Letters
, Volume XII Issue 2
|
|
Publisher: ACM
|
|
Full text available: |
Pdf
(413.20 KB)
|
|
|
| Bibliometrics: Downloads (6 Weeks): 2, Downloads (12 Months): 6, Downloads (Overall): 40, Citation Count: 2 |
|
|
The inclusion of concurrency in Ada leads to multiple reusable components which implement th e same abstraction. The proposed modifications of Ada 9X contain features which may eliminate th e need for more than one version of an abstraction. An example ...
|
|
|
Result page:
1
2
3
4
5
6
7
8
9
10
next
>>
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Refine by Keywords
Save results to a Binder