Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
SEFM, 2006.

@proceedings{SEFM-2006,
	address       = "Pune, India",
	ee            = "http://www.computer.org/csdl/proceedings/sefm/2006/2678/00/index.html",
	isbn          = "0-7695-2678-0",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods}",
	year          = 2006,
}

Contents (31 items)

5 ×#automation
5 ×#formal method
5 ×#modelling
5 ×#verification
4 ×#named
3 ×#requirements
2 ×#approach
2 ×#aspect-oriented
2 ×#component
2 ×#contract

SEFM-2006-BasuBS #component #modelling #realtime

Modeling Heterogeneous Real-time Components in BIP (AB, MB, JS), pp. 3–12.

SEFM-2006-Meyer

The Context of Object Computation (BM), pp. 13–17.

SEFM-2006-Rajamani #automation #past present future

Automatic Property Checking for Software: Past, Present and Future (SKR), pp. 18–20.

SEFM-2006-Rushby #verification

Harnessing Disruptive Innovation in Formal Verification (JMR), pp. 21–30.

SEFM-2006-AlpuenteBFR #automation

A Semi-Automatic Methodology for Repairing FaultyWeb Sites (MA, DB, MF, DR), pp. 31–40.

SEFM-2006-Arun-Kumar #on the

On Bisimilarities Induced by Relations on Actions (SAK), pp. 41–49.

SEFM-2006-BelblidiaD #aspectj #formal method #weaving

Formalizing AspectJ Weaving for Static Pointcuts (NB, MD), pp. 50–59.

SEFM-2006-BanachD

Filtering Retrenchments into Refinements (RB, JD), pp. 60–69.

SEFM-2006-DSouzaG #graph

Computing Complete Test Graphs for Hierarchical Systems (DD, MG), pp. 70–79.

SEFM-2006-FeldmanBT #aspect-oriented #contract #design #named

Jose: Aspects for Design by Contract80-89 (YAF, OB, SST), pp. 80–89.

SEFM-2006-FeldmanG #automation #contract #named #towards

Discern: Towards the Automatic Discovery of Software Contracts (YAF, LG), pp. 90–99.

SEFM-2006-NareshC

A Model for Temporal relations between Object Roles (GN, BDC), pp. 100–107.

SEFM-2006-KanadeSK #compilation #framework #optimisation #validation

A PVS Based Framework for Validating Compiler Optimizations (AK, AS, UPK), pp. 108–117.

SEFM-2006-Kapoor #formal method #modelling #pipes and filters #verification

Formal Modelling and Verification of an Asynchronous DLX Pipeline (HKK), pp. 118–127.

SEFM-2006-Lodaya #algebra #automaton #process

Product Automata and Process Algebra (KL), pp. 128–136.

SEFM-2006-MarcheR #behaviour #java #transaction #verification

Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears (CM, NR), pp. 137–146.

SEFM-2006-MarconiPT #automation #composition #data flow #requirements #specification #web #web service

Specifying Data-Flow Requirements for the Automated Composition of Web Services (AM, MP, PT), pp. 147–156.

SEFM-2006-Krishna #experience #modelling #requirements

Requirements Modeling — Experience from an Insurance Project (GMK), pp. 157–166.

SEFM-2006-NguyenS #aspect-oriented #protocol

VPA-Based Aspects: Better Support for AOP over Protocols (DHN, MS), pp. 167–176.

SEFM-2006-NeoviusSYS #formal method

A Formal Model of Context-Awareness and Context-Dependency (MN, KS, LY, MS), pp. 177–185.

SEFM-2006-SampathK #analysis

Composing Context Sensitive Analysis (PS, SK), pp. 186–195.

SEFM-2006-RamsokulS #framework #modelling #named #protocol #verification #web service

ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols (PR, AS), pp. 196–205.

SEFM-2006-RaniseZ #formal method

A Theory of Singly-Linked Lists and its Extensible Decision Procedure (SR, CGZ), pp. 206–215.

SEFM-2006-RaymondJR #random

Describing and Executing Random Reactive Systems (PR, EJ, YR), pp. 216–225.

SEFM-2006-RodriguesBCFG #approach #using

A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids (CLR, PESB, JMC, JCAdF, DSG), pp. 226–235.

SEFM-2006-SukumaranSV #approach #requirements #validation

A Rigorous Approach to Requirements Validation (SS, AS, RV), pp. 236–245.

SEFM-2006-ZhangHW #component #declarative #modelling #performance #scheduling #uml #using

Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time (YZ, TH, JW), pp. 246–258.

SEFM-2006-Banach #tutorial

Retrenchment Tutorial (RB), p. 259.

SEFM-2006-BeckertHS #deduction #design #object-oriented #verification

Integrating Object-Oriented Design and Deductive Verification of Software (BB, RH, PHS), p. 260.

SEFM-2006-Khedker #perspective #source code #static analysis

Static Analysis of Programs: A Heap Centric View (UPK), p. 261.

SEFM-2006-Rushby06a #automation #formal method #named #tutorial

Tutorial: Automated Formal Methods with PVS, SAL, and Yices (JMR), p. 262.