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

TOTAL DOCUMENTS

62

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540000297, 9783540361039

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Specification-Based Software Construction Framework for Reuse

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

10.1007/3-540-36103-0_9 ◽

2002 ◽

pp. 69-79 ◽

Author(s):

Jing Liu ◽

Huaikou Miao ◽

Xiaolei Gao

Keyword(s):

Software Construction

Download Full-text

Toward a Formal Model of Software Components

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

10.1007/3-540-36103-0_8 ◽

2002 ◽

pp. 57-68 ◽

Author(s):

Maritta Heisel ◽

Thomas Santen ◽

Jeanine Souquières

Keyword(s):

Formal Model ◽

Software Components

Download Full-text

Unifying Theories of Parallel Programming

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

10.1007/3-540-36103-0_5 ◽

2002 ◽

pp. 24-37 ◽

Author(s):

Jim Woodcock ◽

Arthur Hughes

Keyword(s):

Parallel Programming

Download Full-text

Enabling Hardware Verification through Design Changes

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

10.1007/3-540-36103-0_47 ◽

2002 ◽

pp. 459-470

Author(s):

Amr T. Abdel-Hamid ◽

Sofiène Tahar ◽

John Harrison

Keyword(s):

Hardware Verification ◽

Download Full-text

Abstract Interpretation with a Theorem Prover

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

10.1007/3-540-36103-0_43 ◽

2002 ◽

pp. 411-422

Author(s):

Hugh Anderson

Keyword(s):

Abstract Interpretation ◽

Download Full-text

Theorem Prover Support for Precondition and Correctness Calculation

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

10.1007/3-540-36103-0_32 ◽

2002 ◽

pp. 299-310 ◽

Author(s):

Orieta Celiku ◽

Joakim von Wright

Keyword(s):

Download Full-text

Maintaining Referential Integrity on the Web

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

10.1007/3-540-36103-0_3 ◽

2002 ◽

pp. 20-21

Author(s):

Mark A. Hale

Keyword(s):

Referential Integrity ◽

Download Full-text

On Concept-Based Definition of Domain-Specific Languages

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

10.1007/3-540-36103-0_27 ◽

2002 ◽

pp. 237-248

Author(s):

Ying Liu ◽

Naixiao Zhang

Keyword(s):

Domain Specific Languages ◽

Domain Specific ◽

Download Full-text

An Abstract Model for Scheduling Real-Time Programs

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

10.1007/3-540-36103-0_22 ◽

2002 ◽

pp. 204-215 ◽

Author(s):

Alvaro E. Arenas

Keyword(s):

Real Time ◽

Download Full-text

Abstract Specification in Object-Z and CSP

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

10.1007/3-540-36103-0_14 ◽

2002 ◽

pp. 108-119 ◽

Author(s):

Graeme Smith ◽

John Derrick

Keyword(s):

Abstract Specification

Download Full-text