♫ဨ⟶⌮䝅䝇䝔䝮DF
KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/♫ဨ䝸䝇䝖ฟຊ♫ဨ• ᨻᗓ᝟ሗ䝅䝇䝔䝮䛾ᩚഛཬ䜃⟶⌮䛻㛵䛩䜛ᶆ‽䜺䜲䝗䝷䜲䞁㻔㻞㻜㻝㻡ᖺ㻕– 䝕䞊䝍䛾ฟධ䜚䜢క䛖ฎ⌮♫ဨⓏ㘓
TF• 䝖䝷䞁䝄䜽䝅䝵䞁䝣䜯䞁䜽䝅䝵䞁㻔㼀㻲㻕– 䝕䞊䝍䛾䜎䛸䜎䜚㻔౛㻦䝕䞊䝍䝧䞊䝇䝔䞊䝤䝹㻕䝴䞊䝄どⅬ䛷䝋䝣䝖䜴䜵䜰䛾ྛᶵ⬟䜢ᢳฟ䞉ศ㢮䛧䠈䛭䜜䛮䜜䛻Ⅼᩘ䜢䛴䛡䜛䛣䛸䛷つᶍ䜢⟬ฟ䛩䜛ᡭἲ• 䝕䞊䝍䝣䜯䞁䜽䝅䝵䞁㻔㻰㻲㻕㻵㻲㻼㼁㻳ἲ♫ဨ᳨⣴

KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo CoComputeromputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/

KUSUMOTOO LALABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/• ᪤Ꮡ◊✲• ᮏ◊✲䛷⾜䛳䛯㻿㻸㻾• 䜎䛸䜑䛸௒ᚋ䛾ㄢ㢟– 㻝㻥㻣㻥ᖺ㻭㻚㻶㻚㻭㼘㼎㼞㼑㼏㼔㼠䛻䜘䛳䛶ᥦ᱌– ᵝ䚻䛺ὴ⏕ᡭἲ䛜Ꮡᅾ㻔㻵㻲㻼㼁㻳䠈㻯㻻㻿㻹㻵㻯㻕– බⓗ䛻㔜せど• 䝣䜯䞁䜽䝅䝵䞁䝫䜲䞁䝖㻔㻲㻼㻕䜢⏝䛔䛯つᶍぢ✚䜒䜚• ᐇ⿦᪉ἲ䛻䜘䛳䛶⾜ᩘ䛻䜀䜙䛴䛝䛜⏕䛨䜛• ᰿ᣐ䛜⾜ᩘ䛾䜏䛷䛒䜚ᐈほᛶ䛜ప䛔• 䝁䞊䝗䛾ὶ⏝➼䜢⾜䛳䛯㝿䠈㛤Ⓨつᶍ䛾ィ 䛜ᅔ㞴䛸䛺䜛– 㛤ⓎつᶍÆᕤᩘÆண⟬– つᶍ䛾ᑻᗘ䈈䝋䞊䝇䝁䞊䝗䛾⾜ᩘ㻔㻸㻻㻯㻕• 䝋䝣䝖䜴䜵䜰㛤Ⓨ䝥䝻䝆䜵䜽䝖䛾ぢ✚䜒䜚◊✲䛾⫼ᬒKUSUMOTOO LABORATORYY - Software Design Laboratory
DepartmentDepartmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/኱㜰኱Ꮫ ኱Ꮫ㝔᝟ሗ⛉Ꮫ◊✲⛉ᒣ⏣ ᾴኴ䠈ᰃᮏ ┿భ䠈⫧ᚋ ⰾᶞ䠈ᴋᮏ ┿஧䝣䜯䞁䜽䝅䝵䞁䝫䜲䞁䝖䛻䛴䛔䛶䛾◊✲ㄽᩥ䛾⣔⤫ⓗ䝺䝡䝳䞊– 䝣䜯䞁䜽䝅䝵䞁䝫䜲䞁䝖ἲ㻔㻲㻼㻕䛻䛴䛔䛶– ⣔⤫ⓗᩥ⊩䝺䝡䝳䞊㻔㻿㻸㻾㻕䛻䛴䛔䛶• ◊✲䛾⫼ᬒ┠ḟ

