東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: Computer software Development)
該当件数:146件
Foundations of algebraic specification and formal software development / Donald Sannella, Andrzej Tarlecki
: hbk. - Dordrecht : Springer , c2012. - (Monographs in theoretical computer science : an EATCS series)
図書
Modelling systems : practical tools and techniques in software development / John Fitzgerald and Peter Gorm Larsen
: hbk,: pbk.. - Cambridge ; New York : Cambridge University Press , 1998
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)
Software process : principles, methodology, and technology / Jean-Claude Derniame, Badara Ali Kaba, David Wastell (eds.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1500)
Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Issues in Programming Languages (CCIPL) / J. Díaz, F. Orejas (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 352 . 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.) ; v. 2)
Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '89)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in computer science ; 351 . 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.) ; v. 1)
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.)
v. 1 : gw - v. 2 : us. - Berlin ; Tokyo : Springer-Verlag , c1991. - (Lecture notes in computer science ; 551, 552)
The unified modeling language reference manual / James Rumbaugh, Ivar Jacobson, Grady Booch
2nd ed. - Boston : Addison-Wesley , 2005. - (The Addison-Wesley object technology series / Grady Booch, Ivan Jacobson, James Rumbaugh)
SPLC / sponsored by Software Engineering Institute ... [et al.]
2006 (10th) - 2008 (12th). - Los Alamitos, Calif. : IEEE Computer Society , c2006-
Application development trends
[Chatsworth, Calif.] : 101 communications
雑誌
Software process technology : Third European Workshop, EWSPT '94, Villard de Lans, France, February 7-9, 1994 : proceedings / Brian C. Warboys, (ed.)
: us,: gw. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 772)
The Java developers guide to Eclipse / Sherry Shavor ... [et al.]
Boston : Addison-Wesley , c2003
Official Eclipse 3.0 FAQS / John Arthorne, Chris Laffra
Boston, MA : Addison-Wesley , 2004. - (The eclipse series)
Algebraic methods : theory, tools and applications / M. Wirsing, J.A. Bergstra, eds
[1] : gw - 2 : us. - Berlin ; Tokyo : Springer-Verlag , c1989-c1991. - (Lecture notes in computer science ; 394, 490)
Models and tools for managing development processes / Bernhard Westfechtel
Berlin ; Tokyo : Springer , c1999. - (Lecture notes in computer science ; 1646)
Development and evolution of software architectures for product families : Second international ESPRIT ARES Workshop, Las Palmas de Gran Canaria, Spain, February 26-27, 1998 : proceedings / Frank van der Linden (ed.)
: gw. - Berlin : Springer-Verlag , c1998. - (Lecture notes in computer science ; 1429)
VDM '88 : VDM--the way ahead : 2nd VDM-Europe Symposium, Dublin, Ireland, September, 11-16, 1988 : proceedings / R. Bloomfield, L. Marshall, R. Jones (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 328)
VDM '87 : VDM, a formal method at work : VDM-Europe symposium 1987, Brussels, Belgium, March 23-26, 1987 : proceedings / edited by D. Bjørner ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 252)
Object-oriented software construction / Bertrand Meyer
2nd ed. - Upper Saddle River, NJ : Prentice Hall , c1997
Formal methods and software development : Colloquium on Software Engineering (CSE) / edited by Hartmut Ehrig ... [et al.]
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , 1985. - (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)
UML 2 toolkit / Hans-Erik Eriksson ... [et al.]
Indianapolis, Ind. : Wiley Pub. , c2004
Eclipse cookbook / Steven Holzner
Beijing : O'Reilly , c2004. - Cambridge
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 requirements & specifications : a lexicon of practice, principles, and prejudices / Michael Jackson
New York : ACM Press , c1995. - Wokingham, England : Addison-Wesley Pub. Co.. - Reading, Mass.
Prototyping-oriented software development : concepts and tools / W. Bischofberger, G. Pomberger
New York : Springer-Verlag , c1992. - Berlin. - (Texts and monographs in computer science)
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)
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)
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
Contributing to Eclipse : principles, patterns, and plug-ins / Erich Gamma, Kent Beck
Boston : Addison-Wesley , 2003, c2004. - Boston : Pearson Education. - (The eclipse series)
CASE : using software development tools / Alan S. Fisher
New York : Wiley , c1988
AntiPatterns : refactoring software, architectures, and projects in crisis / William J. Brown ... [et al.]
New York : Wiley , c1998
Design - build - run : applied practices and principles for production-ready software development / Dave Ingram
pbk.. - Indianapolis, IN : Wiley , c2009. - (Programmer to programmer)
MetaSoft primer : towards a metalanguage for applied denotational semantics / Andrzej Blikle
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1987. - (Lecture notes in computer science ; 288)
Semantic integration of heterogeneous software specifications / Martin Groβe-Rhode
New York : Springer-Verlag , 2004. - (Monographs in theoretical computer science)
Computer graphics software construction : using the Pascal language / John R. Rankin ; with the assistance of Anita Mackiewicz
New York : Prentice-Hall , c1989. - (Prentice Hall advances in computer science series)
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)
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)
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)
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)
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)
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)
Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers / David Alex Lamb, (ed.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1078)
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 / Marie-Claude Gaudel, James Woodcock, (eds.)
Berlin : Springer-Verlag , c1996. - New York. - (Lecture notes in computer science ; 1051)
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)
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)
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 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)
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)