메뉴 건너뛰기




Volumn 95, Issue , 2004, Pages 149-168

Towards a rewriting semantics for a software architecture description language

Author keywords

Architecture description languages; Model checking; Rewriting semantics

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; CONCURRENT ENGINEERING; CONFORMAL MAPPING; LOGIC PROGRAMMING; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; TOPOLOGY;

EID: 18944402507     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.04.010     Document Type: Conference Paper
Times cited : (10)

References (18)
  • 8
    • 0029291267 scopus 로고
    • Formal specification and analysis of software architectures using the chemical abstract model
    • Inverardi P., Wolf A.L. Formal specification and analysis of software architectures using the chemical abstract model. IEEE Transactions on Software Engineering. 21:(4):April 1995;373-386
    • (1995) IEEE Transactions on Software Engineering , vol.21 , Issue.4 , pp. 373-386
    • Inverardi, P.1    Wolf, A.L.2
  • 11
    • 0029292854 scopus 로고
    • Specification and analysis of system architecture using rapide
    • Luckham D.C., et al. Specification and analysis of system architecture using rapide. IEEE Transactions on Software Engineering. 21:(4):April 1995;336-355
    • (1995) IEEE Transactions on Software Engineering , vol.21 , Issue.4 , pp. 336-355
    • Luckham, D.C.1
  • 12
    • 84934294303 scopus 로고    scopus 로고
    • Handbook of Philosophical Logic, volume 61, chapter Rewriting Logic as a Logical and Semantic Framework
    • Kluwer Academic Publishers
    • Martí-Oliet N., Meseguer J. Handbook of Philosophical Logic, volume 61, chapter Rewriting Logic as a Logical and Semantic Framework. second edition :2001;Kluwer Academic Publishers, http://maude.csl.sri.com/papers
    • (2001) Second Edition
    • Martí-Oliet, N.1    Meseguer, J.2
  • 14
    • 0027113376 scopus 로고
    • Conditional rewriting as a unified model of concurrency
    • Meseguer J. Conditional rewriting as a unified model of concurrency. Theoretical Computer Science. 96:(1):April 1992;73-155
    • (1992) Theoretical Computer Science , vol.96 , Issue.1 , pp. 73-155
    • Meseguer, J.1


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