翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

ETAPS : ウィキペディア英語版
European Joint Conferences on Theory and Practice of Software
The European Joint Conferences on Theory and Practice of Software (ETAPS) is a confederation of six computer science conferences taking place annually at one conference site, usually end of March or early April. Three of the six conferences (FoSSaCS, FASE, TACAS) are top ranked in software engineering〔(【引用サイトリンク】url=http://academic.research.microsoft.com/RankList?entitytype=3&topDomainID=2&subDomainID=4&last=0 )〕 and two (ESOP, CC) are top ranked conferences on programming languages.〔(【引用サイトリンク】url=http://academic.research.microsoft.com/RankList?entitytype=3&topDomainID=2&subDomainID=24&last=0 )
== Constituting conferences ==
ETAPS confederates the following six conferences:
* Conference on Principles of Security and Trust (POST, since 2012)
* European Symposium on Programming (ESOP, since 1998)
* Foundations of Software Science and Computation Structures (FoSSaCS, since 1998)
* Fundamental Approaches to Software Engineering (FASE, since 1998)
* International Conference on Compiler Construction, (CC, since 1998)
* Tools and Algorithms for the Construction and Analysis of Systems (TACAS, since 1998)
=== TACAS ===
TACAS (Tools and Algorithms for the Construction and Analysis of Systems) is a conference that focuses on the application of and tool support for various formal methods. It is one of the top ranked conferences for software engineering.〔 It was founded by Bernhard Steffen, Rance Cleaveland, Ed Brinksma, and Kim Larsen. The first TACAS was held in 1995 in Aarhus, Denmark followed by the conferences in 1996 in Passau, Germany and 1997 in Enschede, Netherlands. TACAS was one of the first five constituting conferences of ETAPS in 1998.〔(【引用サイトリンク】url=http://www.etaps.org/1998/ )

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「European Joint Conferences on Theory and Practice of Software」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.