메뉴 건너뛰기




Volumn 2003-January, Issue , 2003, Pages 456-465

Selecting components: A process for context-driven evaluation

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; FORMAL SPECIFICATION; OUTSOURCING; SEMANTICS; SPECIFICATIONS;

EID: 70349747405     PISSN: 15301362     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APSEC.2003.01254401     Document Type: Conference Paper
Times cited : (4)

References (29)
  • 2
    • 84944701137 scopus 로고    scopus 로고
    • Accessed 5/6/03, from the World Wide Web
    • Component Source. "Commercial Website." Accessed 5/6/03, from the World Wide Web: http://www.componentsource.com/, 2003
    • (2003) Commercial Website
    • Component Source1
  • 4
    • 84944701139 scopus 로고    scopus 로고
    • Accessed 3/6/03, from the World Wide Web
    • Active-X. COM. "Commercial Website." Accessed 3/6/03, from the World Wide Web: http://www.active-x.com/, 2003
    • (2003) Commercial Website
    • Active-X. COM1
  • 5
    • 0032165751 scopus 로고    scopus 로고
    • Testing component-based software: A cautionary tale
    • E. Weyuker, "Testing Component-based Software: A Cautionary Tale". IEEE Software, 15(5), pp. 54-59., 1998
    • (1998) IEEE Software , vol.15 , Issue.5 , pp. 54-59
    • Weyuker, E.1
  • 7
    • 35248834992 scopus 로고    scopus 로고
    • Contextual matching of software library components
    • P. Strooper and P. Muenchaisri, editors, IEEE Computer Society Press
    • C. J. Fidge, "Contextual matching of software library components". In P. Strooper and P. Muenchaisri, editors, Asia-Pacific Software Engineering Conference, pages 297-306. IEEE Computer Society Press, 2002.
    • (2002) Asia-pacific Software Engineering Conference , pp. 297-306
    • Fidge, C.J.1
  • 9
    • 0343280003 scopus 로고    scopus 로고
    • Developing a usage-based software certification process
    • J. Voas, "Developing a Usage-Based Software Certification Process", IEEE Computer, vol. 33, pp. 32-37, 2000.
    • (2000) IEEE Computer , vol.33 , pp. 32-37
    • Voas, J.1
  • 16
    • 26544469169 scopus 로고    scopus 로고
    • Test automation using Z specifications
    • B. Buth, R. Berghammer, J. Pele-ska eds:, Workshop, Bremen, Germany. BISS Monographs, Shaker Verlag
    • H-M. Horcher, and E. Mikk "Test Automation using Z Specifications" In: B. Buth, R. Berghammer, J. Pele-ska (eds): "Tools for System Development and verification", Workshop, Bremen, Germany. BISS Monographs, Shaker Verlag, 1996.
    • (1996) Tools for System Development and verification
    • Horcher, H.-M.1    Mikk, E.2
  • 17
    • 1642585341 scopus 로고    scopus 로고
    • Accessed 27/5/02, from the World Wide Web
    • S. Burton. "Automated Testing From Z Specifications", Accessed 27/5/02, from the World Wide Web: http://citeseer.nj.nec.com/burton00automated.html, 2000
    • (2000) Automated Testing from z Specifications
    • Burton, S.1
  • 19
    • 84944701144 scopus 로고    scopus 로고
    • Accessed 20/12/01, from the World Wide Web
    • Dublin Core Metadata Initiative. "DCMI Website." Accessed 20/12/01, from the World Wide Web: http://www.dublincore.org/, 2001
    • (2001) DCMI Website
    • Dublin Core Metadata Initiative1
  • 21
    • 84944687315 scopus 로고    scopus 로고
    • web page. Accessed 6/9/03, from the World Wide Web
    • V. Maxville. "research home page", [web page]. Accessed 6/9/03, from the World Wide Web: http://www.scis.ecu.edu.au/research/PhD/vmaxvill/, 2003
    • (2003) Research Home Page
    • Maxville, V.1
  • 22
    • 84878334878 scopus 로고    scopus 로고
    • Web page. Accessed 20/12/01, from the World Wide Web
    • World Wide Web Consortium. "homepage", [Web page]. Accessed 20/12/01, from the World Wide Web: http://www.w3.org/, 2001.
    • (2001) Homepage
    • World Wide Web Consortium1
  • 25
    • 39749093168 scopus 로고
    • The magical number seven plus or minus two: Some limits on our capacity for processing information
    • G. A. Miller, "The magical number seven plus or minus two: Some limits on our capacity for processing information". Psychological Review, 63, 81-9, 1956
    • (1956) Psychological Review , vol.63 , pp. 81-89
    • Miller, G.A.1
  • 26
    • 0000669640 scopus 로고
    • Automating the generation and sequencing of test cases from model-based specifications
    • J. Dick and A. Faivre, "Automating the Generation and Sequencing of Test Cases from Model-Based Specifications", presented at FME'93: Industrial-Strength Formal Methods, 1993.
    • (1993) FME'93: Industrial-strength Formal Methods
    • Dick, J.1    Faivre, A.2


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