Software Languages Lab

   HOMEPEOPLERESEARCHPROJECTSSEMINARPICTUREBOARDRELATION

 

Software Language Seminar (2018년)

  • Schedule  

 DATE

Subject

 PPT

12월 21일

고가영 : Implementation of Real-Time Monitor for SmartThings Smart App

Down

7월 23일

박나연 : Smart Block: A Visual Programming Environment for SmartThings

Down

 

Software Language Seminar (2017년)

  • Schedule  

 DATE

Subject

 PPT

 PAPER

12월 21일

손재닌 : Automatic Code Review for SmartThings application using Static Analysis

Down

Down

12월 20일

박나연 : Visualization tool for page structure of SmartThings Applications

Down

Down

10월 12일

손재닌 : Metrics for SmartApps

박나연 : Visualization tool for SmartApp

Down

Down

 

Ubiquitous Seminar (2007년)

  • Schedule  

 DATE

Subject

 PPT

7월 6일

* Manuel Roman, Chritopher Hess, Renato Cerqueira, Anand Ranganat Gaia : A Middleware Infrastructure to Enable Active Spaces Revised Paper #20(2nd Revision)

Available: PDF

Down

7월 10일

* Context-Aware Middleware for Resource Management in the Wireless Internet

Available: PDF

Down

7월 16일

* Jakob E.Bardram Design, Implementation, and Evaluation of the Java Context Awareness Framework(JCAF)

Available: PDF

Down

8월 10일

* Antonio Corradi, Rebecca Montanari, Daniela Tibaldi Context-based Access Control Management in Ubiquitous Environments

Down

8월 10일

* Minkyung Oh, Jiyeon Lee, Byeong-Mo Chang, Joonseon Ahn, and Kyung-Goo Doh Aprogramming Environment for Ubiquitous Computing

Down

8월 17일

* Stack inspecion Research

Down

8월 17일

* Yun Kyung KIM, Byeong-Mo Chang java 스택 인스펙션을 위한 권한 검사 분석 시스템

Available: PDF

Down

 

 

Ubiquitous Seminar (2006년)

  • Schedule  

 DATE

Subject

 PPT

1월

* J. E. Bardram, The Java Context Awareness Framework-JCAF

Available: PDF

Down

2월

* JCAF의 핵심구조

Down

3월 11일

* Joonseon Ahn, Byeong-Mo Chang, and Kyung-Goo Doh, A Policy Description Language for Context-based Access Control and Adaptation in Ubiquitous Environment

 

3월 28일

* Access Control을 위한 구현 설계

Down

3월 31일

* Adaptation Rule Translation을 위한 구현 설계

Down

4월 7일

* Access Control을 위한 구현 설계

   - 해시 테이블의 구현 설계

Down

4월 11일

* PDL을 사용한 예제 시나리오 제시

Down

6월 1일

* An infrastructure for context-awareness based on first order logic

Available: PDF

 

* A first-order logic model for context-awareness in distributed sensor-driven systems

Available: PDF

Down

Down

 

Monitoring Seminar (2005년 6-8월)

  • Schedule  

 DATE

Subject

 PPT

6 월 22일

(오민경)

* Erlingsson and Schneider, SASI Enforcement of Security Policy
1999 New Security Paradigms Workshop
Available: PDF

Down

6 월 29일

(김윤경)

* Erlingsson and Schneider, IRM Enforcement of Java Stack Inspection
IEEE Symposium on Security and Privacy, Oakland, CA, May 2000.
Available: PDF

Down

7 월  5일

(문세원)

* 정보과학회 논문 사전 발표

7 월 13일

(이지연)

* S. Her and B.-M. Chang Visualization of Exception Propagation for Java using Static Analysis IEEE Workshop on Source Code Analysis and Manipulation, Montreal, Canada, October, 2002.
Available: PDF

Down

8 월 3 일

(김윤경)

