메뉴 건너뛰기




Volumn 4758 LNCS, Issue , 2007, Pages 325-329

Supporting the automatic generation of proto-architectures

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; REQUIREMENTS ENGINEERING; SOFTWARE PROTOTYPING; SPECIFICATION LANGUAGES;

EID: 38149135855     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75132-8_35     Document Type: Conference Paper
Times cited : (3)

References (8)
  • 1
    • 38149013411 scopus 로고    scopus 로고
    • ModelMorf (2007), http://www.tcs-trddc.com/ModelMorf/index.htm
    • (2007)
    • ModelMorf1
  • 4
    • 84889002537 scopus 로고    scopus 로고
    • Configurable Satisfiability Propagation for Goal Models using Dynamic Compilation Techniques
    • Budapest, Hungary August 31-September 2
    • Navarro, E., Letelier, P., Reolid, D., Ramos, I.: Configurable Satisfiability Propagation for Goal Models using Dynamic Compilation Techniques. In: 15th Int. Conference on Information System Development, Budapest, Hungary (August 31-September 2, 2006)
    • (2006) 15th Int. Conference on Information System Development
    • Navarro, E.1    Letelier, P.2    Reolid, D.3    Ramos, I.4
  • 8
    • 38148999712 scopus 로고    scopus 로고
    • Query/Views/Transformations final adopted specification
    • November 5
    • QVT: MOF Query/Views/Transformations final adopted specification. OMG document ptc/05-11-01, 2005 (November 5, 2005)
    • (2005) OMG document ptc/05-11-01
    • QVT, M.O.F.1


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