서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Lawall, Julia"]

검색결과제한

  • Facet Limit
    • 원문(Full Text)
    • Peer-Reviewed 학술지
    • -

    재검색

  • 자료유형
    • Conference Materials(97)
    • Academic Journals(80)
    • Books(11)
    • Reports(8)
    • Magazines(6)
    • Reviews(6)

  • 주제어
    • [info.info-os]computer science [cs]/operating systems [cs.os](35)
    • [info.info-se]computer science [cs]/software engineering [cs.se](32)
    • linux(27)
    • [info.info-pl]computer science [cs]/programming languages [cs.pl](20)
    • [info]computer science [cs](15)
    • reliability(11)
    • computer science - software engineering(9)
    • domain-specific languages(9)
    • measurement(9)
    • computingmilieux_miscellaneous(8)
    • program analysis(8)
    • computer programming(7)
    • experimentation(7)
    • program transformation(7)
    • programming languages(7)
    • software engineering(7)
    • static analysis(7)
    • [info.info-oh]computer science [cs]/other [cs.oh](6)
    • computer bugs(6)
    • computer network protocols(6)
    • computer science(6)
    • computer software(6)
    • computing and processing(6)
    • debugging(6)
    • device drivers(6)
    • java(6)
    • multicore(6)
    • scheduling(6)
    • linux operating systems(5)
    • locality(5)
    • locks(5)
    • network protocols(5)
    • object-oriented programming(5)
    • profiling(5)
    • program specialization(5)
    • reengineering(5)
    • rpc(5)
    • synchronization(5)
    • virtualization(5)
    • [info.info-pf]computer science [cs]/performance [cs.pf](4)
    • algorithms(4)
    • application software(4)
    • certification(4)
    • code coverage(4)
    • computer science - programming languages(4)
    • computer software testing(4)
    • electronic data processing(4)
    • electronic mail(4)
    • empirical study(4)
    • java programming language(4)

  • 저널
    • science of computer programming(13)
    • acm transactions on computer systems(11)
    • acm / sigplan notices(10)
    • acm sigplan notices(8)
    • automated software engineering(7)
    • higher-order and symbolic computation(7)
    • higher-order & symbolic computation(5)
    • acm/sigplan workshop partial evaluation & semantics-based program manipulation(4)
    • annual symposium on principles of programming languages(4)
    • architectural support for programming languages & operating systems(4)
    • ieee transactions on reliability(4)
    • ieee transactions on software engineering(4)
    • acm transactions on programming languages & systems(3)
    • aspect-oriented software development(3)
    • electronic notes in theoretical computer science(3)
    • ieee transactions on systems, man & cybernetics: part c - applications & reviews(3)
    • journal of functional programming(3)
    • 2012 proceedings of the 27th ieee/acm international conference on automated software engineering(2)
    • 2014 ieee international conference on software maintenance & evolution(2)
    • 2017 47th annual ieee/ifip international conference on dependable systems and networks (dsn), dependable systems and networks (dsn), 2017 47th annual ieee/ifip international conference on, dsn(2)
    • acm sigops european workshop(2)
    • acm symposium on operating systems principles(2)
    • acm/usenix international conference on virtual execution environments(2)
    • entcs: electronic notes in theoretical computer science(2)
    • european conference on computer systems(2)
    • icse: international conference on software engineering(2)
    • ieee transactions on dependable and secure computing(2)
    • international conference on embedded software(2)
    • international conference on functional programming(2)
    • international conference on software engineering(2)
    • lfp: conference on lisp & functional programming(2)
    • proceedings of the 1992 acm conference: lisp & functional programming(2)
    • proceedings of the 1993 acm sigplan symposium: partial evaluation & semantics-based program manipulation(2)
    • proceedings of the 1994 acm conference: lisp & functional programming(2)
    • proceedings of the 3rd workshop: programming languages & operating systems(2)
    • proceedings of the first acm sigplan international conference: functional programming(2)
    • proceedings of the second acm sigplan international conference: functional programming(2)
    • software: practice & experience(2)
    • software-practice & experience(2)
    • 2016 28th euromicro conference on real-time systems (ecrts), real-time systems (ecrts), 2016 28th euromicro conference on, real-time systems (ecrts), 2014 26th euromicro conference on(1)
    • 2019 ieee 30th international symposium on software reliability engineering (issre), software reliability engineering (issre), 2019 ieee 30th international symposium on, issre(1)
    • 2019 ieee/acm 41st international conference on software engineering: companion proceedings (icse-companion), software engineering: companion proceedings (icse-companion), 2019 ieee/acm 41st international conference on(1)
    • 2020 ieee 27th international conference on software analysis, evolution and reengineering (saner), software analysis, evolution and reengineering (saner), 2020 ieee 27th international conference on(1)
    • acm transactions on parallel computing(1)
    • functional and logic programming(1)
    • generative programming & component engineering(1)
    • integrated formal methods(1)
    • nordic journal of computing(1)
    • science of computer programming. methods of software design: techniques and applications(1)
    • theoretical aspects of computer software (sendai, 1997)(1)

  • 발행처
    • association for computing machinery(99)
    • hal ccsd(51)
    • ieee(36)
    • springer nature(17)
    • acm(13)
    • elsevier b.v.(12)
    • assoc computing machinery(10)
    • springer(6)
    • acm press(4)
    • elsevier bv(3)
    • elsevier science bv(3)
    • ieee computer soc(3)
    • institute of electrical and electronics engineers(3)
    • springer verlag(3)
    • cambridge university press(2)
    • enst(2)
    • john wiley & sons, inc.(2)
    • wiley(2)
    • wiley-blackwell(2)
    • cambridge univ press(1)
    • dagstuhl seminar proceedings. 07041 - power-aware computing systems(1)
    • elsevier(1)
    • european association of software science and technology(1)
    • ieee computer society(1)
    • ieee-inst electrical electronics engineers inc(1)
    • inria(1)
    • lipics - leibniz international proceedings in informatics. 33rd european conference on object-oriented programming (ecoop 2019)(1)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(1)
    • springer, [cham](1)
    • springer, berlin(1)

  • 언어
    • english(285)
    • french(6)
    • german(2)
    • undetermined(2)

  • 수록DB
    • Complementary Index(123)
    • OpenAIRE(102)
    • Science Citation Index(23)
    • Supplemental Index(12)
    • Academic Search Complete(12)
    • arXiv(8)
    • Business Source Complete(7)
    • IEEE Xplore Digital Library(6)
    • MathSciNet via EBSCOhost(6)
    • ScienceDirect(6)
    • Europeana(2)
    • SwePub(2)
    • Networked Digital Library of Theses & Dissertations(1)

310

1 - 10 다음페이지로

내보내기

내보내기
내보내기 형식을 선택하세요.

o RefWorks에서 이용 가능한 형식으로 반출합니다.

o EndNote에서 이용 가능한 형식으로 반출합니다.

※ 중복 레코드가 제거된 검색 결과가 표시됩니다.