DETDET
1-19 20-5077R 110E 2-5 7
T > =6 10151515>=5110KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
DepartmentDepartmen
nt ofo Co
Computeromputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/

[1] Meli, Roberto. "Functional metrics: problems and possible solutions." Proc. of theFESMA, Brussels (1998): 503-514.

40ᖺ㛫䛾FP◊✲䛾ᩚ⌮䞉ศᯒ• ၥ㢟䛻ᑐ䛧ᵝ䚻䛺◊✲䛜⾜䜟䜜䛶䛝䛯䛜䠈ከᒱ䛻Ώ䛳䛯◊✲䛾⥙⨶ⓗ䛺ᢕᥱ䛿ᅔ㞴– ᚲせ䛺᝟ሗ䛜ከ䛟ึᮇぢ✚䜒䜚䜈䛾㐺⏝䛜ᅔ㞴– ฎ⌮䛾」㞧䛥䜢⪃៖䛧䛶䛔䛺䛔• ᵝ䚻䛺ၥ㢟䛜ᣦ᦬㼇㻝㼉㻲㻼䛾ၥ㢟

KUSUMOTOO LALABORATORYABA
Y - Software Design LaboratoryDepartment
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osakakaa-u.ac.jp/• 㻰㻱㼀㻔䝕䞊䝍㡯┠䛾ᩘ㻕• 㻾㻱㼀㻔䝃䝤䜾䝹䞊䝥䛾ᩘ㻕• ✀㢮㻔᭦᪂䛥䜜䜛䛛ྰ䛛㻕㻰㻲䛾ィ せ⣲4

R > =3

♫ဨⓏ㘓

DET6

66

4>=16


KUSUMOTOO LALABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/– ㄪᰝᮇ㛫䠖㻝㻥㻣㻥ᖺ䡚㻞㻜㻝㻤ᖺ• ᡭẁ䠖⣔⤫ⓗ䝺䝡䝳䞊㻝㻚 ௒᪥䜎䛷䛾㻲㻼ἲ䛾◊✲ືྥ䛾ㄪᰝ㻞㻚 ◊✲ᡂᯝ䛾ᩚ⌮㻟㻚 ௒ᚋ䛾ㄢ㢟䛾≉ᐃ• ┠ⓗ䠖ᮏ◊✲䛾┠ⓗKUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/

43FTR31-4 5-15
3DET• 㻰㻱㼀㻔ධฟຊ㡯┠䛾ᩘ㻕᭦᪂
TF• 㻲㼀㻾㻔ཧ↷䛩䜛㻰㻲䛾ᩘ㻕
F 0-1• ✀㢮㻔᭦᪂䛛↷఍䛛ฟຊ䛛㻕 T 2

㼀㻲䛾ィ せ⣲

KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computeromputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/

[4] Budgen, David, and Pearl Brereton. "Performing systematic literature reviews in software engineering." Proceedings ofthe 28th international conference on Software engineering. ACM(2006).

• ᪤Ꮡ䛾◊✲ᡂᯝ䛾ᩚ⌮䛸せ⣙• ௒ᚋ䛾ㄢ㢟䛾≉ᐃ• ᪂䛯䛺◊✲䛾఩⨨䛵䛡䛾ᨭ᥼㻿㻸㻾䛾฼Ⅼ㼇㻠㼉

KUSUMOTOO LALABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computeromputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/

[3]⏿⚽᫂, Ỉ㔝ಟ, ⳥㔝஽. "୙ලྜண 䛻㛵䛩䜛䝯䝖䝸䜽䝇䛻䛴䛔䛶䛾◊✲ㄽᩥ䛾⣔⤫ⓗ䝺䝡䝳䞊.“ 䝁䞁䝢䝳䞊䝍 䝋䝣䝖䜴䜵䜰 29.1 (2012): 1_106-1_117.

[2] Ilyas, Bilal, and Islam Elkhalifa. "Static Code Analysis: A Systematic Literature
Review and an Industrial Survey." (2016).

[1] Kitchenham, Barbara. "Procedures for performing systematic reviews." Keele, UK,Keele University 33.2004 (2004): 1-26.

