메뉴 건너뛰기




Volumn 1844, Issue , 2000, Pages 100-116

Framework-based applications: From incremental development to incremental reasoning

Author keywords

[No Author keywords available]

Indexed keywords

OBJECT ORIENTED PROGRAMMING; REUSABILITY;

EID: 84945265347     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-44995-9_7     Document Type: Conference Paper
Times cited : (9)

References (12)
  • 1
    • 84945317463 scopus 로고
    • The design of well-structured and correct programs
    • S. Alagic and M. Arbib. The design of well-structured and correct programs. Springer-Verlag, 1978 108
    • (1978) Springer-Verlag
    • Alagic, S.1    Arbib, M.2
  • 2
    • 0032299618 scopus 로고    scopus 로고
    • Use case maps as architectural entities for complex systems
    • R. Buhr. Use case maps as architectural entities for complex systems. IEEE Trans. on Software Eng., 24:1131–1155, 1998.115
    • (1998) IEEE Trans. On Software Eng , vol.24 , pp. 1131-1155
    • Buhr, R.1
  • 3
    • 0027664798 scopus 로고
    • A technique for documenting the framework of an object-oriented system
    • R.H. Campbell and N. Islam. A technique for documenting the framework of an object-oriented system. Computing Systems, 6:363–389, 1993.115, 116
    • (1993) Computing Systems , vol.6 , pp. 363-389
    • Campbell, R.H.1    Islam, N.2
  • 4
    • 0029537754 scopus 로고    scopus 로고
    • Forcing behavioral subtyping through specification inheritance
    • IEEE Computer Soc
    • K.K. Dhara and G.T. Leavens. Forcing behavioral subtyping through specification inheritance. In Proc. of 18th Int. Conf. on Softw. Eng., pages 258–267. IEEE Computer Soc., 1996.114
    • (1996) Proc. Of 18Th Int. Conf. On Softw. Eng , pp. 258-267
    • Dhara, K.K.1    Leavens, G.T.2
  • 5
    • 0007614321 scopus 로고    scopus 로고
    • Special issue on object oriented application frameworks
    • October
    • M.E. Fayad and D.C. Schmidt. Special issue on object oriented application frameworks. CACM, 40, October 1997.100
    • (1997) CACM , pp. 40
    • Fayad, M.E.1    Schmidt, D.C.2
  • 9
  • 10
    • 0028548263 scopus 로고
    • A behavioral notion of subtyping
    • B. Liskov and J Wing. A behavioral notion of subtyping. ACM TOPLAS, 16:1811–1841, 1994.101, 102, 114
    • (1994) ACM TOPLAS , vol.16 , pp. 1811-1841
    • Liskov, B.1    Wing, J.2
  • 11
    • 34548034595 scopus 로고    scopus 로고
    • Object-Oriented Software Construction
    • B. Meyer. Object-Oriented Software Construction. Prentice Hall, 1997. 114
    • (1997) Prentice Hall
    • Meyer, B.1
  • 12
    • 84945263882 scopus 로고
    • Desigining reusable classes
    • B. Foote R. Johnson. Desigining reusable classes. Journal of OOP, 1:26–49, 1988.100
    • (1988) Journal of OOP , vol.1 , pp. 26-49
    • Foote, B.1    Johnson, R.2


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