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

TOTAL DOCUMENTS

33

(FIVE YEARS 0)

H-INDEX

12

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642005923, 9783642005930

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Object Flow Definition for Refined Activity Diagrams

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

10.1007/978-3-642-00593-0_4 ◽

2009 ◽

pp. 49-63 ◽

Author(s):

Stefan Jurack ◽

Leen Lambers ◽

Katharina Mehner ◽

Gabriele Taentzer ◽

Gerd Wierse

Keyword(s):

Activity Diagrams

Download Full-text

SNIFF: A Search Engine for Java Using Free-Form Queries

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

10.1007/978-3-642-00593-0_26 ◽

2009 ◽

pp. 385-400 ◽

Author(s):

Shaunak Chatterjee ◽

Sudeep Juvekar ◽

Koushik Sen

Keyword(s):

Search Engine ◽

Download Full-text

Mining API Error-Handling Specifications from Source Code

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

10.1007/978-3-642-00593-0_25 ◽

2009 ◽

pp. 370-384 ◽

Author(s):

Mithun Acharya ◽

Tao Xie

Keyword(s):

Source Code ◽

Download Full-text

Algorithms for Automatically Computing the Causal Paths of Failures

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

10.1007/978-3-642-00593-0_24 ◽

2009 ◽

pp. 355-369 ◽

Author(s):

William N. Sumner ◽

Xiangyu Zhang

Download Full-text

Cross-Entropy-Based Replay of Concurrent Programs

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

10.1007/978-3-642-00593-0_14 ◽

2009 ◽

pp. 201-215 ◽

Author(s):

Hana Chockler ◽

Eitan Farchi ◽

Benny Godlin ◽

Sergey Novikov

Keyword(s):

Cross Entropy ◽

Concurrent Programs

Download Full-text

Control Dependence for Extended Finite State Machines

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

10.1007/978-3-642-00593-0_15 ◽

2009 ◽

pp. 216-230 ◽

Author(s):

Kelly Androutsopoulos ◽

David Clark ◽

Mark Harman ◽

Zheng Li ◽

Laurence Tratt

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Extended Finite State Machines ◽

Control Dependence

Download Full-text

CADS: Computer-Aided Development of Self- Systems

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

10.1007/978-3-642-00593-0_29 ◽

2009 ◽

pp. 421-424 ◽

Author(s):

Radu Calinescu ◽

Marta Kwiatkowska

Keyword(s):

Download Full-text

Logical Testing

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

10.1007/978-3-642-00593-0_13 ◽

2009 ◽

pp. 186-200 ◽

Author(s):

Kathryn E. Gray ◽

Alan Mycroft

Download Full-text

Enhanced Property Specification and Verification in BLAST

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

10.1007/978-3-642-00593-0_32 ◽

2009 ◽

pp. 456-469 ◽

Author(s):

Ondřej Šerý

Keyword(s):

Property Specification ◽

Specification And Verification

Download Full-text

Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks

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

10.1007/978-3-642-00593-0_22 ◽

2009 ◽

pp. 325-339 ◽

Author(s):

Frank Hermann ◽

Hartmut Ehrig ◽

Claudia Ermel

Download Full-text