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
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」 より