The Community for Technology Leaders
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05) (2006)
Pune, India
Sept. 11, 2006 to Sept. 15, 2006
ISBN: 0-7695-2678-0
TABLE OF CONTENTS

Reviewers (PDF)

pp. xi
Introduction

Preface (PDF)

pp. viii

Committees (PDF)

pp. ix-x

Reviewers (PDF)

pp. xi
Invited Papers

Modeling Heterogeneous Real-time Components in BIP (Abstract)

Ananda Basu , Verimag, France
Marius Bozga , Verimag, France
Joseph Sifakis , Verimag, France
pp. 3-12

The Context of Object Computation (extended abstract) (Abstract)

Bertrand Meyer , ETH, Zurich & Eiffel Software, California, USA
pp. 13-17
Contributed Papers

A Semi-Automatic Methodology for Repairing FaultyWeb Sites (Abstract)

Maria Alpuente , Universidad Politecnica de Valencia, Spain
Demis Ballis , uniud.it
Daniel Romero , Universidad Politecnica de Valencia, Spain
Moreno Falaschi , unisi, it
pp. 31-40

On Bisimilarities Induced by Relations on Actions (Abstract)

S. Arun-Kumar , Indian Institute of Technology, Delhi, India
pp. 41-49

Formalizing AspectJ Weaving for Static Pointcuts (Abstract)

Mourad Debbabi , Concordia University, Canada
Nadia Belblidia , Concordia University, Canada
pp. 50-59

Filtering Retrenchments into Refinements (Abstract)

Richard Banach , University of Manchester, UK
John Derrick , University of Sheffield, UK
pp. 60-69

Computing Complete Test Graphs for Hierarchical Systems (Abstract)

Madhu Gopinatha , Indian Institute of Science, India
Deepak D?Souza , Indian Institute of Science, India
pp. 70-79

Jose: Aspects for Design by Contract80-89 (Abstract)

Shmuel Tyszberowicz , The Academic College The Academic College, Israel
Ohad Barzilay , Tel Aviv University, Israel
Yishai A. Feldman , The Interdisciplinary Center, Israel
pp. 80-89

Discern: Towards the Automatic Discovery of Software Contracts (Abstract)

Leon Gendler , Tel Aviv University, Israel
Yishai A. Feldman , The Interdisciplinary Center, Israel
pp. 90-99
Contributed Papers

A PVS Based Framework for Validating Compiler Optimizations (Abstract)

Aditya Kanade , IIT Bombay. India
Amitabha Sanyal , IIT Bombay. India
Uday Khedker , IIT Bombay. India
pp. 108-117

Formal Modelling and Verification of an Asynchronous DLX Pipeline (Abstract)

Hemangee K. Kapoor , Dhirubhai Ambani Institute of Information and Communication Technology, India
pp. 118-127

Product Automata and Process Algebra (Abstract)

Kamal Lodaya , The Institute of Mathematical Sciences, India
pp. 128-136

Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears (Abstract)

Claude Marche , INRIA Futurs - Universit?e Paris 11, France
Nicolas Rousset , Axalto S.A., France
pp. 137-146

Specifying Data-Flow Requirements for the Automated Composition of Web Services (Abstract)

Paolo Traverso , ITC-Irst - Trento, Italy
Marco Pistore , University of Trento, Italy
Annapaola Marconi , ITC-lrst - Trento, ltaly
pp. 147-156

Requirements Modeling -- Experience from an Insurance Project (Abstract)

G. Murali Krishna , Tata Research Development and Design Centre, India
pp. 157-166

VPA-Based Aspects: Better Support for AOP over Protocols (Abstract)

Dong Ha Nguyen , Ecole des Mines de Nantes, France
Mario Sudholt , Ecole des Mines de Nantes, France
pp. 167-176

A Formal Model of Context-Awareness and Context-Dependency (Abstract)

Mats Neovius , ?bo Akademi University, Finland
M. Satpathy , ?bo Akademi University, Finland
Kaisa Sere , ?bo Akademi University, Finland
Lu Yan , ?bo Akademi University, Finland
pp. 177-185

Composing Context Sensitive Analysis (Abstract)

Shrawan Kumar , TRDDC, India
Prahladavaradan Sampath , GM India Science Lab, India
pp. 186-195

ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols (Abstract)

Arcot Sowmya , UNSW Sydney, Australia
Pemadeep Ramsokul , UNSW Sydney, Australia
pp. 196-205

A Theory of Singly-Linked Lists and its Extensible Decision Procedure (Abstract)

Calogero Zarba , Universitat der Saarlandes
Silvio Ranise , LORIA-INRIA - Lorraine
pp. 206-215

Describing and Executing Random Reactive Systems (Abstract)

Pascal Raymond , VERIMAG, France
Erwan Jahier , VERIMAG, France
Yvan Roux , VERIMAG, France
pp. 216-225

A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids (Abstract)

C?assio L. Rodrigues , Universidade Federal de Campina Grande, Brazil
Dalton D. S. Guerrero , Universidade Federal de Campina Grande, Brazil
Jorge C. A. de Figueiredo , Universidade Federal de Campina Grande, Brazil
Paulo E. S. Barbosa , Universidade Federal de Campina Grande, Brazil
Jairson M. Cabral , Universidade Federal de Campina Grande, Brazil
pp. 226-235

A Rigorous Approach to Requirements Validation (Abstract)

R. Venkatesh , TRDDC, India
Srihari Sukumaran , Philips Research - India, India
Ashok Sreenivas , University of Pune, India
pp. 236-245

Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time (Abstract)

Tao Huang , Chinese Academy of Sciences, China
Yong Zhang , Chinese Academy of Sciences, China
Jun Wei , Chinese Academy of Sciences, China
pp. 246-258
Tutorials

Retrenchment Tutorial (PDF)

Richard Banach , University of Manchester, UK
pp. 259
Author Index

Author Index (PDF)

pp. 263
96 ms
(Ver )