메뉴 건너뛰기




Volumn , Issue , 2007, Pages 107-115

A valuation technology for product development options using an executable meta-modeling language

Author keywords

Algebra of systems; Meta language; Model driven software development; OPN; Real options

Indexed keywords

EXECUTABLE SPECIFICATION LANGUAGES; META LANGUAGE; MODEL TRANSFORMATION; MODEL-DRIVEN SOFTWARE DEVELOPMENT; OPN; REAL OPTIONS; RIGOROUS APPROACH; SPECIFICATION MODELS;

EID: 65649108836     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-1-84628-976-7_13     Document Type: Conference Paper
Times cited : (3)

References (11)
  • 2
    • 84947934484 scopus 로고
    • Compositional and inductive semantic definition in fixpoint, equational, constraint, closure-conditioned, rule-based and gametheoretic form
    • P. Wolper, editor LNCS 939 Springer-Verlag, July 3-5
    • P. Cousot and R. Cousot. Compositional and inductive semantic definition in fixpoint, equational, constraint, closure-conditioned, rule-based and gametheoretic form. In P. Wolper, editor, Computer Aided Verification: 7th International Conference, LNCS 939, pages 293-308. Springer-Verlag, July 3-5 1995.
    • (1995) Computer Aided Verification: 7Th International Conference , pp. 293-308
    • Cousot, P.1    Cousot, R.2
  • 6
    • 84878263366 scopus 로고    scopus 로고
    • Process algebra: A unifying approach
    • J. W. S. Aku E. Abdallah, Cliff B. Jones, editor July
    • C. A. R. Hoare. Process algebra: A unifying approach. In J. W. S. Aku E. Abdallah, Cliff B. Jones, editor, Communicating Sequential Processes, July 2005.
    • (2005) Communicating Sequential Processes
    • Hoare, C.A.R.1
  • 8
    • 28744432980 scopus 로고    scopus 로고
    • PhD thesis, Massachusetts Institute of Technology, Cambridge, MA
    • B. H. Y. Koo. A Meta-language for Systems Architecting. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, 2005.
    • (2005) A Meta-language for Systems Architecting
    • Koo, B.H.Y.1
  • 10
    • 29644431501 scopus 로고    scopus 로고
    • Architecture generation for moon-mars exploration using an executable meta-language
    • 30 August - 1 September, Long Beach, CA
    • W. L. Simmons, B. H. Y. Koo, and E. F. Crawley. Architecture generation for Moon-Mars exploration using an executable meta-language. In Proceedings of AIAA Space 2005, 30 August - 1 September, Long Beach, CA, 2005.
    • (2005) Proceedings of AIAA Space 2005
    • Simmons, W.L.1    Koo, B.H.Y.2    Crawley, E.F.3


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