메뉴 건너뛰기




Volumn 4214 LNCS, Issue , 2006, Pages 127-144

A practical architecture-centric analysis process

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS PROCESS; ARCHITECTURAL SPECIFICATIONS; DIFFERENT ANALYSIS TECHNIQUES; DISTRIBUTED SOFTWARE; FORMAL ANALYSIS; HARDWARE SYSTEM; HUMAN LIVES; INDUSTRIAL REQUIREMENTS; INDUSTRIAL SOFTWARE DEVELOPMENT; MODEL-BASED; SYSTEM DEPENDABILITY; SYSTEM DEVELOPMENT;

EID: 77049114757     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11921998_13     Document Type: Conference Paper
Times cited : (1)

References (33)
  • 2
    • 33750574713 scopus 로고    scopus 로고
    • Formal Methods for Software Architectures, Tutorial book on Software Architectures and Formal Methods. SFM-03:SA Lectures
    • Bernardo, M., Inverardi, P.: Formal Methods for Software Architectures, Tutorial book on Software Architectures and Formal Methods. SFM-03:SA Lectures, LNCS 2804 (2003)
    • (2003) LNCS , vol.2804
    • Bernardo, M.1    Inverardi, P.2
  • 4
    • 0004025223 scopus 로고    scopus 로고
    • Software Architecture in Practice
    • second edition, Addison-Wesley Professional
    • Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, second edition. SEI Series in Software Eng. Addison-Wesley Professional (2003)
    • (2003) SEI Series in Software Eng
    • Bass, L.1    Clements, P.2    Kazman, R.3
  • 6
    • 0033892696 scopus 로고    scopus 로고
    • A Classification and Comparison Framework for Software Architecture Description Languages
    • Medvidovic, N., Taylor, R.N.: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE TSE 26(1) (2000)
    • (2000) IEEE TSE , vol.26 , Issue.1
    • Medvidovic, N.1    Taylor, R.N.2
  • 8
    • 77049106257 scopus 로고    scopus 로고
    • STRAW'03: Second Int.Workshop From Software Requirements to Architectures (May 09, 2003, Portland, Oregon, USA)
    • STRAW'03: Second Int.Workshop From Software Requirements to Architectures (May 09, 2003, Portland, Oregon, USA)
  • 11
    • 0003885423 scopus 로고    scopus 로고
    • 7th ed, Addison-Wesley Longman Publishing Co, Inc, Boston, MA, USA
    • Sommerville, I.: Software engineering (7th ed.). Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA (2004)
    • (2004) Software engineering
    • Sommerville, I.1
  • 12
    • 77049107543 scopus 로고    scopus 로고
    • Towards a Graphical Tool for Refining User to System Requirements
    • to appear in ENTCS, 2006
    • Autili, M., Pelliccione, P.: Towards a Graphical Tool for Refining User to System Requirements. In: 5th GT-VMT'06 - ETAPS'06, to appear in ENTCS. (2006)
    • 5th GT-VMT'06 - ETAPS'06
    • Autili, M.1    Pelliccione, P.2
  • 13
    • 0032667112 scopus 로고    scopus 로고
    • Patterns in property specifications for finite-state verification
    • Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE. (1999) 411-420
    • (1999) ICSE , pp. 411-420
    • Dwyer, M.B.1    Avrunin, G.S.2    Corbett, J.C.3
  • 14
    • 43249122938 scopus 로고    scopus 로고
    • PSC Project
    • PSC Project: PSC web site. http://www.di.univaq.it/psc2ba (2005)
    • (2005) PSC web site
  • 17
    • 24944496126 scopus 로고    scopus 로고
    • CHARMY Project:, univaq.it/charmy
    • CHARMY Project: Charmy Web Site. http://www.di.univaq.it/charmy (2004)
    • (2004) Charmy Web Site
  • 21
    • 24944433044 scopus 로고    scopus 로고
    • TESTOR: Deriving Test Sequences from Model-based Specifications
    • In: Proc. 8th Int. SIGSOFT Symposium on Component-based Software Engineering. May
    • Pelliccione, P., Muccini, H., Bucchiarone, A., Facchini, F.: TESTOR: Deriving Test Sequences from Model-based Specifications. (In: Proc. 8th Int. SIGSOFT Symposium on Component-based Software Engineering. May 2005. LNCS 3489) 267-282
    • (2005) LNCS , vol.3489 , pp. 267-282
    • Pelliccione, P.1    Muccini, H.2    Bucchiarone, A.3    Facchini, F.4
  • 22
    • 18244395722 scopus 로고    scopus 로고
    • Model Based Test Generation Tools
    • Technical report, AGEDIS project Downloads
    • Hartman, A.: Model Based Test Generation Tools. Technical report, AGEDIS project Downloads (2002)
    • (2002)
    • Hartman, A.1
  • 23
    • 77049120250 scopus 로고    scopus 로고
    • Improving System Dependability by Enforcing Architectural Intent
    • Work. on Architecting Depend. Systems, 2005
    • Abi-Antoun, M., Aldrich, J., Garlan, D., Schmerl, B., Nahas, N., Tseng, T.: Improving System Dependability by Enforcing Architectural Intent. In: ICSE 2005 Work. on Architecting Depend. Systems. (2005)
    • (2005) ICSE
    • Abi-Antoun, M.1    Aldrich, J.2    Garlan, D.3    Schmerl, B.4    Nahas, N.5    Tseng, T.6
  • 24
    • 77049086743 scopus 로고    scopus 로고
    • Hacklinger, F.: Java/a - taking components into java. In Proc. 13th ISCA Int. Conf. Intelligent and Adaptive Systems and Software Engineering (IASSE'04) (2004) 163-169
    • Hacklinger, F.: Java/a - taking components into java. In Proc. 13th ISCA Int. Conf. Intelligent and Adaptive Systems and Software Engineering (IASSE'04) (2004) 163-169
  • 25
    • 77049114225 scopus 로고    scopus 로고
    • ETSI EN 300 417: Transmission and Multiplexing (TM); Generic requirements of transport functionality of equipment. Eur. Telecom. Standards Institute (2001)
    • ETSI EN 300 417: Transmission and Multiplexing (TM); Generic requirements of transport functionality of equipment. Eur. Telecom. Standards Institute (2001)
  • 26
    • 77049096458 scopus 로고    scopus 로고
    • ITU-T G.783: SERIES G: Transmission Systems and Media, Digiral Systems and Networks - Digital terminal equipments - Principal characteristics of multiplexing equipment for the synchronous digital hierarchy. Int. Telecommunication Union (1997)
    • ITU-T G.783: SERIES G: Transmission Systems and Media, Digiral Systems and Networks - Digital terminal equipments - Principal characteristics of multiplexing equipment for the synchronous digital hierarchy. Int. Telecommunication Union (1997)


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