– ≉ᐃ䛾㻾㻽䛻㛵䛧䛶䠈ᩘከ䛟䛾◊✲䜢⥙⨶ⓗ䛻෌⌧ᛶ䛾䛒䜛᪉ἲ䛻ᚑ䛳䛶㞟䜑䠈䛭䛾᫬Ⅼ䛻䛚䛡䜛⤖ᯝ䛾䜎䛸䜑䜢⾜䛳䛯䜒䛾– 䝁䞊䝗ศᯒ䜔୙ලྜண 䛺䛹ᵝ䚻䛺ศ㔝䛷ᐇ⾜䛥䜜䛶䛔䜛㼇㻞㼉㼇㻟㼉⥙⨶ⓗ䛷෌⌧ᛶ䛾䛒䜛ᩥ⊩ㄪᰝ䜢⾜䛖ᡭἲ㼇㻝㼉⣔⤫ⓗ䝺䝡䝳䞊㻔㻿㼥㼟㼠㼑㼙㼍㼠㼕㼏㻌㻸㼕㼠㼑㼞㼍㼠㼡㼞㼑㻌㻾㼑㼢㼕㼑㼣㻕䝹䞊䝹䛻㛵䜟䜛ၥ㢟䛾䜏KUSUMOTOO LALABORATORYABAY - Software Design Laboratory
Department
Departmen
nt ofo Co
Computeromputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osakakaa-u.ac.jp/

[6] de Freitas Junior, Marcos, Marcelo Fantinato, and Violeta Sun. "Improvements to the function point analysis method:
A systematic literature review." IEEE Transactions on Engineering Management 62.4 (2015): 495-506.

[5]Ụᕝ⩧ኴ. "ぢ✚䜒䜚◊✲䛻䛚䛡䜛እⓗጇᙜᛶ䛾ㄪᰝ䜢┠ⓗ䛸䛧䛯⣔⤫ⓗ䝺䝡䝳䞊䛸㏣ヨ." ಟኈᏛ఩ㄽᩥ, ኱㜰኱Ꮫ(2016).

• ᮇ㛫䠖㻝㻞ᖺ䠈ᑐ㇟ᮏᩘ䠖㻝㻤ᮏᑐ㇟䛜ᑡ䛺䛔• ᑐ㇟䠖ィ– 㻲㻼䛾ၥ㢟Ⅼ䛸ᨵၿ᱌䛾ᩚ⌮䞉ศᯒᑐ㇟䛸䛥䜜䛯㻲㻼䛾ၥ㢟Ⅼ䛜㝈ᐃⓗ• 㻲㻼䛾ᨵၿⅬ䛻㛵䛩䜛㻿㻸㻾㼇㻢㼉– 㻤㻥㻌ᮏ୰㻞㻢㻌ᮏ䛜ጇᙜᛶ䛻䛴䛔䛶㆟ㄽ䜢⾜䜟䛪• ぢ✚䜒䜚◊✲䛻䛚䛡䜛እⓗጇᙜᛶ䛾ㄪᰝ䜢┠ⓗ䛸䛧䛯㻿㻸㻾㼇㻡㼉㻲㻼䛻㛵㐃䛩䜛᪤Ꮡ䛾㻿㻸㻾

KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osakakaa-u.ac.jp/㻟㻚 ᝟ሗ䛾ᢳฟ㻠㻚 ⤖ㄽ䛾ᑟฟ㻝㻚 ◊✲ㄽᩥ䛾཰㞟㻞㻚 㐺᱁ᇶ‽㻘㻌㝖እᇶ‽䛾㐺⏝㻟㻚 ◊✲䛾㉁䛾ホ౯㻝㻚 㻾㼑㼟㼑㼍㼞㼏㼔㻌㻽㼡㼑㼟㼠㼕㼛㼚䛾タᐃ㻞㻚 ㄪᰝᑐ㇟䛾㑅ᢥ㻿㻸㻾䛾ᡭ㡰

[8] https://www.scimagojr.com/

KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computeromputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/

