Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540213055, 9783540247210

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Distributed Information Management with XML and Web Services

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24721-0_1 ◽

2004 ◽

pp. 1-11

Author(s):

Serge Abiteboul

Keyword(s):

Web Services ◽

Information Management ◽

Distributed Information

Download Full-text

Automating Decisions in Component Composition Based on Propagation of Requirements

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24721-0_28 ◽

2004 ◽

pp. 374-388 ◽

Cited By ~ 5

Author(s):

Ioana Şora ◽

Vladimir Creţu ◽

Pierre Verbaeten ◽

Yolande Berbers

Keyword(s):

Component Composition

Download Full-text

Compositional Nested Long Running Transactions

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24721-0_14 ◽

2004 ◽

pp. 194-208 ◽

Cited By ~ 9

Author(s):

Laura Bocchi

Download Full-text

A Formal Treatment of Context-Awareness

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

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

2004 ◽

pp. 12-36 ◽

Cited By ~ 19

Author(s):

Gruia-Catalin Roman ◽

Christine Julien ◽

Jamie Payton

Keyword(s):

Context Awareness ◽

Formal Treatment

Download Full-text

Predictable Dynamic Plugin Systems

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24721-0_9 ◽

2004 ◽

pp. 129-143 ◽

Cited By ~ 13

Author(s):

Robert Chatley ◽

Susan Eisenbach ◽

Jeff Kramer ◽

Jeff Magee ◽

Sebastian Uchitel

Download Full-text

Optimising Communication Structure for Model Checking

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

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

2004 ◽

pp. 310-323 ◽

Cited By ~ 5

Author(s):

Peter Saffrey ◽

Muffy Calder

Keyword(s):

Model Checking ◽

Communication Structure

Download Full-text

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24721-0_11 ◽

2004 ◽

pp. 160-164 ◽

Cited By ~ 6

Author(s):

Adam Childs ◽

Jesse Greenwald ◽

Venkatesh Prasad Ranganath ◽

Xianghua Deng ◽

Matthew Dwyer ◽

...

Keyword(s):

Integrated Development Environment ◽

Development Environment ◽

Integrated Development

Download Full-text

The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

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

2004 ◽

pp. 261-266 ◽

Cited By ~ 3

Author(s):

Islam A. M. El-Maddah ◽

Tom S. E. Maibaum

Keyword(s):

Process Control ◽

Integrated Development Environment ◽

Development Environment ◽

Integrated Development

Download Full-text

Reasoning about Card Tears and Transactions in Java Card

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24721-0_8 ◽

2004 ◽

pp. 114-128 ◽

Cited By ~ 8

Author(s):

Engelbert Hubbers ◽

Erik Poll

Keyword(s):

Java Card

Download Full-text

Automated Debugging Using Path-Based Weakest Preconditions

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-540-24721-0_20 ◽

2004 ◽

pp. 267-280 ◽

Cited By ~ 15

Author(s):

Haifeng He ◽

Neelam Gupta

Keyword(s):

Automated Debugging ◽

Weakest Preconditions

Download Full-text

Fundamental Approaches to Software Engineering - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Distributed Information Management with XML and Web Services

Automating Decisions in Component Composition Based on Propagation of Requirements

Compositional Nested Long Running Transactions

A Formal Treatment of Context-Awareness

Predictable Dynamic Plugin Systems

Optimising Communication Structure for Model Checking

Cadena: An Integrated Development Environment for Analysis, Synthesis, and Verification of Component-Based Systems

The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design

Reasoning about Card Tears and Transactions in Java Card

Automated Debugging Using Path-Based Weakest Preconditions

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science
Latest Publications