![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
2nd SETA 1994: Washington, D.C., USA
- Patricia A. Oberndorf:
Proceedings of the Second International Symposium on Environments and Tools for Ada, SETA 1994, Washington, D.C., USA, 1994. ACM 1994, ISBN 978-1-4503-7305-0 - Raymond J. A. Buhr, Gerald M. Karam, C. Murray Woodside, Ronald S. Casselman, Greg Franks, H. Scott, D. Bailey:
TimeBench: a CAD tool for real-time system design. 3-15 - Sungwoon Choi, Toshimi Minoura:
User interface system based on active objects. 16-25 - Brian M. Barry, Jim McGugan, Mike Wilson:
DIR/SEE: a Smalltalk environment for developing Ada applications and maintaining legacies. 26-35 - Jeanette Bruno, Daniel J. Rosenkrantz:
Interactive control restructuring. 36-53 - Edward William Giering III, Theodore P. Baker:
A tool for the deterministic scheduling of real-time programs implemented as periodic Ada tasks. 54-73 - David Leeson, Glenn H. MacEwen, David Andrews:
Interfacing Ada with verification languages. 74-81 - Alan W. Brown, Maria H. Penedo:
"Environment integration" working group summary SETA2. 85-92 - Timothy E. Lindquist, Robert G. Munck:
How do you pronounce OO-ERA-RDBMS-OMS? 93-98 - Kurt C. Wallnau:
Workshop summary: user interface. 99-103 - Mark Dowson:
"Process" working group summary SETA2. 104-108 - Fred Maymir-Ducharme, Teri F. Payton, Judy Kerner:
"Reuse" and "hybrid systems" working groups summary - SETA2 working groups 2 and 6. 109-112
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.