[7] http://portal.core.edu.au/conf-ranks/– 㻯㻻㻾㻱㻌㼞㼍㼚㼗㻌㻭௨ୖ䛾఍㆟䞉䝆䝱䞊䝘䝹㼇㻣㼉– 㻴㻌㼕㼚㼐㼑㼤㻌㻤㻜௨ୖ䛾఍㆟䞉䝆䝱䞊䝘䝹㼇㻤㼉㻟㻚 ฟ඾ඖ䜢⏝䛔䛯ㄽᩥ䛾㉁䛾ホ౯ 㻔㻣㻠ᮏ㻕㻝㻚 㔜」䛾๐㝖㻔㻤㻣㻠ᮏ㻕㻞㻚 ↓㛵ಀ䛺ㄽᩥ㻔་⒪ศ㔝䛺䛹㻕䛾㝖እ㻔㻡㻜㻝ᮏ㻕㻞㻚 㐺᱁ᇶ‽㻘㻌㝖እᇶ‽䛾㐺⏝– ᮇ㛫䠖㻝㻥㻣㻥ᖺ䡚㻞㻜㻝㻤ᖺ– ᳨⣴䝽䞊䝗䠖㼒㼡㼚㼏㼠㼕㼛㼚㻌㼜㼛㼕㼚㼠• 㻳㼛㼛㼓㼘㼑㻌㻿㼏㼔㼛㼘㼍㼞㻘㻌㻵㻱㻱㻱㻘㻌㻿㼜㼞㼕㼚㼓㼑㼞㻘㻌㻿㼏㼕㼑㼚㼏㼑㻌㻰㼕㼞㼑㼏㼠㻘㻌㻭㻯㻹– ᑐ㇟䠖㻡䛴䛾᭩ㄅ䝕䞊䝍䝧䞊䝇㻝㻚 ᭩ㄅ䝕䞊䝍䝧䞊䝇䜢⏝䛔䛯᳨⣴㻔㻝㻜㻝㻢ᮏ㻕㻞㻚ㄪᰝᑐ㇟䛾㑅ᢥ

KUSUMOTOO LALABORATORYABAY - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osakakaa-u.ac.jp/– ㄪᰝᮇ㛫䠖㻝㻥㻣㻥ᖺ䡚㻞㻜㻝㻤ᖺ• ᡭẁ䠖⣔⤫ⓗ䝺䝡䝳䞊㻝㻚 ௒᪥䜎䛷䛾㻲㻼ἲ䛾◊✲ືྥ䛾ㄪᰝ㻞㻚 ◊✲ᡂᯝ䛾ᩚ⌮㻟㻚 ௒ᚋ䛾ㄢ㢟䛾≉ᐃ• ┠ⓗ䠖ᮏ◊✲䛾┠ⓗ
KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/– ◊✲ෆᐜ䛾ᩚ⌮– ㄽᩥᩘ䛾᥎⛣㻟㻚 ྛ䝖䝢䝑䜽䛤䛸䛻◊✲ືྥ䜢ศᯒ– ྛ◊✲䛾┠ⓗ䜢ඖ䛻㻢䛴䛾䝖䝢䝑䜽䜢⪃᱌䛧ศ㢮㻞㻚 ᢳฟ䛧䛯᝟ሗ䜢ඖ䛻䜾䝹䞊䝢䞁䜾– ◊✲⫼ᬒ䠈┠ⓗ䠈ᡭἲ䠈⤖ᯝ䠈⤖ㄽ㻝㻚 㻣㻠ᮏ䛾ㄽᩥ䛛䜙௨ୗ䛾᝟ሗ䜢ᢳฟ㻟㻚᝟ሗ䛾ᢳฟ㻔ᴫせ㻕

KUSUMOTOO LALABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osakakaa-u.ac.jp/

㻲㻼◊✲䛻䛚䛡䜛௒ᚋ䛾◊✲ㄢ㢟䛿ఱ䛛㻾㻽㻟㻦㻲㻼◊✲䛾◊✲ືྥ䛿䛹䛾䜘䛖䛺䜒䛾䛛㻾㻽㻞㻦㻲㻼◊✲䛻䛿䛹䛾䜘䛖䛺䝖䝢䝑䜽䛜Ꮡᅾ䛩䜛䛛㻾㻽㻝㻦㻝㻚㻌㻾㼑㼟㼑㼍㼞㼏㼔㻌㻽㼡㼑㼟㼠㼕㼛㼚䛾タᐃFPἲྠኈ䛾ኚ᥮䛸SLR䛭䛾௚
626

