Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540213772, 9783540247562

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Integration of Specification Languages Using Viewpoints

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-24756-2_23 ◽

2004 ◽

pp. 421-440 ◽

Cited By ~ 5

Author(s):

Marius C. Bujorianu

Keyword(s):

Specification Languages

Download Full-text

UML to B: Formal Verification of Object-Oriented Models

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-24756-2_11 ◽

2004 ◽

pp. 187-206 ◽

Cited By ~ 33

Author(s):

K. Lano ◽

D. Clark ◽

K. Androutsopoulos

Keyword(s):

Formal Verification ◽

Object Oriented

Download Full-text

Design Verification for Control Engineering

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-24756-2_2 ◽

2004 ◽

pp. 21-35 ◽

Cited By ~ 7

Author(s):

Richard J. Boulton ◽

Hanne Gottliebsen ◽

Ruth Hardy ◽

Tom Kelsey ◽

Ursula Martin

Keyword(s):

Design Verification ◽

Control Engineering

Download Full-text

SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-24756-2_1 ◽

2004 ◽

pp. 1-20 ◽

Cited By ~ 107

Author(s):

Thomas Ball ◽

Byron Cook ◽

Vladimir Levin ◽

Sriram K. Rajamani

Keyword(s):

Technology Transfer ◽

Formal Methods

Download Full-text

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-24756-2_20 ◽

2004 ◽

pp. 363-381 ◽

Cited By ~ 4

Author(s):

Pu Geguang ◽

Dang Van Hung ◽

He Jifeng ◽

Wang Yi

Keyword(s):

Optimal Approach ◽

Software Partitioning

Download Full-text

A Tutorial Introduction to Designs in Unifying Theories of Programming

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-24756-2_4 ◽

2004 ◽

pp. 40-66 ◽

Cited By ~ 27

Author(s):

Jim Woodcock ◽

Ana Cavalcanti

Keyword(s):

Unifying Theories Of Programming

Download Full-text

Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-24756-2_14 ◽

2004 ◽

pp. 247-266

Author(s):

Xu Wang ◽

A. W. Roscoe ◽

R. S. Lazić

Keyword(s):

Normality Assumption

Download Full-text

Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-24756-2_25 ◽

2004 ◽

pp. 461-480 ◽

Cited By ~ 12

Author(s):

Paul Curzon ◽

Ann Blandford

Keyword(s):

Design Rules ◽

User Centred Design

Download Full-text

Efficient CSP Z Data Abstraction

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-24756-2_7 ◽

2004 ◽

pp. 108-127 ◽

Cited By ~ 6

Author(s):

Adalberto Farias ◽

Alexandre Mota ◽

Augusto Sampaio

Keyword(s):

Data Abstraction

Download Full-text

An Integration of Program Analysis and Automated Theorem Proving

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-540-24756-2_5 ◽

2004 ◽

pp. 67-86 ◽

Cited By ~ 5

Author(s):

Bill J. Ellis ◽

Andrew Ireland

Keyword(s):

Theorem Proving ◽

Program Analysis ◽

Automated Theorem Proving

Download Full-text

Lecture Notes in Computer Science - Integrated Formal MethodsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Integration of Specification Languages Using Viewpoints

UML to B: Formal Verification of Object-Oriented Models

Design Verification for Control Engineering

SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model

A Tutorial Introduction to Designs in Unifying Theories of Programming

Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption

Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors

Efficient CSP Z Data Abstraction

An Integration of Program Analysis and Automated Theorem Proving

Lecture Notes in Computer Science - Integrated Formal Methods
Latest Publications