Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014
Latest Publications

TOTAL DOCUMENTS

144

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450327688

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

State-based monitoring and goal-driven project steering: field study of the SEMAT essence framework

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 ◽

10.1145/2591062.2591155 ◽

2014 ◽

Cited By ~ 9

Author(s):

Cécile Péraire ◽

Todd Sedano

Keyword(s):

Field Study

Download Full-text

A candid industrial evaluation of formal software verification using model checking

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 ◽

10.1145/2591062.2591184 ◽

2014 ◽

Cited By ~ 11

Author(s):

Matthew Bennion ◽

Ibrahim Habli

Keyword(s):

Model Checking ◽

Software Verification ◽

Formal Software Verification

Download Full-text

Modeling self-adaptive software systems with learning petri nets

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 ◽

10.1145/2591062.2591113 ◽

2014 ◽

Cited By ~ 8

Author(s):

Zuohua Ding ◽

Yuan Zhou ◽

MengChu Zhou

Keyword(s):

Petri Nets ◽

Software Systems ◽

Adaptive Software ◽

Self Adaptive

Download Full-text

Lessons learned managing distributed software engineering courses

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 ◽

10.1145/2591062.2591160 ◽

2014 ◽

Cited By ~ 8

Author(s):

Reid Holmes ◽

Michelle Craig ◽

Karen Reid ◽

Eleni Stroulia

Keyword(s):

Software Engineering ◽

Lessons Learned ◽

Distributed Software

Download Full-text

Asymmetric software structures in the Linux kernel

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 ◽

10.1145/2591062.2591145 ◽

2014 ◽

Author(s):

Lei Wang ◽

Ping Wang ◽

Zhen Wang

Keyword(s):

Linux Kernel

Download Full-text

An inverted classroom experience: engaging students in architectural thinking for agile projects

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 ◽

10.1145/2591062.2591154 ◽

2014 ◽

Cited By ~ 5

Author(s):

Jane Cleland-Huang ◽

Muhammad Ali Babar ◽

Mehdi Mirakhorli

Keyword(s):

Classroom Experience ◽

Inverted Classroom

Download Full-text

Identifying caching opportunities, effortlessly

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 ◽

10.1145/2591062.2591198 ◽

2014 ◽

Cited By ~ 3

Author(s):

Alejandro Infante

Download Full-text

Experiences gamifying developer adoption of practices and tools

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 ◽

10.1145/2591062.2591171 ◽

2014 ◽

Cited By ~ 24

Author(s):

Will Snipes ◽

Anil R. Nair ◽

Emerson Murphy-Hill

Download Full-text

Ready-set-transfer: exploring the technology transfer readiness of academic research projects (panel)

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 ◽

10.1145/2591062.2594396 ◽

2014 ◽

Author(s):

Jane Cleland-Huang ◽

Daniela Damian ◽

Smita Ghaisas

Keyword(s):

Technology Transfer ◽

Academic Research ◽

Research Projects ◽

Transfer Readiness

Download Full-text

Proposing a theory of gamification effectiveness

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014 ◽

10.1145/2591062.2591148 ◽

2014 ◽

Cited By ~ 9

Author(s):

Bilal Amir ◽

Paul Ralph

Download Full-text

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

State-based monitoring and goal-driven project steering: field study of the SEMAT essence framework

A candid industrial evaluation of formal software verification using model checking

Modeling self-adaptive software systems with learning petri nets

Lessons learned managing distributed software engineering courses

Asymmetric software structures in the Linux kernel

An inverted classroom experience: engaging students in architectural thinking for agile projects

Identifying caching opportunities, effortlessly

Experiences gamifying developer adoption of practices and tools

Ready-set-transfer: exploring the technology transfer readiness of academic research projects (panel)

Proposing a theory of gamification effectiveness

Companion Proceedings of the 36th International Conference on Software Engineering - ICSE Companion 2014
Latest Publications