devops.pptx

Similar documents
橡IPSJXPReport-1.PDF

2009/5/ UML Technology Institute Co., Ltd.

Design and Implementation of Centralized Financial Management system 厦门大学博硕士论文摘要库

SEJulyMs更新V7

日立評論2007年3月号 : ソフトウェア開発への

58.pdf

22 (266) / Web PF-Web Web Web Web / Web Web PF-Web Web Web Web CGI Web Web 1 Web PF-Web Web Perl C CGI A Pipe/Filter Architecture Based Software Gener


Emacs ML let start ::= exp (1) exp ::= (2) fn id exp (3) ::= (4) (5) ::= id (6) const (7) (exp) (8) let val id = exp in

WEBサービス超入門 mask.key

Vol.55 No (Jan. 2014) saccess 6 saccess 7 saccess 2. [3] p.33 * B (A) (B) (C) (D) (E) (F) *1 [3], [4] Web PDF a m

fiš„v8.dvi


5005-toku3.indd

2

( ) ( ) ( ) 2

NLC配布用.ppt

wpEnterpriseSvr.doc

Vol. 29 No. 2 May Wiki ML Wiki qwikweb ML foobar foobar@qwik.jp ML Wiki Wiki 1 qwikweb Wiki Wiki ML Wiki ML Wiki Wik

untitled

book-review.dvi

QCon Tokyo 2016" (Everforth)

Int Int 29 print Int fmt tostring 2 2 [19] ML ML [19] ML Emacs Standard ML M M ::= x c λx.m M M let x = M in M end (M) x c λx.

DEIM Forum 2009 B4-6, Str

MDA

2. IEC61508 ISO WD IEC6150 SIL( Safety Integrity Level ) ISO WD2626 ASIL( Automotive Safety Integrity Level ) SIL/ASIL (tolerable risk) (Residu

1_26.dvi

設計現場からの課題抽出と提言 なぜ開発は遅れるか?その解決策は?

JIS Z 9001:1998JIS Z 9002:1998 ISO/IEC 17025ISO/IEC Guide 25

, IT.,.,..,.. i

独立行政法人情報通信研究機構 Development of the Information Analysis System WISDOM KIDAWARA Yutaka NICT Knowledge Clustered Group researched and developed the infor

Visual Studio ( )

,,,,., C Java,,.,,.,., ,,.,, i

B 20 Web

IPSJ SIG Technical Report Vol.2013-CE-119 No /3/15 enpoly enpoly enpoly 1) 2) 2 C Java Bertrand Meyer [1] 1 1 if person greeting()

橡dbweb2002-sato.PDF

Testing XML Performance

2. CABAC CABAC CABAC 1 1 CABAC Figure 1 Overview of CABAC 2 DCT 2 0/ /1 CABAC [3] 3. 2 値化部 コンテキスト計算部 2 値算術符号化部 CABAC CABAC

”Лï−wŁfl‰IŠv‚æ84“ƒ/’¼”Rflü“º”q

Vol. 48 No. 3 Mar PM PM PMBOK PM PM PM PM PM A Proposal and Its Demonstration of Developing System for Project Managers through University-Indus

MDD PBL ET 9) 2) ET ET 2.2 2), 1 2 5) MDD PBL PBL MDD MDD MDD 10) MDD Executable UML 11) Executable UML MDD Executable UML

PowerPoint

2006 CMMI 4 EVM Applied EVM for under CMMI Level 4 IT Project IT

J2EEとMicrosoft.NETの比較

doc JETRO/IPA NY 1. Agile and Iterative Development: A Manager s Guide Craig Larman (agile development) (1) Larman Balancing Agility and Discip

untitled

IPSJ SIG Technical Report Vol.2009-DPS-141 No.20 Vol.2009-GN-73 No.20 Vol.2009-EIP-46 No /11/27 1. MIERUKEN 1 2 MIERUKEN MIERUKEN MIERUKEN: Spe

