ようこそ  ゲスト さん

国際基督教大学OPAC

ヘルプ
入力補助
English
OPAC
資料案内
    • 新着図書
    • 雑誌最新巻号
    • 雑誌タイトル検索
    • AV資料リスト
    • 新着書評
MyLibrary
    • 貸出・予約・延滞状況の確認
    • 本の取寄せ・コピーの取寄せ申込み
    • 本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
    • 本の購入申込み
    • 本の購入申込み状況照会
    • 本の購入申込み(堀内彩子メモリアル図書資金:学生用)
    • 学生希望図書リクエスト状況照会
    • パスワード変更
  • 図書館 HP
  • 授業指定図書
  • ICU Discovery
  • データベース一覧
  • ICUリポジトリ
  • ICU図書館
  • CiNii Books

蔵書検索

ICU図書館の所蔵資料を検索します。

CiNii Books

他大学図書館の所蔵資料を検索します。

検索をやりなおす
  • 簡易検索
  • 詳細検索
  • 分類検索

検索条件

  •  

資料区分

検索対象

検索オプション

資料区分:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
並び順:
一覧表示件数:
  • 日本十進分類

分類

検索条件

キーワード:

» 絞込条件

検索結果

本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。

検索キーワード:(件名: #Computer software--Development)

該当件数:101件

  • 件
  • 1
  • 2
  • 3
  • メール送信
  • ファイル出力
  • RefWorks出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
  • 1.

    Software process technology : 7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 proceedings / Reidar Conradi (ed.).

    Berlin : Springer-Verlag , c2000.. - New York. - (Lecture notes in computer science ; 1780)

     図書 [BA45505353]



  • 2.

    Building tightly integrated software development environments : the IPSEN approach / Manfred Nagl, ed.

    Berlin : Springer , c1996.. - New York. - (Lecture notes in computer science. ; 1170)

     図書 [BA28984023]



  • 3.

    Pattern-oriented software architecture : a system of patterns / Frank Buschmann ... [et al.].

    Chichester : Wiley , c1996.. - New York

     図書



  • 4.

    KORSO : methods, languages, and tools for the construction of correct software final report / Manfred Broy, Stefan Jähnichen, (eds.).

    Berlin : Springer , c1995.. - New York. - (Lecture notes in computer science. ; 1009)

     図書 [BA26362146]



  • 5.

    Formal development of reactive systems : case study production cell / Claus Lewerentz, Thomas Lindner, eds.

    Berlin : Springer-Verlag , c1995.. - New York. - (Lecture notes in computer science. ; 891)

     図書 [BA24352775]



  • 6.

    Systematic software development using VDM / Cliff B. Jones.

    2nd ed.. - New York : Prentice Hall , 1990.. - (Prentice-Hall international series in computer science.)

     図書 [BA20533927]



  • 7.

    New paradigms for software development : tutorial / [compiled by] William W. Agresti.

    Washington, D.C. : IEEE Computer Society Press , c1986.. - Los Angeles, CA : Order from IEEE Computer Society

     図書



  • 8.

    Software product lines : second international conference, SPLC2, San Diego, CA, USA, August 19-22, 2002 proceedings / Gary J. Chastek (ed.).

    Berlin : Springer , c2002.. - New York. - (Lecture notes in computer science ; 2379)

     図書 [BA58374892]



  • 9.

    Software process technology : 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 proceedings / Vincenzo Ambriola (ed.).

    Berlin : Springer , c2001.. - New York. - (Lecture notes in computer science ; 2077)

     図書 [BA5247603X]



  • 10.

    Prototyping-oriented software development : concepts and tools / W. Bischofberger, G. Pomberger.

    Berlin : Springer-Verlag , c1992.. - New York. - (Texts and monographs in computer science.)

     図書



  • 11.

    Program development by specification and transformation : the PROSPECTRA methodology, language family, and system / Berthold Hoffmann, Bernd Krieg-Brückner, eds.

    Berlin : Springer-Verlag , c1993.. - New York. - (Lecture notes in computer science. ; 680)

     図書



  • 12.

    Specification and transformation of programs : a formal approach to software development / Helmut A. Partsch.

    Berlin : Springer-Verlag , c1990.. - New York. - (Texts and monographs in computer science.)

     図書



  • 13.

    Notations for software design / Loe M.G. Feijs, Hans B.M. Jonkers, and Cornelis A. Middelburg.

    London : Springer-Verlag , c1994.. - New York. - (Formal approaches to computing and information technology.)

     図書



  • 14.

    Foundations of algebraic specification and formal software development / Donald Sannella, Andrzej Tarlecki

    : hbk. - Dordrecht : Springer , c2012. - (Monographs in theoretical computer science : an EATCS series)

     図書 [BB0802334X]



  • 15.

    Controlling software development : a guide for information resource managers / Norman Statland.

    New York : Wiley , c1986.

     図書



  • 16.

    Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 proceedings / Susanne Graf, Michael Schartzbach (eds.).

    Berlin : Springer , c2000.. - New York. - (Lecture notes in computer science ; 1785)

     図書 [BA46078735]



  • 17.

    UML 2000--the unified modeling language : advancing the standard third international conference, York, UK, October 2-6, 2000 proceedings / Andy Evans, Stuart Kent, Brian Selic (eds.).

    Berlin : Springer , c2000.. - New York. - (Lecture notes in computer science ; 1939)

     図書 [BA48643477]



  • 18.

    Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Sapin, March 15-17, 2000 proceedings / Frank van der Linden (ed.).

    Berlin : Springer , c2000.. - New York. - (Lecture notes in computer science ; 1951)

     図書 [BA49796440]



  • 19.

    Studies of software design : ICSE '93 workshop, Maltimore[i.e. Baltimore], Maryland, USA, May 17-18, 1993 selected papers / David Alex Lamb, ed.

    Berlin : Springer-Verlag , c1996.. - New York. - (Lecture notes in computer science. ; 1078)

     図書 [BA27629966]



  • 20.

    Object-oriented software engineering : a use case driven approach / Ivar Jacobson ... [et al.].

    Rev. printing.. - [New York] : ACM Press , 1993, c1992.. - Harlow, Eng. : Addison-Wesley Pub.. - Reading, Mass.

     図書



  • 21.

    Large-scale C++ software design / John Lakos.

    Reading, Mass. : Addison-Wesley Pub. Co. , c1996.. - (Addison-Wesley professional computing series.)

     図書 [BA30944564]



  • 22.

    Designing object-oriented software / Rebecca Wirfs-Brock, Brian Wilkerson, Lauren Wiener.

    Englewood Cliffs, N.J. : Prentice Hall , c1990.

     図書 [BA12008998]



  • 23.

    Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies.

    London : Prentice Hall , 1996.. - (Prentice-Hall international series in computer science)

     図書 [BA27865222]



  • 24.

    Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 proceedings / Carlo Montangero (ed.).

    Berlin : Springer , c1996.. - New York. - (Lecture notes in computer science. ; 1149)

     図書 [BA28545500]



  • 25.

    Software process technology : 6th European Workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998 proceedings / Volker Gruhn (ed.).

    Berlin : Springer , c1998.. - New York. - (Lecture notes in computer science ; 1487)

     図書 [BA37772569]



  • 26.

    Applications of formal methods / edited by Michael G. Hinchey and Jonathan P. Bowen.

    London : Prentice Hall , 1995.. - New York. - (Prentice-Hall international series in computer science.)

     図書



  • 27.

    TAPSOFT '97 : theory and practice of software development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997 proceedings / Michel Bidoit, Max Dauchet, (eds.).

    Berlin : Springer , c1997.. - New York. - (Lecture notes in computer science ; 1214)

     図書 [BA30239416]



  • 28.

    Formal program development : IFIP TC2/WG 2.1 state-of-the-art report / Bernhard Möller, Helmut Partsch, Steve Schuman, (eds.).

    Berlin : Springer-Verlag , c1993.. - New York. - (Lecture notes in computer science. ; 755)

     図書



  • 29.

    Using C in software design / Ronald Leach.

    Boston : Academic Press Professional , c1993.

     図書 [BA21316469]



  • 30.

    FME '94 : industrial benefit of formal methods Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 proceedings / Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.).

    Berlin : Springer-Verlag , c1994.. - New York. - (Lecture notes in computer science. ; 873)

     図書 [BA23607702]



  • 31.

    Software reengineering / Robert S. Arnold.

    Los Alamitos, Calif. : IEEE Computer Society Press , c1993.. - (IEEE Computer Society Press tutorial.)

     図書 [BA20852131]



  • 32.

    Case studies in systematic software development / edited by Cliff B. Jones and Roger C.F. Shaw.

    New York : Prentice Hall , 1990.. - (Prentice Hall international series in computer science). - (Prentice-Hall international series in computer science.)

     図書 [BA11281368]



  • 33.

    TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 / J. Díaz, F. Orejas (eds.)

    Berlin : Springer-Verlag , c1989.. - New York. - Tokyo. - (Lecture notes in computer science. ; 351-352)

     図書



  • 34.

    TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987 / edited by Hartmut Ehrig ... [et al.].

    Berlin : Springer-Verlag , c1987.. - Tokyo. - (Lecture notes in computer science. ; 249-250)

     図書



  • 35.

    Formal methods and software development / Colloquium on Software Engineering (CSE) edited by Hartmut Ehrig ... [et al.].

    Berlin : Springer-Verlag , c1985.. - Tokyo. - (Lecture notes in computer science. ; 186). - (Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985 ; ; v. 2)

     図書



  • 36.

    Software specification and design : a disciplined approach for real-time systems / Marilyn Keller, Ken Shumate.

    New York : Wiley , c1992.. - (Wiley series in software engineering practice.)

     図書 [BA17193456]



  • 37.

    VDM '90 : VDM and Z formal methods in software development Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.).

    Berlin : Springer-Verlag , c1990.. - New York. - Tokyo. - (Lecture notes in computer science. ; 428)

     図書



  • 38.

    TAPSOFT 91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / S. Abramsky, T.S.E. Maibaum, eds.

    Berlin : Springer-Verlag , c1991.. - New York. - Tokyo. - (Lecture notes in computer science. ; 493, 494)

     図書



  • 39.

    VDM '91 : formal software development methods 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991 proceedings / S. Prehn, W.J. Toetenel (eds.).

    Berlin : Springer-Verlag , c1991.. - New York. - (Lecture notes in computer science. ; 551-552)

     図書



  • 40.

    An introduction to formal specification and Z / Ben Potter, Jane Sinclair, David Till.

    New York : Prentice Hall , 1991.. - London. - Tokyo. - (Prentice-Hall international series in computer science.)

     図書 [BA13527607]



  • 41.

    Extreme programming and agile methods : XP/Agile Universe 2002 second XP Universe and first Agile Universe Conference, Chicago, IL, USA, August 4-7, 2002 proceedings / Don Wells, Laurie Williams (eds.).

    Berlin : Springer , c2002.. - New York. - (Lecture notes in computer science ; 2418)

     図書 [BA58082944]



  • 42.

    UML 2002--the Unified Modeling Language : model engineering, concepts, and tools 5th International Conference, Dresden, Germany, September 30-October 4, 2002 proceedings / Jean-Marc Jézéquel, Heinrich Hussmann, Stephen Cook (eds.).

    Berlin : Springer , c2002.. - New York. - (Lecture notes in computer science ; 2460)

     図書 [BA59280309]



  • 43.

    Embedded software : second international conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 proceedings / Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.).

    Berlin : Springer , c2002.. - New York. - (Lecture notes in computer science ; 2491)

     図書 [BA59296761]



  • 44.

    Tools and algorithms for the construction and analysis of systems : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 proceedings / Hubert Garavel, John Hatcliff (eds.).

    Berlin : Springer , 2003.. - New York. - (Lecture notes in computer science ; 2619)

     図書 [BA61606238]



  • 45.

    UML 2001 : the unified modeling language modeling languages, concepts, and tools 4th international conference, Toronto, Canada, October 1-5, 2001 proceedings / Martin Gogolla, Cris Kobryn (ed.).

    Berlin : Springer , c2001.. - New York. - (Lecture notes in computer science ; 2185)

     図書 [BA53862924]



  • 46.

    Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.).

    Berlin : Springer , c2002.. - New York. - (Lecture notes in computer science ; 2280)

     図書 [BA56331866]



  • 47.

    Software product-family engineering : 4th international workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001 revised papers / Frank van der Linden (ed.).

    Berlin : Springer , c2002.. - New York. - (Lecture notes in computer science ; 2290)

     図書 [BA56626542]



  • 48.

    Tools and algorithms for the construction and analysis of systems : 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 proceedings / Tiziana Margaria, Wang Yi (eds.).

    Berlin : Springer , c2001.. - New York. - (Lecture notes in computer science ; 2031)

     図書 [BA51737400]



  • 49.

    Extreme programming and agile processes in software engineering : 4th international conference, XP 2003, genova, Italy, May 25-29, 2003 proceedings / Michele Marchesi, Giancarlo Succi (eds.).

    Berlin : Springer , 2003.. - New York. - (Lecture notes in computer science ; 2675)

     図書 [BA62265471]



  • 50.

    Software development with Z : a practical approach to formal methods in software engineering / J.B. Wordsworth.

    Wokingham, England : Addison-Wesley Pub. Co. , c1992.. - Reading, Mass.. - (International computer science series.)

     図書 [BA18871574]



  • メール送信
  • ファイル出力
  • RefWorks出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
  • 1
  • 2
  • 3
CLOSE

絞込項目

CLOSE

資料案内

  • 新着図書
  • 雑誌最新巻号
  • 雑誌タイトル検索
  • AV資料リスト
  • 新着書評

MyLibrary

  • 貸出・予約・延滞状況の確認
  • 本の取寄せ・コピーの取寄せ申込み
  • 本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
  • 本の購入申込み
  • 本の購入申込み状況照会
  • 本の購入申込み(堀内彩子メモリアル図書資金:学生用)
  • 学生希望図書リクエスト状況照会
  • パスワード変更

関連

  • 図書館HP
  • ICU Discovery
  • データベース一覧

©2013 国際基督教大学