First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769519490

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

From requirements to design: formalizing the key steps

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. ◽

10.1109/sefm.2003.1236202 ◽

2003 ◽

Cited By ~ 54

Author(s):

R.G. Dromey

Keyword(s):

Key Steps

Download Full-text

Modelling Java concurrency with Object-Z

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. ◽

10.1109/sefm.2003.1236219 ◽

2003 ◽

Cited By ~ 5

Author(s):

R. Duke ◽

L. Wildman ◽

B. Long

Download Full-text

Proceedings First International Conference on Software Engineering and Formal Methods

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. ◽

10.1109/sefm.2003.1236201 ◽

2003 ◽

Keyword(s):

Software Engineering ◽

Formal Methods ◽

International Conference

Download Full-text

Animation of Object-Z specifications using a Z animator

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. ◽

10.1109/sefm.2003.1236221 ◽

2003 ◽

Cited By ~ 2

Author(s):

T. McComb ◽

G. Smith

Download Full-text

A partial-correctness semantics for modelling assembler programs

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. ◽

10.1109/sefm.2003.1236210 ◽

2003 ◽

Author(s):

G. Watson ◽

C. Fidge

Keyword(s):

Partial Correctness

Download Full-text

Light-weight theorem proving for debugging and verifying units of code

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. ◽

10.1109/sefm.2003.1236224 ◽

2003 ◽

Cited By ~ 11

Author(s):

D. Deharbe ◽

S. Ranise

Keyword(s):

Theorem Proving ◽

Light Weight

Download Full-text

A formal model for trust in dynamic networks

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. ◽

10.1109/sefm.2003.1236207 ◽

2003 ◽

Cited By ~ 102

Author(s):

M. Carbone ◽

M. Nielsen ◽

V. Sassone

Keyword(s):

Formal Model ◽

Dynamic Networks

Download Full-text

Component-based design and analysis: a case study

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. ◽

10.1109/sefm.2003.1236214 ◽

2003 ◽

Cited By ~ 5

Author(s):

Y. Jin ◽

C. Lakos ◽

R. Esser

Download Full-text

Towards formalizing UML state diagrams in CSP

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. ◽

10.1109/sefm.2003.1236215 ◽

2003 ◽

Cited By ~ 6

Author(s):

Muan Yong Ng ◽

M. Butler

Keyword(s):

State Diagrams

Download Full-text

Formal verification of ASM designs using the MDG tool

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. ◽

10.1109/sefm.2003.1236223 ◽

2003 ◽

Author(s):

A. Gawanmeh ◽

S. Tahar ◽

K. Winter

Keyword(s):

Formal Verification

Download Full-text

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

From requirements to design: formalizing the key steps

Modelling Java concurrency with Object-Z

Proceedings First International Conference on Software Engineering and Formal Methods

Animation of Object-Z specifications using a Z animator

A partial-correctness semantics for modelling assembler programs

Light-weight theorem proving for debugging and verifying units of code

A formal model for trust in dynamic networks

Component-based design and analysis: a case study

Towards formalizing UML state diagrams in CSP

Formal verification of ASM designs using the MDG tool

First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings.
Latest Publications