ASE 2000 : 15e Conférence Internationale IEEE sur l'Automatisation du Génie Logiciel, 11-15 September, 2000, Grenoble, France

著者

書誌事項

ASE 2000 : 15e Conférence Internationale IEEE sur l'Automatisation du Génie Logiciel, 11-15 September, 2000, Grenoble, France

sponsored by Université Joseph Fourier, IEEE Computer Society, ACM SIGART, ACM SIGSOFT

IEEE Computer Society, c2000

  • : microfiche

タイトル別名

The Fifteenth IEEE International Conference on Automated Software Engineering

Proceedings : ASE 2000

大学図書館所蔵 件 / 4

この図書・雑誌をさがす

注記

"IEEE Computer Society order number PR00710"--T.p. verso

Includes bibliographicl references and index

内容説明・目次

内容説明

Researchers and practitioners share their latest on automating various tasks of software engineering. The 23 full papers cover verification, requirements, evolution, synthesis and code generation, algebraic specification, process, design, and testing. Another 23 short papers consider such topics as

「Nielsen BookData」 より

詳細情報

  • NII書誌ID(NCID)
    BA49616800
  • ISBN
    • 0769507107
    • 0769507123
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Los Alamitos, Calif.
  • ページ数/冊数
    xiii, 330 p.
  • 大きさ
    28 cm
ページトップへ