제4회 SEMAT Workshop on a General Theory of Software Engineering (GTSE)

2015년 5월 18일 이탈리아 플로렌스(피렌체)에서 제4회 SEMAT Workshop on a General Theory of Software Engineering(GTSE)가 개최됩니다.

http://semat.org/?page_id=1364

GTSE는 매년 IEEE Computer Society와 ACM SigSoft가 공동 주최하는 International Conference on Software Engineering(ICSE) 내의 워크샵으로 열리고 있습니다.

제4회 워크샵의 프로그램은 다음과 같습니다.

Session 1
900-1030
Paul Ralph, Gregor Engels, Ivar Jacobson, Michael Goedicke
Introduction to GTSE 2015
Jon Hall, Lucia Rapanotti
Towards a design-theoretic characterisation of software development process models
Pontus Johnson, Mathias Ekstedt
Exploring Theory of Cognition for General Theory of Software Engineering – Predicting the Effort of Program Language Comprehension
Session 2
1100-1230
Barry Boehm (Keynote)
Developing and Evolving a Value-Based Theory of Software Engineering
Balbir Barn, Ravinder Barn
An Approximate Theory for Value Sensitivity
Arbi Ghazarian
A Theory of Software Complexity
June Park
Essence-Based, Goal-Driven Adaptive Software Engineering
Session 3
1400-1530
Dewayne E Perry, Don Batory
A Theory about the Structure of GTSEs
Mark Staples
The Unending Quest for Valid, Useful Software Engineering Theories
Syed Shariyar Murtaza, Abdelwahab Hamou-Lhadj, Nazim Madhavji, Mechelle Gittens
Towards an Emerging Theory for the Diagnosis of Faulty Functions in Function-call Traces
Session 4
1600-1730
Group Discussion

저도 금년 GTSE 워크샵에서 “Essence-Based, Goal-Driven Adaptive Software Engineering” 제목의 논문을 발표합니다. 아래 논문 요약문을 게재힙니다. 이 논문에 관심 있으신 분은 제게 연락하면 보내드리겠습니다.

The OMG Essence standard has recently been published as the kernel for software engineering methods. We show that the Essence view of software engineering is reminiscent of a nondeterministic, multidimensional finite state machine, and that the Essence lends support to a semi-Markov decision process model of software engineering which, in practice, facilitates a goal-driven adaptive software engineering. We develop an activity-state mapping algorithm and a goal-activity cover algorithm based on the Essence, which can help automate the health monitoring of project states and the adaptive planning of project activities in a software engineering project.

캡처

답글 남기기

아래 항목을 채우거나 오른쪽 아이콘 중 하나를 클릭하여 로그 인 하세요:

WordPress.com 로고

WordPress.com의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

Twitter 사진

Twitter의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

Facebook 사진

Facebook의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

Google+ photo

Google+의 계정을 사용하여 댓글을 남깁니다. 로그아웃 / 변경 )

%s에 연결하는 중