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)

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

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

Yonghee Shin , DePaul University, Chicago
Andrew Meneely , North Carolina State University, Raleigh
Laurie Williams , North Carolina State University, Raleigh
Jason A. Osborne , 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
Yun Yang , Anhui University, Hefei and 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
pp. 805-825

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

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

Swarm Verification Techniques (Abstract)

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

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

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

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

Giulio Concas , University of Cagliari, Cagliari
Michele Marchesi , University of Cagliari, Cagliari
Alessandro Murgia , University of Cagliari, Cagliari
Roberto Tonelli , University of Cagliari, Cagliari
Ivana Turnu , University of Cagliari, Cagliari
pp. 872-877
92 ms
(Ver 3.3 (11022016))