Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540881933, 9783540881940

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specifying and Verifying Event-Based Fairness Enhanced Systems

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88194-0_4 ◽

2008 ◽

pp. 5-24 ◽

Cited By ~ 14

Author(s):

Jun Sun ◽

Yang Liu ◽

Jin Song Dong ◽

Hai H. Wang

Keyword(s):

Event Based

Download Full-text

A Formal Descriptive Semantics of UML

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88194-0_23 ◽

2008 ◽

pp. 375-396 ◽

Cited By ~ 8

Author(s):

Lijun Shan ◽

Hong Zhu

Download Full-text

Programmers Ain’t Mathematicians, and Neither Are Testers

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88194-0_2 ◽

2008 ◽

pp. 2-2

Author(s):

Jeff Offutt

Download Full-text

An Approach to Testing with Embedded Context Using Model Checker

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88194-0_7 ◽

2008 ◽

pp. 66-85 ◽

Cited By ~ 1

Author(s):

Lihua Duan ◽

Jessica Chen

Keyword(s):

Model Checker

Download Full-text

Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88194-0_3 ◽

2008 ◽

pp. 3-4

Author(s):

John Hatcliff

Keyword(s):

Information Flow ◽

Secure Information

Download Full-text

A Practical Approach to Partiality – A Proof Based Approach

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88194-0_16 ◽

2008 ◽

pp. 238-257 ◽

Cited By ~ 6

Author(s):

Farhad Mehta

Keyword(s):

Practical Approach

Download Full-text

Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88194-0_13 ◽

2008 ◽

pp. 187-206 ◽

Cited By ~ 3

Author(s):

Kazuhiro Ogata ◽

Kokichi Futatsugi

Keyword(s):

Formal Analysis

Download Full-text

A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88194-0_10 ◽

2008 ◽

pp. 126-146 ◽

Cited By ~ 1

Author(s):

Florin Craciun ◽

Shengchao Qin ◽

Wei-Ngan Chin

Keyword(s):

Memory Management ◽

Object Oriented

Download Full-text

Practical Automated Partial Verification of Multi-paradigm Real-Time Models

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88194-0_19 ◽

2008 ◽

pp. 298-317 ◽

Cited By ~ 2

Author(s):

Carlo A. Furia ◽

Matteo Pradella ◽

Matteo Rossi

Keyword(s):

Real Time

Download Full-text

A Process Semantics for BPMN

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-88194-0_22 ◽

2008 ◽

pp. 355-374 ◽

Cited By ~ 72

Author(s):

Peter Y. H. Wong ◽

Jeremy Gibbons

Download Full-text

Formal Methods and Software Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Specifying and Verifying Event-Based Fairness Enhanced Systems

A Formal Descriptive Semantics of UML

Programmers Ain’t Mathematicians, and Neither Are Testers

An Approach to Testing with Embedded Context Using Model Checker

Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows

A Practical Approach to Partiality – A Proof Based Approach

Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes

A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm

Practical Automated Partial Verification of Multi-paradigm Real-Time Models

A Process Semantics for BPMN

Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications