Reliable software technologies - Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
著者
書誌事項
Reliable software technologies - Ada-Europe 2004 : 9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004 : proceedings
(Lecture notes in computer science, 3063)
Springer, c2004
大学図書館所蔵 全16件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
注記
Includes bibliographical references and index
内容説明・目次
内容説明
The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14-18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the University of the Balearic Islands (UIB). As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when the attendees had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development. Invited Speakers Theconferencepresentedfourdistinguishedspeakers,whodeliveredstate-of-t- art information on topics of great importance, both for now and for the future of software engineering: - S. Tucker Taft, SoftCheck Inc., USA Fixing software before it breaks: using static analysis to help solve the so- ware quality quagmire - Martin Gogolla, University of Bremen, Germany Bene?ts and problems of formal methods - Antoni Oliv e, Polytechnical University of Catalonia, Spain On the role of conceptual schemas in information systems' development - Stephen Vinoski, IONA Technologies in Waltham, USA Can middleware be reliable? Wewouldliketoexpressoursinceregratitudetothesedistinguishedspeakers, well known to the community, for sharing their insights with the conference participants. Submitted Papers Alargenumberofpapersweresubmitted,fromasmanyas15di?erentcountries.
目次
Invited Papers.- Benefits and Problems of Formal Methods.- On the Role of Conceptual Schemas in Information Systems Development.- An Overview of Middleware.- Static Analysis.- Static Deadlock Detection in the Linux Kernel.- Extracting Ada 95 Objects from Legacy Ada Programs.- On the Tree Width of Ada Programs.- Distributed Systems.- The Chance for Ada to Support Distribution and Real-Time in Embedded Systems.- PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications.- Event Language for Real-Time On-the-Fly Control According to the Initial Requirements.- Real-Time Systems.- Implementing Execution-Time Clocks for the Ada Ravenscar Profile.- Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux.- Supporting Deadlines and EDF Scheduling in Ada.- Reflection and XML.- OpenAda: Compile-Time Reflection for Ada 95.- XML4Ada95 Accessing XML Using the DOM in Ada95.- Testing.- A Randomised Test Approach to Testing Safety Critical Ada Code.- Good Random Testing.- Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada.- Critical Systems Modeling.- High Integrity Ada in a UML and C World.- Ada Meets Giotto.- High-Integrity Interfacing to Programmable Logic with Ada.- Scheduling.- Dynamic Ceiling Priorities: A Proposal for Ada0Y.- Mixing Scheduling Policies in Ada.- Implementing an Application-Defined Scheduling Framework for Ada Tasking.- Application Programming Interfaces.- A Theory of Persistent Containers and Its Application to Ada.- Shortcuts: A Critical Look.- Vector Processing in Ada.
「Nielsen BookData」 より