東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(標準分類: QA76.76.D47)
該当件数:79件
《UML》 2004 - the Unified Modeling Language : modeling languages and applications : 7th International Conference, Lisbon, Portugal, October 11-15, 2004 : proceedings / Thomas Baar ... [et al.] (eds)
Berlin : Springer , c2004. - (Lecture notes in computer science ; 3273)
図書
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)
Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Château de Bonas, September 15-18, 1999 : selected papers / Didier Bert, Christine Choppy, Peter Mosses (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1827)
Software process technology : 8th European Workshop, EWSPT 2001, Witten, Germany, June 19-21, 2001 : proceedings / Vincenzo Ambriola (ed)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2077)
Sams teach yourself UML in 24 hours / Joseph Schmuller
2nd ed. - Indianapolis, Ind. : Sams , c2002
Advances in exception handling techniques / Alexander Romanovsky ... [et al.] (eds)
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2022)
FME 2001: formal methods for increasing software productivity : International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings / José Nuno Oliveira, Pamela Zav
Berlin : Springer , c2001. - (Lecture notes in computer science ; 2021)
Eclipse : building commerical-quality plug-ins / Eric Clayberg, Dan Rubel ; [forewords by Skip McGaughey & Simon Archer]
Boston : Addison-Wesley , c2004. - (The Eclipse series)
《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. - (Lecture notes in computer science ; 2460)
Constructing correct software / John Cooke
2nd ed. - London : Springer , 2005. - (Formal approaches to computing and information technology)
UML Modeling Languages and Applications : 《UML》 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004 : revised selected papers / Nuno Jardim Nunes ... [et al.], (eds.)
Berlin : Springer , c2005. - (Lecture notes in computer science ; 3297)
The unified modeling language user's guide / Grady Booch, with James Rumbaugh and Ivar Jacobson
Reading Ma. : Addison-Wesley , 1998. - (The Addison-Wesley object technology series / Grady booch, Ivan jacobson, James rumbaugh)
Recent trends in algebraic development techniques : 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / Francesco Parisi Presicce, (ed.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1376)
Coordination technology for collaborative applications : organizations, processes, and agents / Wolfram Conen, Gustaf Neumann (eds.)
Berlin : Springer , c1998. - New York. - (Lecture notes in computer science ; 1364)
AntiPatterns : refactoring software, architectures, and projects in crisis / William J. Brown ... [et al.]
New York : Wiley , c1998
Recent trends in algebraic development techniques : 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / José Luiz Fiadeiro (ed.)
Berlin : Springer , c1999. - New York. - (Lecture notes in computer science ; 1589)
.NET Domain-Driven Design with C# : problem, design, solution / Tim McCarthy
Indianapolis, IN : Wiley , c2008. - (Programmer to programmer)
Contributing to Eclipse : principles, patterns, and plug-ins / Erich Gamma, Kent Beck
Boston : Addison-Wesley , 2003, c2004. - Boston : Pearson Education. - (The eclipse series)
Semantic integration of heterogeneous software specifications / Martin Groβe-Rhode
New York : Springer-Verlag , 2004. - (Monographs in theoretical computer science)
Software process dynamics / Raymond J. Madachy
Piscataway, N.J. : IEEE , c2008. - Hoboken, N.J. : J. Wiley
Mastering Borland Delphi 2005 / Marco Cantù
San Francisco, Calif. : SYBEX , c2005
《UML》 2000 - the unified modeling language : advancing the standard : Third International Conference, York, UK, October 2-6, 2000 : proceedings / Andy Evans, Stuart Kent, Bran Selic (eds.)
Berlin : Springer , c2000. - (Lecture notes in computer science ; 1939)
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. - (Lecture notes in computer science ; 2211)
UML 2000--the unified modeling language : advancing the standard : third international conference, York, UK, October 2-6, 2000 : proceedings / Andy Evans, Stuart Kent (eds.)
New York : Springer , 2000. - (Lecture notes in computer science ; 1939)
Software architectures for product families : International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 : proceedings / Frank van der Linden (ed.)
Berlin : Springer , c2000. - New York. - (Lecture notes in computer science ; 1951)
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. - (Lecture notes in computer science ; 428)
Production software that works : a guide to concurrent development of realtime manufacturing systems / John A. Behuniak, Iftikhar A. Ahmad, Ann M. Courtright
[S.l.] : Elsevier , [2014]
電子ブック
Software process technology : 6th European workshop, EWSPT '98, Weybridge, UK, September 16-18, 1998 : proceedings / Volker Gruhn (ed.)
Berlin : Springer , c1998. - (Lecture notes in computer science ; 1487)
Telling stories : a short path to writing better software requirements / Ben Rinzler
pbk.. - Indianapolis, IN : Wiley Pub., Inc. , c2009
Design - build - run : applied practices and principles for production-ready software development / Dave Ingram
pbk.. - Indianapolis, IN : Wiley , c2009. - (Programmer to programmer)
Software engineering in C / Peter A. Darnell, Philip E. Margolis
New York : Springer-Verlag , c1988. - Tokyo. - (Springer books on professional computing)
Beyond programming : to a new era of design / Bruce I. Blum
New York : Oxford University Press , 1996. - (The Johns Hopkins University/Applied Physics Laboratory series in science and engineering)
Software process technology : 5th European workshop, EWSPT '96, Nancy, France, October 9-11, 1996 : proceedings / Carlo Montangero (ed.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1149)
Patterns of software : tales from the software community / Richard P. Gabriel
New York : Oxford University Press , 1996
Software requirements & specifications : a lexicon of practice, principles, and prejudices / Michael Jackson
New York : ACM Press , c1995. - Wokingham, England : Addison-Wesley Pub. Co.. - Reading, Mass.
Object-oriented software engineering : a use case driven approach / Ivar Jacobson ... [et al.]
Rev. 4th printing. - [New York] : ACM Press , c1992. - Wokingham, England : Addison-Wesley Pub.. - Reading, Mass.
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. - Tokyo. - (Lecture notes in computer science ; 1214)
Prototyping-oriented software development : concepts and tools / W. Bischofberger, G. Pomberger
New York : Springer-Verlag , c1992. - Berlin. - (Texts and monographs in computer science)
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. - (Lecture notes in computer science ; 494)
Software design and prototyping using me too / Heather Alexander, Val Jones
New York : Prentice Hall , 1990
Software process technology : 4th European workshop, EWSPT '95, Noordwijkerhout, The Netherlands, April 3-5, 1995 : proceedings / Wilhelm Schäfer, (ed.)
Berlin : Springer-Verlag , c1995. - (Lecture notes in computer science ; 913)
Formal development of reactive systems : case study production cell / Claus Lewerentz, Thomas Lindner (eds.)
Berlin : Springer-Verlag , c1995. - Tokyo. - (Lecture notes in computer science ; 891)
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)
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 , c1995. - New York. - (Lecture notes in computer science ; 915)
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)
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 program development : IFIP TC 2/WG 2.1 state of the art report / Bernhard Möller, Helmut Partsch, Steve Schuman (eds.)
Berlin : Springer-Verlag , c1993. - Tokyo. - (Lecture notes in computer science ; 755)
Software engineering environments : concepts and technology / Robert N. Charette
New York, NY : Intertext Publications , c1986
Software design : from programming to architecture / Eric J. Braude
Hoboken, NJ : J. Wiley , c2004
Eclipse modeling framework : a developer's guide / Frank Budinsky ... [et al.]
Boston : Addison-Wesley , 2003, c2004. - (The eclipse series)