913

149ᮏᩘ䛾ᡭ㛫䛾๐ῶ

38

KUSUMOTOO LALABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/UML䝋䞊䝇䝁䞊䝗⮬↛ゝㄒ䝣䜷䞊䝬䝑䝖䜈䛾せ௳ධຊ• 㻲㻼䛾ά⏝䛻䛿㐣ཤ䝥䝻䝆䜵䜽䝖䛾㻲㻼䛜ᚲせ• ௙ᵝ᭩䛜䛺䛟䝋䞊䝇䝁䞊䝗䛧䛛11ṧ䛳䛶䛔䛺䛔ሙྜ䛜Ꮡᅾ– 䝋䞊䝇䝁䞊䝗䛛䜙䛾⮬ືィ•ィ– 㼁㻹㻸䜔⮬↛ゝㄒ䛷グ㏙䛥䜜䛯௙ᵝ䛛䜙䛾ィ• 㻲㻼䛾ィ ⿵ຓ䛾䛯䜑䛾ィ 䝒䞊䝹䛾ᥦ᱌ィ ⿵ຓ㻔㻝㻟ᮏ㻛㻣㻠ᮏ㻕

KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osakakaa-u.ac.jp/FPἲྠኈ䛾ẚ㍑䜔FP䛾฼Ⅼ䛾ホ౯ホ౯UML䜔䝋䞊䝇䝁䞊䝗䛛䜙䛾⮬ືィ㠀䜴䜷䞊䝍䞊䝣䜷䞊䝹ᆺ㛤Ⓨ➼䜈䛾㐺⏝⿵ຓせ⣲䛾᫝ṇ㐺⏝ィෆᐜFP䜢⏝䛔䛯ᕤᩘᑟฟ䜔⏕⏘ᛶ䛾ホ౯䝹䞊䝹ኚ᭦ 㔜䜏䛵䛡䜔ィά⏝䝖䝢䝑䜽

18
16
14
12
10
8
6
4
20䛭䛾௚ホ౯䝹䞊䝹ኚ᭦㐺⏝ィ ⿵ຓά⏝
KUSUMOTOO LALABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osakakaa-u.ac.jp/– 㻝㻥㻥㻣ᖺ䈈㼁㻹㻸㻝㻚㻝– 㻞㻜㻜㻟ᖺ䈈㼄㻹㻵㻌㻞㻚㻜• 㻝㻥㻥㻥ᖺ௨㝆ቑຍ䈈㼁㻹㻸䛾Ⓩሙ

䡚1983 䡚1988 䡚1993 䡚1998 䡚2003 䡚2008 䡚2013 䡚2018ά⏝ィ ⿵ຓ㐺⏝䝹䞊䝹ኚ᭦ホ౯䛭䛾௚KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/◊✲ືྥ㻔ィ ⿵ຓ㻕

02468

101214

䡚1983 䡚1988 䡚1993 䡚1998 䡚2003 䡚2008 䡚2013 䡚201818

㻾㻽㻝㻦㻲㻼◊✲䛻䛿䛹䛾䜘䛖䛺䝖䝢䝑䜽䛜Ꮡᅾ䛩䜛䛛16㻾㻽㻞㻚◊✲ືྥ㻾㻽㻝䜈䛾ᅇ⟅

1

1

1

2

123



KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
DepartmentDepartmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osakakaa-u.ac.jp/• 䛂ධධຊ䛃䛻ಀ䜛༢ㄒ䈈ධຊ㡯┠• 䛂Ⓩ㘓䛃䛻ಀ䜛༢ㄒ䈈ฎ⌮䛻㛵䜟䜛㻰㻲せ⣲䛸䛺䜛᝟ሗ䜢ᢳฟẶྡ䛸ᖺ㱋䛸㒊⨫䛸ᙺ⫋䜢ධຊ䛧䠈♫ဨ᝟ሗ䛻Ⓩ㘓䛩䜛䚹– ゝㄒゎᯒ䛻䜘䜚ᩥ❶䛛䜙ィ– ౛㻕♫ဨⓏ㘓ฎ⌮䛾ሙྜ• ⮬↛ゝㄒ䛷グ㏙䛥䜜䛯௙ᵝ䛛䜙䛾㻲㻼⮬ືィ– 㼁㻹㻸䛛䜙䛾ィ 䈈௙ᵝ䜢ᅗ䜈ኚ᥮䛩䜛ᚲせ– ⮬↛ゝㄒ䛛䜙䛾ィ 䈈䝔䞁䝥䝺䞊䝖䛛䜙䛾ᡭືィ• ⌧≧䛾ၥ㢟㻾㻽㻟㻦௒ᚋ䛾◊✲ㄢ㢟㻔ィ ⿵ຓ㻕

KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,ScGraduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/䜴䜵䝤䜰䝥䝸䜿䞊䝅䝵䞁䝕䞊䝍䝬䞊䝖䝅䝇䝔䝮⛉Ꮫⓗ⤌䜏㎸䜏䝋䝣䝖䜴䜵䜰ಖᏲ䝸䜰䝹䝍䜲䝮㠀䜴䜷䞊䝍䞊䝣䜷䞊䝹ᆺ㛤Ⓨ• 㻲㻼䜢㐺⏝䛧㎞䛔䝅䝇䝔䝮䜔㛤Ⓨᡭἲ䜈䛾ィ 䜺䜲䝗䝷䜲䞁䛾ᥦ᱌㐺⏝㻔㻥ᮏ㻛㻣㻠ᮏ㻕ά⏝ィ ⿵ຓ㐺⏝䝹䞊䝹ኚ᭦ホ౯䛭䛾௚KUSUMOTOO LALABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/– 㻝㻥㻥㻥ᖺ䈈䜰䝆䝱䜲䝹㛤ⓎⓏሙ• 㻞㻜㻜㻠ᖺ௨㝆ቑຍ䈈㛤Ⓨᡭἲ䛾ከᵝ໬䡚1983 䡚1988 䡚1993 䡚1998 䡚2003 䡚2008 䡚2013 䡚2018ィ䝰䝕䝹ᕤᩘ[9]䝅䝇䝔䝮ཬ䜃䝋䝣䝖䜴䜵䜰〇ရ䛾ရ㉁せồཬ䜃ホ౯䠄SQuaRE䠅−䝅䝇䝔䝮ཬ䜃䝋䝣䝖䜴䜵䜰ရ㉁䝰䝕䝹
KUSUMOTOO LALABORATORYABAY - Software Design Laboratory
Department
Departmen
nt ofo Co
Computeromputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/䝋䝣䝖䜴䜵䜰ရ㉁FP• 㻵㻿㻻㻛㻵㻱㻯㻌㻞㻡㻜㻝㻜㻦㻞㻜㻝㻝㼇㻥㼉䛾ಖᏲᛶ䜢ཧ⪃䛻ᇶ‽䜢タᐃ• ኚ᭦䛥䜜䜛䝋䝣䝖䜴䜵䜰䛾ရ㉁䜢⪃៖䛻㏣ຍ– 䝋䝣䝖䜴䜵䜰ಖᏲ䛾ᕤᩘぢ✚䜒䜚䜈䛾㻲㻼㐺⏝䛻䛴䛔䛶䛾◊✲䛿⾜䜟䜜䛶䛔䜛䛜⢭ᗘ䛜ప䛔– ಖᏲ䛻䛚䛡䜛ᕤᩘ䛻ኚ᭦䛥䜜䜛䝋䝣䝖䜴䜵䜰䛾ရ㉁䛜኱䛝䛟ᙳ㡪Æ㻲㻼䛾䜏䛷䛿ぢ✚䜒䜚䛜ᅔ㞴• ⌧≧䛾ၥ㢟㻾㻽㻟㻦௒ᚋ䛾◊✲ㄢ㢟㻔㐺⏝㻕181614121086420◊✲ືྥ㻔㐺⏝㻕



KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,
Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/䝕䞊䝍䝉䝑䝖䛾ศ㢮 ヱᙜㄽᩥᩘ
46
௻ᴗ
9
኱Ꮫ
ISBSG
72
䝅䝭䝳䝺䞊䝅䝵䞁
10䛺䛧– 䛂௻ᴗ䛾䝕䞊䝍䝉䝑䝖䜢⏝䛔䛶䛔䜛䛛䛃➼䜢ホ౯䛩䜛஦䛻䜘䛳䛶⌧ሙ䛷䛾㐺⏝ྍ⬟ᛶ䜢ホ౯• 㻾㻽㻠㻚◊✲ᡂᯝ䛿⌧ሙ䛻㐺⏝ྍ⬟䛛

㻾㻽䛾㏣ຍ㻔㻝㻛㻞㻕

KUSUMOTOO LA
LABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osakakaa-u.ac.jp/– ⮬↛ゝㄒ䛷グ㏙䛥䜜䛯௙ᵝ᭩䛛䜙䛾㻲㻼ィ– 䝋䝣䝖䜴䜵䜰ಖᏲ䜈䛾㻲㻼䛾㐺⏝• ௒ᚋ䛾◊✲ㄢ㢟䜢≉ᐃ– 㻠㻜ᖺ㛫䛻⾜䜟䜜䛯◊✲䛛䜙㻣㻠ᮏ䛾ㄽᩥ䜢㑅ᢥ– ◊✲䜢㻢䛴䛾䝖䝢䝑䜽䛻ศ㢮– ྛ䝖䝢䝑䜽䛤䛸䛻◊✲⤖ᯝ䜢ᩚ⌮䛧ືྥ䜢ศᯒ• 㐣ཤ㻠㻜ᖺ㛫䛾㻲㻼䛻㛵䛩䜛◊✲䜢ᩚ⌮䞉ศᯒ䜎䛸䜑


KUSUMOTOO LALABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/ศ䛛䜚䜔䛩䛔ᩍᮦ䛜ᑡ䛺䛔⏕⏘ᛶホ౯䝰䝕䝹䛜☜❧䛥䜜䛶䛔䛺䛔⌧ሙ䛾䝙䞊䝈(୍౛)
FP䛾ᬑཬ䛜୙༑ศ• ௒ᚋ䛾ㄢ㢟䛾㏣ຍ㻔㻾㻽㻟䛾᭦᪂㻕– ⌧ሙ䛾䝙䞊䝈䛻ᑐᛂ䛩䜛◊✲ᡂᯝ䛾ᩚ⌮– 䝙䞊䝈䛜䛒䜛䛾䛻◊✲䛜⾜䜟䜜䛶䛔䛺䛔ศ㔝䛾≉ᐃ• 㻾㻽㻡㻚⌧ሙ䛾䝙䞊䝈䛸◊✲䛻䜼䝱䝑䝥䛿䛒䜛䛛

㻾㻽䛾㏣ຍ㻔㻞㻛㻞㻕

KUSUMOTOO LALABORATORYABA
Y - Software Design Laboratory
Department
Departmen
nt ofo Co
Computer
omputerr Scie
SScience,Sc
Graduate School of Info
Informationn Science andd Technology, Osakaa University. http://sdl.ist.osaka
kaa-u.ac.jp/⌧ሙ䛷䛾㐺⏝䛻㛵䛩䜛RQ䛾㏣ຍ– ◊✲ᡂᯝ䛜⌧ሙ䛷㐺⏝ྍ⬟䛛䛹䛖䛛– ⌧ሙ䛾䝙䞊䝈䛻ᑐᛂ䛧䛯◊✲ᡂᯝ䛾ᩚ⌮• 㻲㻼䛿⌧ሙ䛷ά⏝䛥䜜䜛ᢏ⾡Æ⌧ሙ䛷䛾㐺⏝䛻䛴䛔䛶䛾᝟ሗ䛜᭷⏝㏣ຍ䛷ᐇ᪋䛩䜛㻾㻽