Lecture Notes in Computer Science - Advanced Lectures on Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642130090, 9783642130106

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compensable Transactions

Lecture Notes in Computer Science - Advanced Lectures on Software Engineering ◽

10.1007/978-3-642-13010-6_2 ◽

2010 ◽

pp. 21-40 ◽

Cited By ~ 1

Author(s):

Tony Hoare

Download Full-text

Fixpoints and Search in PVS

Lecture Notes in Computer Science - Advanced Lectures on Software Engineering ◽

10.1007/978-3-642-13010-6_5 ◽

2010 ◽

pp. 140-161 ◽

Cited By ~ 1

Author(s):

Natarajan Shankar

Download Full-text

Fine-Grain Concurrency

Lecture Notes in Computer Science - Advanced Lectures on Software Engineering ◽

10.1007/978-3-642-13010-6_1 ◽

2010 ◽

pp. 1-20

Author(s):

Tony Hoare

Keyword(s):

Fine Grain

Download Full-text

SCOOP – A Contract-Based Concurrent Object-Oriented Programming Model

Lecture Notes in Computer Science - Advanced Lectures on Software Engineering ◽

10.1007/978-3-642-13010-6_3 ◽

2010 ◽

pp. 41-90 ◽

Cited By ~ 5

Author(s):

Benjamin Morandi ◽

Sebastian S. Bauer ◽

Bertrand Meyer

Keyword(s):

Programming Model ◽

Object Oriented ◽

Object Oriented Programming

Download Full-text

Multi Core Design for Chip Level Multiprocessing

Lecture Notes in Computer Science - Advanced Lectures on Software Engineering ◽

10.1007/978-3-642-13010-6_6 ◽

2010 ◽

pp. 162-187

Author(s):

Tryggve Fossum

Download Full-text

Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs

Lecture Notes in Computer Science - Advanced Lectures on Software Engineering ◽

10.1007/978-3-642-13010-6_4 ◽

2010 ◽

pp. 91-139 ◽

Cited By ~ 15

Author(s):

K. Rustan M. Leino ◽

Peter Müller

Download Full-text

Lecture Notes in Computer Science - Advanced Lectures on Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Compensable Transactions

Fixpoints and Search in PVS

Fine-Grain Concurrency

SCOOP – A Contract-Based Concurrent Object-Oriented Programming Model

Multi Core Design for Chip Level Multiprocessing

Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs

Lecture Notes in Computer Science - Advanced Lectures on Software Engineering
Latest Publications