2010 18th IEEE International Requirements Engineering Conference
Latest Publications

TOTAL DOCUMENTS

75

(FIVE YEARS 0)

H-INDEX

17

(FIVE YEARS 0)

Published By IEEE

9781424480227

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dependability Arguments with Trusted Bases

2010 18th IEEE International Requirements Engineering Conference ◽

10.1109/re.2010.38 ◽

2010 ◽

Author(s):

Eunsuk Kang ◽

Daniel Jackson

Download Full-text

MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements

2010 18th IEEE International Requirements Engineering Conference ◽

10.1109/re.2010.54 ◽

2010 ◽

Author(s):

Massila Kamalrudin ◽

John Hosking ◽

John Grundy

Keyword(s):

Visual Approach

Download Full-text

Using Business Goals to Inform a Software Architecture

2010 18th IEEE International Requirements Engineering Conference ◽

10.1109/re.2010.18 ◽

2010 ◽

Author(s):

Paul Clements ◽

Len Bass

Keyword(s):

Software Architecture ◽

Download Full-text

Making Sense of Product Requirements

2010 18th IEEE International Requirements Engineering Conference ◽

10.1109/re.2010.20 ◽

2010 ◽

Author(s):

Sami Jantunen ◽

Donald C. Gause ◽

Ragnar Wessman

Keyword(s):

Download Full-text

On the Effectiveness of Abstraction Identification in Requirements Engineering

2010 18th IEEE International Requirements Engineering Conference ◽

10.1109/re.2010.12 ◽

2010 ◽

Author(s):

Ricardo Gacitua ◽

Pete Sawyer ◽

Vincenzo Gervasi

Keyword(s):

Requirements Engineering

Download Full-text

Using Integer Constraint Solving in Reuse Based Requirements Engineering

2010 18th IEEE International Requirements Engineering Conference ◽

10.1109/re.2010.36 ◽

2010 ◽

Author(s):

Camille Salinesi ◽

Raul Mazo ◽

Daniel Diaz ◽

Olfa Djebbi

Keyword(s):

Requirements Engineering ◽

Constraint Solving

Download Full-text

Model Based Requirements Analysis and Testing of Automotive Systems with Timed Usage Models

2010 18th IEEE International Requirements Engineering Conference ◽

10.1109/re.2010.49 ◽

2010 ◽

Author(s):

Sebastian Siegl ◽

Kai-Steffen Hielscher ◽

Reinhard German

Keyword(s):

Requirements Analysis ◽

Automotive Systems ◽

Model Based ◽

Download Full-text

Realizing Business Agility Requirements through SOA and Cloud Computing

2010 18th IEEE International Requirements Engineering Conference ◽

10.1109/re.2010.70 ◽

2010 ◽

Author(s):

Mamoun Hirzalla

Keyword(s):

Cloud Computing ◽

Business Agility

Download Full-text

Domain Engineering with Event-B: Some Lessons We Learned

2010 18th IEEE International Requirements Engineering Conference ◽

10.1109/re.2010.37 ◽

2010 ◽

Author(s):

Atif Mashkoor ◽

Jean-Pierre Jacquot

Keyword(s):

Domain Engineering

Download Full-text

Creating Safety Requirements Traceability for Assuring and Recertifying Legacy Safety-Critical Systems

2010 18th IEEE International Requirements Engineering Conference ◽

10.1109/re.2010.42 ◽

2010 ◽

Author(s):

Janice Hill ◽

Scott Tilley

Keyword(s):

Critical Systems ◽

Requirements Traceability ◽

Safety Requirements ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text