ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(件名: #Computer software--Development)
該当件数:100件
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]
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.)
図書
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)
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]
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]
Building tightly integrated software development environments : the IPSEN approach / Manfred Nagl, ed.
Berlin : Springer , c1996.. - New York. - (Lecture notes in computer science. ; 1170)
図書 [BA28984023]
Pattern-oriented software architecture : a system of patterns / Frank Buschmann ... [et al.].
Chichester : Wiley , c1996.. - New York
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]
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]
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]
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
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.)
Systematic software development using VDM / Cliff B. Jones.
2nd ed.. - New York : Prentice Hall , 1990.. - (Prentice-Hall international series in computer science.)
図書 [BA20533927]
Prototyping-oriented software development : concepts and tools / W. Bischofberger, G. Pomberger.
Berlin : Springer-Verlag , c1992.. - New York. - (Texts and monographs in computer science.)
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)
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)
Controlling software development : a guide for information resource managers / Norman Statland.
New York : Wiley , c1986.
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)
Formal specification and design / L.M.G. Feijs & H.B.M. Jonkers.
Cambridge : Cambridge University Press , 1992.. - New York. - (Cambridge tracts in theoretical computer science. ; 35)
図書 [BA19094444]
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]
Domain analysis and software systems modeling / Rubén Prieto-Díaz and Guillermo Arango.
Los Alamitos, Calif. : IEEE Computer Society Press , c1991.. - (IEEE Computer Society Press tutorial.)
TAPSOFT '93 : theory and practice of software development 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 proceedings / M.-C. Gaudel, J.-P. Jouannaud, eds.
Berlin : Springer-Verlag , c1993.. - New York. - (Lecture notes in computer science. ; 668)
FME'93 : industrial-strength formal methods First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen (eds.).
Berlin : Springer-Verlag , c1993.. - New York. - (Lecture notes in computer science. ; 670)
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)
Using C in software design / Ronald Leach.
Boston : Academic Press Professional , c1993.
図書 [BA21316469]
Software reengineering / Robert S. Arnold.
Los Alamitos, Calif. : IEEE Computer Society Press , c1993.. - (IEEE Computer Society Press tutorial.)
図書 [BA20852131]
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]
TAPSOFT '95 : theory and practice of software development 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995 proceedings / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach, eds.
Berlin : Springer-Verlag , c1995.. - New York. - (Lecture notes in computer science. ; 915)
図書 [BA25034425]
Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 proceedings / Wilhelm Schäfer, ed.
Berlin : Springer , c1995.. - New York. - (Lecture notes in computer science. ; 913)
図書 [BA24822347]
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.)
FME '96, industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 proceedings / Marie-Claude Gaudel, James Woodcock (eds.).
Berlin : Springer , c1996.. - New York. - (Lecture notes in computer science. ; 1051)
図書 [BA27378822]
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]
Designing object-oriented software / Rebecca Wirfs-Brock, Brian Wilkerson, Lauren Wiener.
Englewood Cliffs, N.J. : Prentice Hall , c1990.
図書 [BA12008998]
Large-scale C++ software design / John Lakos.
Reading, Mass. : Addison-Wesley Pub. Co. , c1996.. - (Addison-Wesley professional computing series.)
図書 [BA30944564]
Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies.
London : Prentice Hall , 1996.. - (Prentice-Hall international series in computer science)
図書 [BA27865222]
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]
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.
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]
Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 proceedings / Thomas A. Henzinger, Christoph M. Kirsch (eds.).
Berlin : Springer , c2001.. - New York. - (Lecture notes in computer science ; 2211)
図書 [BA54188502]
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]
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]
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]
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]
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]
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]
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]
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]
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]
FME 2001 : formal methods for increasing software productivity [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 proceedings / José Nuno Oliveira, Pamela Zave (eds.).
Berlin : Springer , c2001.. - New York. - (Lecture notes in computer science ; 2021)
図書 [BA51108019]
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)
