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

9783540008996, 9783540365785

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automatic Model Driven Animation of SCR Specifications

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

10.1007/3-540-36578-8_21 ◽

2003 ◽

pp. 294-309 ◽

Cited By ~ 8

Author(s):

Angelo Gargantini ◽

Elvinia Riccobene

Keyword(s):

Model Driven

Download Full-text

Spatial Security Policies for Mobile Agents in a Sentient Computing Environment

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

10.1007/3-540-36578-8_8 ◽

2003 ◽

pp. 102-117 ◽

Cited By ~ 12

Author(s):

David Scott ◽

Alastair Beresford ◽

Alan Mycroft

Keyword(s):

Mobile Agents ◽

Security Policies ◽

Computing Environment

Download Full-text

PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features

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

10.1007/3-540-36578-8_12 ◽

2003 ◽

pp. 166-169 ◽

Cited By ~ 2

Author(s):

Wim Vanderperren ◽

Davy Suvée ◽

Bart Wydaeghe ◽

Viviane Jonckers

Keyword(s):

Component Composition ◽

Visual Component

Download Full-text

An Ontology for Software Component Matching

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

10.1007/3-540-36578-8_2 ◽

2003 ◽

pp. 6-21 ◽

Cited By ~ 16

Author(s):

Claus Pahl

Keyword(s):

Software Component ◽

Component Matching

Download Full-text

Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs

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

10.1007/3-540-36578-8_27 ◽

2003 ◽

pp. 387-402 ◽

Cited By ~ 17

Author(s):

Ingolf H. Krüger

Download Full-text

An Information-Based View of Representational Coupling in Object-Oriented Systems

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

10.1007/3-540-36578-8_16 ◽

2003 ◽

pp. 216-230

Author(s):

Pierre Kelsen

Keyword(s):

Object Oriented ◽

Object Oriented Systems

Download Full-text

A Program Logic for Handling Java Card’s Transaction Mechanism

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

10.1007/3-540-36578-8_18 ◽

2003 ◽

pp. 246-260 ◽

Cited By ~ 20

Author(s):

Bernhard Beckert ◽

Wojciech Mostowski

Keyword(s):

Program Logic

Download Full-text

Integration of Formal Datatypes within State Diagrams

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

10.1007/3-540-36578-8_24 ◽

2003 ◽

pp. 341-355 ◽

Cited By ~ 7

Author(s):

Christian Attiogbé ◽

Pascal Poizat ◽

Gwen Salaün

Keyword(s):

State Diagrams

Download Full-text

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems

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

10.1007/3-540-36578-8_7 ◽

2003 ◽

pp. 87-101 ◽

Cited By ~ 21

Author(s):

Stephan Merz ◽

Martin Wirsing ◽

Júlia Zappe

Keyword(s):

Temporal Logic ◽

Mobile Systems ◽

Spatio Temporal

Download Full-text

Symbiosis of Static Analysis and Program Testing

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

10.1007/3-540-36578-8_1 ◽

2003 ◽

pp. 1-5 ◽

Cited By ~ 1

Author(s):

Michal Young

Keyword(s):

Static Analysis ◽

Program Testing

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Automatic Model Driven Animation of SCR Specifications

Spatial Security Policies for Mobile Agents in a Sentient Computing Environment

PacoSuite and JAsCo: A Visual Component Composition Environment with Advanced Aspect Separation Features

An Ontology for Software Component Matching

Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs

An Information-Based View of Representational Coupling in Object-Oriented Systems

A Program Logic for Handling Java Card’s Transaction Mechanism

Integration of Formal Datatypes within State Diagrams

A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems

Symbiosis of Static Analysis and Program Testing

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