untitled

1 1 CodeDrummer CodeMusician CodeDrummer Fig. 1 Overview of proposal system c

S oftware engineering A gile 1 Change Vision, Inc.

XMLを基盤とするビジネスプロトコルの動向

VHDL-AMS Department of Electrical Engineering, Doshisha University, Tatara, Kyotanabe, Kyoto, Japan TOYOTA Motor Corporation, Susono, Shizuok

新製品開発プロジェクトの評価手法

untitled

API SCORM e-learning SCORM Sharable Content Object Reference ModelSCORM e-learning e-learning SCORM SCORM SCO LMS SCORM SCORM HTML XML JavaScript SCO

untitled


starc_verilog_hdl pptx

橡sit nakai-ppt

スライド 1

CX-Checker CX-Checker (1)XPath (2)DOM (3) 3 XPath CX-Checker. MISRA-C 62%(79/127) SQMlint 76%(13/17) XPath CX-Checker 3. CX-Checker 4., MISRA-C CX- Ch

日本感性工学会論文誌

オントロジ入門

XJTAG

1 3DCG [2] 3DCG CG 3DCG [3] 3DCG 3 3 API 2 3DCG 3 (1) Saito [4] (a) 1920x1080 (b) 1280x720 (c) 640x360 (d) 320x G-Buffer Decaudin[5] G-Buffer D

Danish 1 [7] Fig.2 2 Models for clinical investigator system 1 Danish Figure 1 Danish s information creation model through interactive process a) b) 2

untitled

EQUIVALENT TRANSFORMATION TECHNIQUE FOR ISLANDING DETECTION METHODS OF SYNCHRONOUS GENERATOR -REACTIVE POWER PERTURBATION METHODS USING AVR OR SVC- Ju

Tf dvi

2 2.1 NPCMJ ( (Santorini, 2010) (NPCMJ, 2016) (1) (, 2016) (1) (2) (1) ( (IP-MAT (CONJ ) (PP (NP (D ) (N )) (P )) (NP-SBJ *

スライド 1

情報処理学会研究報告 IPSJ SIG Technical Report Vol.2015-SE-187 No /3/12 Java 1,a) 1,b) 1,c) 1,d) Known Unknown Unknown Unknown 2 Known Unknown Archface-U

Microsoft PowerPoint - sfc-model-7„ö−J.ppt

guideline_1_0.dvi

Introduction Purpose This training course demonstrates the use of the High-performance Embedded Workshop (HEW), a key tool for developing software for

258 5) GPS 1 GPS 6) GPS DP 7) 8) 10) GPS GPS ) GPS Global Positioning System

& Vol.5 No (Oct. 2015) TV 1,2,a) , Augmented TV TV AR Augmented Reality 3DCG TV Estimation of TV Screen Position and Ro

ID 3) 9 4) 5) ID 2 ID 2 ID 2 Bluetooth ID 2 SRCid1 DSTid2 2 id1 id2 ID SRC DST SRC 2 2 ID 2 2 QR 6) 8) 6) QR QR QR QR

Web Basic Web SAS-2 Web SAS-2 i

Fig. 3 Flow diagram of image processing. Black rectangle in the photo indicates the processing area (128 x 32 pixels).

white paper4.doc

untitled

Shonan Institute of Technology MEMOIRS OF SHONAN INSTITUTE OF TECHNOLOGY Vol. 41, No. 1, 2007 Ships1 * ** ** ** Development of a Small-Mid Range Paral

Introduction Purpose This training course describes the configuration and session features of the High-performance Embedded Workshop (HEW), a key tool

パナソニック技報

<95DB8C9288E397C389C88A E696E6462>

IPSJ SIG Technical Report Vol.2018-SE-200 No /12/ Proposal of test description support environment for request acquisition in web appli