* H. Ohe and B.-M. Chang An Exception Monitoring System for Java Rapid Integration of Software Engineering(RISE'04), Nov. 2004, Luxembourg.
Available: PDF

Down

8 월 10일

(문세원)

* M. Dmitriev Design of JFluid: A Profiling Technology and Tool
Available: PDF

8 월 17일

(이지연)

* D. Gunter et al, Dynamic Monitoring of High-Performance Distributed Applications,
2002 IEEE Int. Symposium on High Performance Distributed Computing
Available: PDF

Down

8 월 24일

(오민경)

* Bauer, Ligatti, and Walker, Composing Security Policies with Polymer,
2005 ACM PLDI
Available: PS  PDF

 

JVM Seminar (2005년 3-4월)

  • Text : 자바 가상 머신 프로그래밍
     
  • Schedule  

 DATE

Subject

 PPT

3 월 10일  

  Chap 1. 자바 가상 머신의 소개
  Chap 2. 가상 머신의 탐험 도구 .Oolong에 대하여

Down
Down

3 월 17일  

  Chap 3. 메소드 작성하기

Down

3 월 24일  

  Chap 4. 클래스와 객체
  Chap 5. 제어문

Down
Down

3 월 31일  

  Chap 6. 자바 가상 머신의 검증과정
  Chap 7. 자바 가상 머신을 통한 디버깅

Down
 Down
 

4 월 7 일  

  Chap 8. 자바 가상 머신의 클래스 로더 사용
  Chap 9. 자바 클래스 파일의 내부 구조

Down
 Down
 

4 월 14일  

  Chap 10. 자바 컴파일링의 안쪽

Down
Down

4 월 21일  

   Chap 14. 성능 향상시키기

Down

4 월 28일  

  Chap 15. 보안과 자바 가상 머신
  Chap 16. 스레드와 동기화

Down
Down

 

 

JBook Seminar (2005년 1-2월)

  • Text : Java and the Java Virtual Machine
     
  • Schedule

 DATE

Subject

 PPT

1 월 13일  

  Chap 3. The imperative core Javaof Java
  Chap 4. The procedural extension Java
C of JavaI

Down
Down

1 월 20일  

  Chap 5. The object-oriented extension Javaof JavaC
  Chap 6. The exception-handling extension Java
E of JavaO

Down
Down

1 월 27일  

  Chap 7. The concurrent extension Javaof JavaE
  Paper 2

Down
Down

2 월 3 일  

  Chap 9. The JVMI submachine
  Chap 10. The procedural extension JVM
C of JVMI

Down
Down

2 월 17일  

  Chap 11. The object-oriented extension JVMO of JVMC
  Chap 12. The exception-handling extension JVM
E of JVMO

Down
Down

2 월 24일  

  Chap 15. The defensive virtual machine
  Paper 1

Down
Down

  

 

J2ME Seminar (2004년 가을)

  • Text : 모바일 자바 프로그래밍
     
  • Schedule

 DATE

Subject

 PPT

9 월 23일  

  * 자바 객체지향 프로그래밍
  * JDBC / WAP

Down
Down

10월 7 일  

  * J2ME 개발 살펴보기

Down

10월 14일  

  * CLDC 와 MIDP 살펴보기

Down

10월 21일  

  * MIDLet 프로그래밍 기초

Down

10월 28일  

  * MIDP 사용자 인터페이스

Down

11월 4 일  

  * MIDP 이벤트 다루기
  * MIDP 그래픽 사용하기

Down

11월 11일  

  * MIDP 네트워크 프로그래밍

Down

11월 18일  

  * MIDP RMS를 이용한 데이터 저장하기

Down

  

J2ME Seminar (2004년)
  • Schedule

 DATE

Subject

 PPT

 3월 22일

  Java 2 Platform Micro Edition
  AdaptJ

Down
Down

 3월 29일

  JAVA ON HANDHELD DEVICES - COMPARING J2ME CDC TO JAVA 1.1AND JAVA 2
  AdaptJ

Down
Down

  4월 06일

  MIDP - MOBILE INFORMATION DEVICE PROFILE
  Evolve

Down
Down

  4월 12일

  SMALL-SCALE JAVA VIRTUAL MACHINES

Down

  5월 03일

  A Java Virtual Machine Architecture for Very Small Devices
  Mobile agents with Java: The Aglet API
  Program manipulation via interactive transformations,

Down
Down
Down

  5월 10일

  Using Adaptive Optimization Techniques To Teach Mobile Java Computing

Down

  

  Mobile Java objects
  java-based mobile agent

Down
Down

  

  Secure Mobile Agent Systems Using Java:
  J2ME^TM Architecture And Related Embedded Technologies(Make Corrections)

Down
Down

  

  "GIS ON THE FLY" TO REALIZE WIRELESS GIS NETWORK BY JAVA MOBILE PHONE
 

Down
Down

  

  Wireless mobile communication at the start of the 21st century
 

Down
Down

  

JAVA Seminar (2004년)
  • Text : 프로그래머를 위한 JAVA2
  • Schedule

 DATE

Subject

 PPT

 2월 2주

  * Servlet Programming

Down

 2월 3주

  * JSP

Down

  

J2ME Seminar II (2004년)
  • Text : 모바일 자바 프로그래밍
  • Schedule

 DATE

Subject

 PPT

 1월 3주

  * J2ME 개발 살펴보기 / CLDC
  * MIDP와 MIDLet Programming

Down
Down

 1월 5주

  * MIDP User Interface
  * RMS를 이용한 데이터의 저장

Down
Down

  

J2ME Seminar I (2003 년)
  • Text : Wireless Java Programmng with J2ME
  • Schedule

 DATE

Subject

 PPT

 9월 1주

Chap1.   무선 애플리케이션 개발에 대한 소개
Chap2.   무선 장치를 위한 JAVA

Down
Down

 9월 3주

Chap3.   무선 자바 프로그래밍의 기초
Chap4.   무선 자바 애플리케이션의 패키지화와 배포

Down
Down

  10월 1주

Chap5.   무선 장치용 UI의 핵심 컴포넌트
Chap6.   UI개발에서 High-Level API 사용하기

Down

 10월 2주

HAT의 사용 방법
J2ME Low level Exception

Down

 10월 3주

Chap8.   Persistent Storage

 Down 

 10월 4주

JProbe 사용 방법

Down