Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and Validation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540884781, 9783540884798

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards Using Reo for Compliance-Aware Business Process Modeling

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and Validation ◽

10.1007/978-3-540-88479-8_9 ◽

2008 ◽

pp. 108-123 ◽

Cited By ~ 23

Author(s):

Farhad Arbab ◽

Natallia Kokash ◽

Sun Meng

Keyword(s):

Business Process ◽

Process Modeling ◽

Business Process Modeling

Download Full-text

Workflow Testing

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and Validation ◽

10.1007/978-3-540-88479-8_51 ◽

2008 ◽

pp. 709-723

Author(s):

R. Breu ◽

A. Lechner ◽

M. Willburger ◽

B. Katt

Download Full-text

Automated Formal Testing of C API Using T2C Framework

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and Validation ◽

10.1007/978-3-540-88479-8_5 ◽

2008 ◽

pp. 56-70 ◽

Cited By ~ 3

Author(s):

Alexey V. Khoroshilov ◽

Vladimir V. Rubanov ◽

Eugene A. Shatokhin

Keyword(s):

Formal Testing

Download Full-text

Requirements for Ontology Based Design Project Assessment

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and Validation ◽

10.1007/978-3-540-88479-8_49 ◽

2008 ◽

pp. 684-692

Author(s):

Axel Hahn ◽

Stephan große Austing ◽

Stefan Häusler ◽

Matthias Reinelt

Keyword(s):

Design Project ◽

Project Assessment

Download Full-text

An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems,

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and Validation ◽

10.1007/978-3-540-88479-8_45 ◽

2008 ◽

pp. 634-648 ◽

Cited By ~ 7

Author(s):

Eva Kühn ◽

Richard Mordinyi ◽

Christian Schreiber

Keyword(s):

Large Systems ◽

Complex Patterns

Download Full-text

Squeeze All the Power Out of Your Hardware to Verify Your Software!

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and Validation ◽

10.1007/978-3-540-88479-8_43 ◽

2008 ◽

pp. 604-618

Author(s):

Jiří Barnat ◽

Luboš Brim

Download Full-text

Animating Event B Models by Formal Data Models

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and Validation ◽

10.1007/978-3-540-88479-8_4 ◽

2008 ◽

pp. 37-55 ◽

Cited By ~ 2

Author(s):

Idir Ait-Sadoune ◽

Yamine Ait-Ameur

Keyword(s):

Data Models

Download Full-text

Weaving a Formal Methods Education with Problem-Based Learning

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and Validation ◽

10.1007/978-3-540-88479-8_32 ◽

2008 ◽

pp. 460-472

Author(s):

J Paul Gibson

Keyword(s):

Formal Methods ◽

Problem Based Learning

Download Full-text

Navigating the Requirements Jungle

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and Validation ◽

10.1007/978-3-540-88479-8_25 ◽

2008 ◽

pp. 354-368 ◽

Cited By ~ 1

Author(s):

Boris Langer ◽

Michael Tautschnig

Download Full-text

On the Risk Management and Auditing of SOA Based Business Processes

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and Validation ◽

10.1007/978-3-540-88479-8_10 ◽

2008 ◽

pp. 124-138 ◽

Cited By ~ 1

Author(s):

Bart Orriens ◽

Willem-Jan v/d Heuvel ◽

Mike Papazoglou

Keyword(s):

Risk Management ◽

Business Processes

Download Full-text

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and ValidationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Towards Using Reo for Compliance-Aware Business Process Modeling

Workflow Testing

Automated Formal Testing of C API Using T2C Framework

Requirements for Ontology Based Design Project Assessment

An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems,

Squeeze All the Power Out of Your Hardware to Verify Your Software!

Animating Event B Models by Formal Data Models

Weaving a Formal Methods Education with Problem-Based Learning

Navigating the Requirements Jungle

On the Risk Management and Auditing of SOA Based Business Processes

Communications in Computer and Information Science - Leveraging Applications of Formal Methods, Verification and Validation
Latest Publications