IPSJ SIG Technical Report Vol.2017-ARC-225 No.12 Vol.2017-SLDM-179 No.12 Vol.2017-EMB-44 No /3/9 1 1 RTOS DefensiveZone DefensiveZone MPU RTOS

finalrep.dvi

untitled

untitled

⑥宮脇論 123~229○/宮脇先生

IPSJ SIG Technical Report Vol.2014-EIP-63 No /2/21 1,a) Wi-Fi Probe Request MAC MAC Probe Request MAC A dynamic ads control based on tra

特-3.indd

T - Telecommunication and Internet Protocol Harmonization Over Networks (TIPHON); Service and Network Management Framework; Part 1: Overview and Intro

XML Tool to Check the Consistency both Software Documents Using XML and Source Programs 1 Summary. Generally, a software consists of source programs a

20 SCORM LMS Development of SCORM conformant LMS for Collaborative and Synchronous Learning

IPSJ SIG Technical Report Vol.2010-NL-199 No /11/ treebank ( ) KWIC /MeCab / Morphological and Dependency Structure Annotated Corp

はじめに

paper.pdf

Transcription:

2011/5/18 NAIST

1960 FORTRAN, LISP Flow chart C, SQL, Prolog ERM, SDL C++, Java Jackson, DFD JS, Perl XML, UML DSL, Ruby EMF 1970 1980 1990 2000 2010 IT #

1960: COBOL (The Short Range Committee, 1960)# Fortran (John W. Backus 1957)# Lisp (John McCarthy 1960)# (John von Neumann 1947)# 1970: Pascal (Niklaus Wirth 1971) C (Dennis Ritche 1973) Source:Pascal ISO 7185 sh, sed, awk (Bell Labs 1970s) SQL (IBM 1976) ML (Robin Milner 1975) Source:The GNU Awk User's Guide Prolog (Philippe Roussel 1972) Source: GNU-Prolog Manual

1970 Jackson Structured Programming (Micheal A. Jackson 1975)# # name Entity-Relationship Model (Peter Chen 1976)# Authors org Writes title Papers conf SDL: Specification and Description Language (ITU-T 1976)#. Source: Z.100 Annex E 1980: Smalltalk (Alan Kay 1980)# Smalltalk C++ (Bjarne Stroustrup 1986)# C Java (James Gosling 1989)# Java Source: Smalltalk: A White Paper Overview Source:Java Platform, Standard Edition 6 API Specification

(1980) Jackson System Development (Micheal A. Jackson 1982)# # Dataflow Diagram (Yourdon 1983) Source: Development Methods for Real-Time Systems Source: Just Enough Structured Analysis Chapter 9: Dataflow Diagrams 1990: Perl 5 (Larry Wall 1994) JavaScript (Brendan Eich 1995) Objective Caml (INRIA 1996) + + Web UI + Source: MDN DOCS JavaScript XML (Tim Bray 1998) Source: Extensible Markup Language (XML) 1.0 (Fifth Edition)

1990 OMT: Object-modeling technique (J. Rumbaugh et al. 1991)# OOSE: Object-oriented software engineering (Ivar Jacobson in 1992)# Booch method (Grady Booch 1993)# UML: Unified Modeling Language 1.1 (The UML Partners 1997)# Source: UML Notation Guide version 1.1 Design Patterns (Erich Gamma et al. 1994)# XML Schema (W3C 2001)# RDF: Resource Description Framework (W3C 1999) Data modeling languages Source: SourceMaking Design Patterns 2000: Domain Specific Languages (circa 2003)# JavaScript (ECMAScript, circa 2007)# + + Web Source: Rails Guides, Getting Started with Rails Python, Ruby# + + SPARQL (W3C 2008)# + Web Source: SPARQL Query Language for RDF

2000 Eclipse Modeling Framework (IBM 2003)# Source: EMF Tutorial, Lars Vogel # UML 2.0 (OMG 2005) Source: Dr. Dobbs Journal, Feb 2004 2010: JavaScript# Ruby# C++#

