Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06)
Latest Publications

TOTAL DOCUMENTS

39

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By IEEE

0769526780

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalizing AspectJ Weaving for Static Pointcuts

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.19 ◽

2006 ◽

Author(s):

N. Belblidia ◽

M. Debbabi

Download Full-text

Modeling Heterogeneous Real-time Components in BIP

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.27 ◽

2006 ◽

Author(s):

A. Basu ◽

M. Bozga ◽

J. Sifakis

Keyword(s):

Download Full-text

Filtering Retrenchments into Refinements

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.17 ◽

2006 ◽

Author(s):

R. Banach ◽

J. Derrick

Download Full-text

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

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.34 ◽

2006 ◽

Author(s):

A. Marconi ◽

M. Pistore ◽

P. Traverso

Keyword(s):

Web Services ◽

Data Flow ◽

Automated Composition

Download Full-text

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

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.1 ◽

2006 ◽

Author(s):

C.L. Rodrigues ◽

P.E.S. Barbosa ◽

J.M. Cabral ◽

J.C.A. de Figueiredo ◽

D.D.S. Guerrero

Keyword(s):

State Space ◽

Space Exploration ◽

Computational Grids ◽

State Space Exploration

Download Full-text

A Rigorous Approach to Requirements Validation

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.5 ◽

2006 ◽

Author(s):

S. Sukumaran ◽

A. Sreenivas ◽

R. Venkatesh

Keyword(s):

Requirements Validation ◽

Rigorous Approach

Download Full-text

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

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.7 ◽

2006 ◽

Author(s):

S. Ranise ◽

C. Zarba

Keyword(s):

Decision Procedure ◽

Download Full-text

VPA-Based Aspects: Better Support for AOP over Protocols

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.39 ◽

2006 ◽

Author(s):

Dong Ha Nguyen ◽

M. Sudholt

Download Full-text

Formal Modelling and Verification of an Asynchronous DLX Pipeline

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.18 ◽

2006 ◽

Author(s):

H.K. Kapoor

Keyword(s):

Formal Modelling

Download Full-text

A Model for Temporal relations between Object Roles

Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06) ◽

10.1109/sefm.2006.3 ◽

2006 ◽

Author(s):

G. Naresh ◽

B.D. Chaudhary

Keyword(s):

Temporal Relations

Download Full-text