메뉴 건너뛰기




Volumn 80, Issue 5, 2007, Pages 736-749

Serfs: Dynamically-bound parameterized components

Author keywords

Component oriented software; Design patterns; Dynamic reconfiguration; Parameterization; Software design

Indexed keywords

ADA (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; CONSTRAINT THEORY; DECISION MAKING; PARAMETER ESTIMATION; SOFTWARE DESIGN;

EID: 33847638058     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2006.07.024     Document Type: Article
Times cited : (1)

References (32)
  • 2
    • 0005341535 scopus 로고
    • Addison-Wesley Longman Publishing Co., Inc.
    • Barnes J.G.P. Programming ADA (1989), Addison-Wesley Longman Publishing Co., Inc.
    • (1989) Programming ADA
    • Barnes, J.G.P.1
  • 8
    • 0021500605 scopus 로고
    • Parameterized programming
    • Goguen J. Parameterized programming. IEEE TSE SE 10 5 (1984) 528-543
    • (1984) IEEE TSE SE , vol.10 , Issue.5 , pp. 528-543
    • Goguen, J.1
  • 11
    • 33847620579 scopus 로고    scopus 로고
    • Hejlsberg, A., 2003. Visual C# "Whidbey": language enhancements. Presentation at Microsoft Professional Developers Conference 2003, October, 2003.
  • 13
    • 0002708070 scopus 로고
    • Distributed computing: models and methods
    • van Leeuwen J. (Ed), Elsevier Science Publishers (Chapter 18)
    • Lamport L., and Lynch N. Distributed computing: models and methods. In: van Leeuwen J. (Ed). Handbook of Theoretical Computer Science vol. B (1990), Elsevier Science Publishers 1157-1199 (Chapter 18)
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 1157-1199
    • Lamport, L.1    Lynch, N.2
  • 14
    • 0004215089 scopus 로고    scopus 로고
    • Morgan Kaufman Publishers, San Francisco, CA
    • Lynch N. Distributed Algorithms (1996), Morgan Kaufman Publishers, San Francisco, CA
    • (1996) Distributed Algorithms
    • Lynch, N.1
  • 19
    • 0015482049 scopus 로고
    • On the criteria to be used in decomposing systems into modules
    • Parnas D.L. On the criteria to be used in decomposing systems into modules. Communications of the ACM 15 12 (1972) 1053-1058
    • (1972) Communications of the ACM , vol.15 , Issue.12 , pp. 1053-1058
    • Parnas, D.L.1
  • 24
    • 0001849803 scopus 로고
    • Component-based software using RESOLVE
    • Sitaraman M., and Weide B. Component-based software using RESOLVE. Software Engineering Notes 19 4 (1994) 21-22
    • (1994) Software Engineering Notes , vol.19 , Issue.4 , pp. 21-22
    • Sitaraman, M.1    Weide, B.2
  • 26
    • 33847673021 scopus 로고    scopus 로고
    • Sridhar, N., Weide, B.W., 2003. Reasoning about parameterized components with dynamic binding. In: Proceedings of the Workshop on Specification and Verification of Component-Based Systems at ESEC/FSE 2003, Helsinki, Finland, pp. 92-95.
  • 27
    • 0038305251 scopus 로고    scopus 로고
    • Sridhar, N., Pike, S.M., Weide, B.W., 2003. Dynamic module replacement in distributed protocols. In: Proceedings of the 23rd International Conference on Distributed Computing Systems.
  • 29
    • 33847690567 scopus 로고    scopus 로고
    • Szyperski, C., 1999. Components and objects together, Software Development 7 (5).
  • 30
    • 33847655021 scopus 로고    scopus 로고
    • Tardo, J.J., 1981. The Design, Specification, and Implementation of OBJ-T: A Language for Writing and Testing Abstract Algebraic Program Specifications. Ph.D. thesis, Department of Computer Science, University of California, Los Angeles.
  • 31
    • 0024016255 scopus 로고
    • Delaying commitment
    • Thimbleby H. Delaying commitment. IEEE Software 5 3 (1988) 78-86
    • (1988) IEEE Software , vol.5 , Issue.3 , pp. 78-86
    • Thimbleby, H.1


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