vs vs OS OS Web OS Web Web #

Waterfall model# Spiral model# Iterative and incremental development# Agile development# 1970s 1980s 1990s 2000s Waterfall model# Royce, W. W., Managing the Development of Large Software Systems: Concepts and Techniques, Proceedings of WESCON, August 1970#

Waterfall model Spiral model 1980: Waterfall model # Barry Boehm, A Spiral Model of Software Development and Enhancement, SIGSOFT Software Engineering Notes 11, No. 4, August 1986.

Iterative and incremental development Rational unified process (Rational 1998) # Source: The Rational Edge, November 2003 Agile development# Agile manifesto (2001) Rational unified process Agile development# A. Cockburn, Agile Software Development, Addison-Wesley, 2001.# XP# K. Beck, Extreme Programming Explained: Embrace Change, Addison-Wesley, 2000.# Scrum# (1986)# Pete Deemer and Gabrielle Benefield, SCRUM PRIMER: An Introduction to Agile Project Management with Scrum, available online.#

Scrum Pete Deemer and Gabrielle Benefield, SCRUM PRIMER: An Introduction to Agile Project Management with Scrum, available online, 2007. # Robert Schafer, Deeper Questions: The Metaproblem of Large Organizations Developing Complex Systems and the Limits of Process, SIGSOFT Software Engineering Notes, Volume 30 Issue 4, July 2005. A. E. Bell, Death by UML Fever, ACM Queue Vol.2, No.1, March 2004.# A. E. Bell, "UML Fever: Diagnosis and Recovery, ACM Queue, Vol.3, No.2, March 2005# J. Spolsky, Don't Let Architecture Astronauts Scare You, April 2001, available online.# CASE?#

CPI (Continuous Process Improvement) 26 Source: B. Boehm, A View of 20th and 21st Century Software Engineering, ICSE 06

Unit test: Regression test: Fuzz test: IEEE 829, IEEE 1008 M. Sutton, Fuzzing, Brute Force Vulnerability Discovery, Addison-Wesley, 2007 :, Mozilla Tinderbox (Model-based testing)# IT-Spiral I# Source: Model-Based Testing, MSDN Library

The cone of uncertainty Source: http://www.construx.com/page.aspx?cid=1648

# # # Web# DB# # # # # Cost =f(na, Nb, Nc, Nd, Ne, Nf, Ng) Days=g(Na, Nb, Nc, Nd, Ne, Nf, Ng) Cocomo II, Function Point, SEMA External inputs# # External outputs# # External queries# # Internal logical files# # External interface files#

ISO/IEC 20926 Software and systems engineering -- Software measurement -- IFPUG functional size measurement method Complexity Low Medium High External Inputs x3 x4 x6 External Outputs x4 x5 x7 External Queries x3 x4 x6 Internal Logic Files External Interface Files x4 x10 x15 x5 x7 x10 Source: Steve McConnell, Software Estimation: Demystifying the Black Art, Microsoft Press #

35 COBIT Control Objectives for Information and related Technology DS1## DS2## DS3## DS4## DS5## DS6## DS7## DS8## DS9## DS10 # DS11 # DS12 # DS13 Source: COBIT 4.1, IT http://www.isaca.org/knowledge-center/cobit/pages/downloads.aspx 36 Operation management Configuration management Performance management Physical management Data management Issue tracking Are they# measurable?# controllable?# scalable?# flexible?

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley# K. Beck, Extreme Programming Explained: Embrace Change, Addison- Wesley# XP Steve McConnell, Software Estimation: Demystifying the Black Art, Microsoft Press# -- BP Per Kroll, Bruce Mac Isaac, Agility and Discipline Made Easy: Practices from OpenUP and RUP, Addison-Wesley# 620 Rick D. Craig, Stefan P. Jaskiel, Systematic Software Testing, Artech House# BP