2010 8th IEEE International Conference on Software Engineering and Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424482894

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Timed Model of Circus with the Reactive Design Miracle

2010 8th IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2010.40 ◽

2010 ◽

Cited By ~ 4

Author(s):

Kun Wei ◽

Jim Woodcock ◽

Alan Burns

Download Full-text

Refinement-Friendly Bigraphs and Spygraphs

2010 8th IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2010.25 ◽

2010 ◽

Cited By ~ 1

Author(s):

Michael Goldsmith ◽

Sadie Creese

Download Full-text

A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution

2010 8th IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2010.20 ◽

2010 ◽

Author(s):

Cristina Tudose ◽

Radu Opria

Keyword(s):

Design Pattern ◽

Symbolic Execution ◽

Software Systems

Download Full-text

Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical Evaluation

2010 8th IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2010.19 ◽

2010 ◽

Cited By ~ 5

Author(s):

Michele Risi ◽

Giuseppe Scanniello ◽

Genoveffa Tortora

Keyword(s):

Empirical Evaluation ◽

Latent Semantic Indexing ◽

Semantic Indexing ◽

Architecture Recovery

Download Full-text

Adaptive Software Needs Continuous Verification

2010 8th IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2010.8 ◽

2010 ◽

Cited By ~ 4

Author(s):

Carlo Ghezzi

Keyword(s):

Adaptive Software

Download Full-text

The Unreasonable Ineffectiveness of Security Engineering: An Overview

2010 8th IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2010.10 ◽

2010 ◽

Cited By ~ 2

Author(s):

Dusko Pavlovic

Keyword(s):

Security Engineering

Download Full-text

[Cover art]

2010 8th IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2010.44 ◽

2010 ◽

Keyword(s):

Cover Art

Download Full-text

Structured Counterexamples for the Temporal Description Logic ALCCTL

2010 8th IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2010.36 ◽

2010 ◽

Cited By ~ 3

Author(s):

Franz Weitl ◽

Shin Nakajima ◽

Burkhard Freitag

Keyword(s):

Description Logic

Download Full-text

Behavior Engineering - A Scalable Modeling and Analysis Method

2010 8th IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2010.12 ◽

2010 ◽

Cited By ~ 6

Author(s):

Daniel Powell

Keyword(s):

Analysis Method ◽

Modeling And Analysis ◽

Behavior Engineering

Download Full-text

Assessing the Quality of B Models

2010 8th IEEE International Conference on Software Engineering and Formal Methods ◽

10.1109/sefm.2010.17 ◽

2010 ◽

Author(s):

Adrien de Kermadec ◽

Frederic Dadeau ◽

Fabrice Bouquet

Download Full-text

2010 8th IEEE International Conference on Software Engineering and Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Timed Model of Circus with the Reactive Design Miracle

Refinement-Friendly Bigraphs and Spygraphs

A Method for Testing Software Systems Based on State Design Pattern Using Symbolic Execution

Architecture Recovery Using Latent Semantic Indexing and K-Means: An Empirical Evaluation

Adaptive Software Needs Continuous Verification

The Unreasonable Ineffectiveness of Security Engineering: An Overview

[Cover art]

Structured Counterexamples for the Temporal Description Logic ALCCTL

Behavior Engineering - A Scalable Modeling and Analysis Method

Assessing the Quality of B Models

2010 8th IEEE International Conference on Software Engineering and Formal Methods
Latest Publications