serverspec.tex

\documentclass[submit,techreq]{ipsj}


\usepackage[dvipdfmx]{graphicx}
\usepackage{latexsym}

\def\Underline{\setbox0\hbox\bgroup\let\\\endUnderline}
\def\endUnderline{\vphantom{y}\egroup\smash{\underline{\box0}}\\}
\def\|{\verb|}

\begin{document}


\title{serverspec: 宣言的記述でサーバの状態をテスト可能な\\
汎用性の高いテストフレームワーク}

\etitle{serverspec: A Versatile Test Framework for Testing States of Servers by Delarative Description}

\paffiliate{PAPERBOY}{株式会社paperboy\&co.\\
paperboy\&co., Inc.
}

\paffiliate{TU}{帝京大学 理工学部\\
Faculty of SCIENCE and ENGINEERING, Teikyo University
}

\paffiliate{KU}{京都大学 情報科学研究科，京都市\\
Graduates School of Infromatics, Kyoto University
}

\author{宮下 剛輔}{Gosuke Miyashita}{PAPERBOY,TU}[gosukenator@gmail.com]
\author{栗林 健太郎}{Kentaro Kuribayashi}{PAPERBOY}
\author{松本 亮介}{Ryosuke Matsumoto}{KU}

\input{abstract}
\input{eabstract}

\maketitle

\input{01}
\input{02}
\input{03}
\input{04}
\input{05}

\begin{acknowledgment}
serverspec実装にあたり、提案手法の原型となる実装を示してくれた株式会社paperboy\&co.伊藤洋也氏に感謝する。
\end{acknowledgment}

\bibliographystyle{ipsjunsrt}
\bibliography{serverspec}

\end{document}