富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: QA76.76.D47)
該当件数:8件
SPLC / sponsored by Software Engineering Institute ... [et al.]
2006 (10th) - 2008 (12th). - Los Alamitos, Calif. : IEEE Computer Society , c2006-
図書
Software process technology : 7th European Workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedings / Reidar Conradi (ed.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1780)
《UML》 '99 - the unified modeling language : beyond the standard : Second International Conference, Fort Collins, Co, USA, October 28-30, 1999 : proceedings / Robert France, Bernhard Rumpe (eds.)
Berlin : Springer-Verlag , c1999. - (Lecture notes in computer science ; 1723)
Formal program development : IFIP TC 2/WG 2.1 state of the art report / Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
: gw,: us. - Berlin : Tokyo : Springer-Verlag , c1993. - (Lecture notes in computer science ; 755)
Software requirements : objects, functions, and states / Alan M. Davis
Rev. - Englewood Cliffs, N.J. : PTR Prentice Hall , c1993
Exploiting chaos : cashing in on the realities of software development / Dave Olson
New York : Van Nostrand Reinhold , c1993. - (VNR computer library)
Prototyping-oriented software development : concepts and tools / W. Bischofberger, G. Pomberger
: us,: gw. - New York : Berlin : Springer-Verlag , c1992. - (Texts and monographs in computer science)
Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch
: gw - : u.s. : soft : student ed. - Berlin : New York : Springer-Verlag , c1990. - (Texts and monographs in computer science)