The Community for Technology Leaders
Green Image
TABLE OF CONTENTS
Issue No. 06 - November/December (vol. 37)
ISSN: 0098-5589
REGULAR PAPERS

A Dynamic Slicing Technique for UML Architectural Models (Abstract)

R. Mall , Indian Institute of Technology Kharagpur, WB INDIA
Jaiprakash T. Lallchandani , Indian Institute of Technology Kharagpur, WB INDIA
pp. 737-771

Evaluating Complexity, Code Churn, and Developer Activity Metrics as Indicators of Software Vulnerabilities (Abstract)

Jason A. Osborne , North Carolina State University, Raleigh
Yonghee Shin , DePaul University, Chicago
Andrew Meneely , North Carolina State University, Raleigh
Laurie Williams , North Carolina State University, Raleigh
pp. 772-787

Preventing Temporal Violations in Scientific Workflows: Where and How (Abstract)

Xiao Liu , Swinburne University of Technology, Melbourne
Yuanchun Jiang , Hefei University of Technology, Hefei and University of Pittsburgh, Pittsburgh
Jinjun Chen , University of Technology, Sydney and Swinburne University of Technology, Melbourne
Yun Yang , Anhui University, Hefei and Swinburne University of Technology, Melbourne
pp. 805-825

Putting Preemptive Time Petri Nets to Work in a V-Model SW Life Cycle (Abstract)

Enrico Vicario , Università di Firenze, Firenze
Laura Carnevali , Università di Firenze, Firenze
Lorenzo Ridi , Università di Firenze, Firenze
pp. 826-844

Swarm Verification Techniques (Abstract)

Alex Groce , Oregon State University, Corvallis
Gerard J. Holzmann , California Institute of Technology, Pasadena
Rajeev Joshi , California Institute of Technology, Pasadena
pp. 845-857

Tuning Temporal Features within the Stochastic π-Calculus (Abstract)

Olivier Roux , IRCCyN, École Centrale de Nantes
Loïc Paulevé , IRCCyN, École Centrale de Nantes
Morgan Magnin , IRCCyN, École Centrale de Nantes
pp. 858-871
SHORT PAPERS

On the Distribution of Bugs in the Eclipse System (Abstract)

Alessandro Murgia , University of Cagliari, Cagliari
Ivana Turnu , University of Cagliari, Cagliari
Michele Marchesi , University of Cagliari, Cagliari
Roberto Tonelli , University of Cagliari, Cagliari
Giulio Concas , University of Cagliari, Cagliari
pp. 872-877
90 ms
(Ver 3.1 (10032016))