Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540340638, 9783540340645

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Improved Case-Based Approach to LTL Model Checking

Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer Science ◽

10.1007/11751113_14 ◽

2006 ◽

pp. 190-202 ◽

Cited By ~ 1

Author(s):

Fei Pu ◽

Wenhui Zhang ◽

Shaochun Wang

Keyword(s):

Model Checking ◽

Ltl Model Checking ◽

Case Based

Download Full-text

Modeling Safety Case Evolution – Examples from the Air Traffic Management Domain

Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer Science ◽

10.1007/11751113_7 ◽

2006 ◽

pp. 81-96 ◽

Cited By ~ 6

Author(s):

Massimo Felici

Keyword(s):

Traffic Management ◽

Air Traffic Management ◽

Air Traffic ◽

Management Domain ◽

Safety Case

Download Full-text

Extreme89: An XP War Game

Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer Science ◽

10.1007/11751113_20 ◽

2006 ◽

pp. 278-287 ◽

Cited By ~ 1

Author(s):

Jerzy Nawrocki ◽

Adam Wojciechowski

Download Full-text

Prototyping Domain Specific Languages with COOPN

Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer Science ◽

10.1007/11751113_13 ◽

2006 ◽

pp. 174-189 ◽

Cited By ~ 1

Author(s):

Luis Pedro ◽

Levi Lucio ◽

Didier Buchs

Keyword(s):

Domain Specific Languages ◽

Domain Specific

Download Full-text

Network Structure and Traffic Modeling and Simulation with CO-OPN

Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer Science ◽

10.1007/11751113_18 ◽

2006 ◽

pp. 250-265

Author(s):

David Hurzeler

Keyword(s):

Modeling And Simulation ◽

Network Structure ◽

Traffic Modeling

Download Full-text

Balancing Agility and Discipline with XPrince

Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer Science ◽

10.1007/11751113_19 ◽

2006 ◽

pp. 266-277 ◽

Cited By ~ 10

Author(s):

Jerzy Nawrocki ◽

Lukasz Olek ◽

Michal Jasinski ◽

Bartosz Paliświat ◽

Bartosz Walter ◽

...

Download Full-text

User Centred Rapid Application Development

Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer Science ◽

10.1007/11751113_4 ◽

2006 ◽

pp. 34-49 ◽

Cited By ~ 2

Author(s):

Edward Lank ◽

Ken Withee ◽

Lisa Schile ◽

Tom Parker

Keyword(s):

Application Development ◽

Rapid Application Development

Download Full-text

Aspects-Classes Integration Testing Strategy: An Incremental Approach

Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer Science ◽

10.1007/11751113_12 ◽

2006 ◽

pp. 158-173 ◽

Cited By ~ 2

Author(s):

Philippe Massicotte ◽

Linda Badri ◽

Mourad Badri

Keyword(s):

Integration Testing ◽

Testing Strategy ◽

Incremental Approach

Download Full-text

Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs

Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer Science ◽

10.1007/11751113_8 ◽

2006 ◽

pp. 97-112 ◽

Cited By ~ 2

Author(s):

J. J. Vinju

Keyword(s):

Object Code ◽

Concrete Object

Download Full-text

Formal Development of Reactive Fault Tolerant Systems

Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer Science ◽

10.1007/11751113_17 ◽

2006 ◽

pp. 234-249

Author(s):

Linas Laibinis ◽

Elena Troubitsyna

Keyword(s):

Fault Tolerant ◽

Formal Development ◽

Fault Tolerant Systems

Download Full-text

Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An Improved Case-Based Approach to LTL Model Checking

Modeling Safety Case Evolution – Examples from the Air Traffic Management Domain

Extreme89: An XP War Game

Prototyping Domain Specific Languages with COOPN

Network Structure and Traffic Modeling and Simulation with CO-OPN

Balancing Agility and Discipline with XPrince

User Centred Rapid Application Development

Aspects-Classes Integration Testing Strategy: An Incremental Approach

Type-Driven Automatic Quotation of Concrete Object Code in Meta Programs

Formal Development of Reactive Fault Tolerant Systems

Rapid Integration of Software Engineering Techniques - Lecture Notes in Computer Science
Latest Publications