2017 24th Asia-Pacific Software Engineering Conference (APSEC)
Latest Publications

TOTAL DOCUMENTS

104
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By IEEE

9781538636817
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Ontological Approach to Elicit Safety Requirements

2017 ◽  
Author(s):  
Luciana Provenzano ◽  
Kaj Hanninen ◽  
Jiale Zhou ◽  
Kristina Lundqvist
Keyword(s):  
Safety Requirements ◽  
Ontological Approach

SoS GaP Slicer: Slicing SoS Goal and PRISM Models for Change-Responsive Verification of SoS

2017 ◽  
Author(s):  
Jiyoung Song ◽  
Young-Min Baek ◽  
Mingyu Jin ◽  
Eunkyoung Jee ◽  
Doo-Hwan Bae

Multi-Process Runtime Verification for Android

2017 ◽  
Author(s):  
Haiyang Sun ◽  
Alexander North ◽  
Walter Binder
Keyword(s):  
Runtime Verification

scholarly journals Formal Definitions for Design Spaces and Traces

2017 ◽  
Author(s):  
Judy Bowen ◽  
Anke Dittmar
Keyword(s):  
Formal Definitions

Software Optimizations of Multiple Sets Intersection via SIMD Instructions

2017 ◽  
Author(s):  
Xingshen Song ◽  
Yuexiang Yang ◽  
Yu Jiang

A Systematic Review of Logging Practice in Software Engineering

2017 ◽  
Author(s):  
Guoping Rong ◽  
Qiuping Zhang ◽  
Xinbei Liu ◽  
Shenghiu Gu
Keyword(s):  
Systematic Review ◽  
Software Engineering

scholarly journals Value-Based Decision-Making Using a Web-Based Tool: A Multiple Case Study

2017 ◽  
Author(s):  
Vitor Freitas ◽  
Mirko Perkusich ◽  
Emilia Mendes ◽  
Pilar Rodriguez ◽  
Markku Oivo
Keyword(s):  
Decision Making ◽  
Multiple Case Study ◽  
Web Based ◽  
Multiple Case
Load More ...
Sign in / Sign up

Export Citation Format

Share Document