메뉴 건너뛰기




Volumn 2581, Issue , 2003, Pages 89-104

Towards an emergence-driven software process for agent-based simulation

Author keywords

[No Author keywords available]

Indexed keywords

AUTONOMOUS AGENTS; COMPUTATIONAL METHODS; COMPUTER SOFTWARE; MULTI AGENT SYSTEMS; SOFTWARE ENGINEERING; SPECIFICATIONS; SYSTEMS ANALYSIS; VERIFICATION; ARTIFICIAL INTELLIGENCE; COMPUTATION THEORY; COMPUTER SIMULATION;

EID: 7044224300     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36483-8_7     Document Type: Conference Paper
Times cited : (12)

References (27)
  • 1
    • 0003098304 scopus 로고    scopus 로고
    • On Emergence and Explanation
    • Baas N.A. and Emmenche C. (1997). On Emergence and Explanation. In: Intellectica, 25, pp.67–83.
    • (1997) Intellectica , vol.25 , pp. 67-83
    • Baas, N.A.1    Emmenche, C.2
  • 2
    • 0001292786 scopus 로고
    • Emergence and Artificial Life
    • Addison Wesley
    • Cariani P. (1991). Emergence and Artificial Life. In: Artificial Life 2, Addison Wesley, pp.775–797.
    • (1991) Artificial Life , vol.2 , pp. 775-797
    • Cariani, P.1
  • 6
    • 84937289972 scopus 로고
    • DEPNET: How to benefit from social dependence
    • Conte R. and Sichman J.S. (1995). DEPNET: How to benefit from social dependence, In: Journal of Mathematical Sociology, 20(2–3), 161–177.
    • (1995) Journal of Mathematical Sociology , vol.20 , Issue.2-3 , pp. 161-177
    • Conte, R.1    Sichman, J.S.2
  • 7
    • 84959318333 scopus 로고    scopus 로고
    • Compositional Verification of Knowledge-Based Systems: A Case Study for Diagnostic Reasoning
    • Kluwer Academic Publishers
    • Cornelissen F., Jonker C.M. and Treur J. (2001). Compositional Verification of Knowledge-Based Systems: a Case Study for Diagnostic Reasoning. In Series in Defeasible Reasoning and Uncertainty Management Systems, vol.6, Kluwer Academic Publishers, pp. 65–82.
    • (2001) Series in Defeasible Reasoning and Uncertainty Management Systems , vol.6 , pp. 65-82
    • Cornelissen, F.1    Jonker, C.M.2    Treur, J.3
  • 8
    • 84956979550 scopus 로고
    • (2001). Agent-Based Social Simulation with Coalitions in Social Reasoning
    • Moss S. and Davidsson P., editors, Springer Verlag, LNAI, v
    • David N., Sichman J.S. and Coelho H. (2001). Agent-Based Social Simulation with Coalitions in Social Reasoning, In Moss S. and Davidsson P., editors, Multi-Agent-Based Simulation, Springer Verlag, LNAI, v.1979, pp.244–265.
    • (1979) Multi-Agent-Based Simulation , pp. 244-265
    • David, N.1    Sichman, J.S.2    Coelho, H.3
  • 9
    • 2942555124 scopus 로고    scopus 로고
    • Agent Based Social Simulation: A Computer Science View
    • Davidsson P. (2002). Agent Based Social Simulation: A Computer Science View, In JASSS, vol.5, no.1, http://jasss.soc.surrey.ac.uk/5/1/7.html.
    • (2002) In JASSS , vol.5 , Issue.1
    • Davidsson, P.1
  • 15
    • 84976661022 scopus 로고
    • Design Complexity Measurement and Testing
    • McCabe T. and Butler W. (1989). Design Complexity Measurement and Testing, In: CACM, vol.32, no.12.
    • (1989) CACM , vol.32 , Issue.12
    • McCabe, T.1    Butler, W.2
  • 16
    • 84939741505 scopus 로고
    • Cleanroom software engineering
    • Mills D., Dyer M. and Linger R. (1987). Cleanroom software engineering, In: IEEE Software, vol.4, no.2.
    • (1987) IEEE Software , vol.4 , Issue.2
    • Mills, D.1    Dyer, M.2    Linger, R.3
  • 17
    • 0003885424 scopus 로고
    • A Practitioner’s Approach, McGraw-Hill
    • Pressman R. (1994). Software Engineering: A Practitioner’s Approach, McGraw-Hill.
    • (1994) Software Engineering
    • Pressman, R.1
  • 18
    • 0033325132 scopus 로고    scopus 로고
    • Validation and Verification of Simulation Models
    • IEEE, Piscataway, NJ
    • Sargent R.G. (1999). Validation and Verification of Simulation Models. In: Winter Simulation Conference, IEEE, Piscataway, NJ, 39–48.
    • (1999) Winter Simulation Conference , pp. 39-48
    • Sargent, R.G.1
  • 22
    • 84933477376 scopus 로고    scopus 로고
    • DEPINT: Dependence-based coalition formation in an open multiagent scenario
    • Sichman J.S. (1998). DEPINT: Dependence-based coalition formation in an open multiagent scenario, In Journal of Artificial Societies and Social Simulation, 1 (2), http://www.soc.survey.ac.uk/JASSS/1/2/3.html.
    • (1998) In Journal of Artificial Societies and Social Simulation , vol.1 , Issue.2
    • Sichman, J.S.1
  • 24
    • 0018466858 scopus 로고
    • Social Processes and proofs of theorems and programs
    • May
    • DeMillo R., Lipton R. and Perlis A. (1979). Social Processes and proofs of theorems and programs, Communications of the ACM 22, 5 (May), 271–280.
    • (1979) Communications of the ACM , vol.22 , Issue.5 , pp. 271-280
    • Demillo, R.1    Lipton, R.2    Perlis, A.3
  • 27
    • 84957022686 scopus 로고    scopus 로고
    • Simulating Emergence and Downward Causation in Small Groups
    • Moss S. and Davidsson P., editors, Springer Verlag, LNAI, v.1979
    • Sawyer R.K. (2001). Simulating Emergence and Downward Causation in Small Groups. In Moss S. and Davidsson P., editors, Multi-Agent-Based Simulation, Springer Verlag, LNAI, v.1979, pp.49–67.
    • (2001) Multi-Agent-Based Simulation , pp. 49-67
    • Sawyer, R.K.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.