2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467319065, 9781467319072

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated continuous quality assurance

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) ◽

10.1109/formsera.2012.6229787 ◽

2012 ◽

Cited By ~ 3

Author(s):

Johannes Neubauer ◽

Bernhard Steffen ◽

Oliver Bauer ◽

Stephan Windmuller ◽

Maik Merten ◽

...

Keyword(s):

Quality Assurance ◽

Continuous Quality ◽

Continuous Quality Assurance

Download Full-text

Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) [Welcome]

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) ◽

10.1109/formsera.2012.6229781 ◽

2012 ◽

Keyword(s):

Software Engineering ◽

Formal Methods

Download Full-text

Contents [breaker page]

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) ◽

10.1109/formsera.2012.6229780 ◽

2012 ◽

Download Full-text

Revisiting modal interface automata

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) ◽

10.1109/formsera.2012.6229786 ◽

2012 ◽

Cited By ~ 2

Author(s):

Ivo Krka ◽

Nenad Medvidovic

Keyword(s):

Interface Automata

Download Full-text

Making sense of recursion patterns

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) ◽

10.1109/formsera.2012.6229782 ◽

2012 ◽

Cited By ~ 1

Author(s):

Paul Bailes ◽

Leighton Brough

Keyword(s):

Making Sense

Download Full-text

[Title page]

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) ◽

10.1109/formsera.2012.6229779 ◽

2012 ◽

Keyword(s):

Title Page

Download Full-text

Language engineering as an enabler for incrementally defined formal analyses

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) ◽

10.1109/formsera.2012.6229790 ◽

2012 ◽

Cited By ~ 9

Author(s):

Daniel Ratiu ◽

Bernhard Schaetz ◽

Markus Voelter ◽

Bernd Kolb

Keyword(s):

Language Engineering

Download Full-text

Scrum goes formal: Agile methods for safety-critical systems

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) ◽

10.1109/formsera.2012.6229784 ◽

2012 ◽

Cited By ~ 15

Author(s):

Sune Wolff

Keyword(s):

Agile Methods ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Further steps towards efficient runtime verification: Handling probabilistic cost models

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) ◽

10.1109/formsera.2012.6229785 ◽

2012 ◽

Cited By ~ 7

Author(s):

Antonio Filieri ◽

Carlo Ghezzi

Keyword(s):

Runtime Verification ◽

Cost Models

Download Full-text

Formalisms and structures: Keynote abstract

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) ◽

10.1109/formsera.2012.6229783 ◽

2012 ◽

Author(s):

Michael Jackson

Download Full-text

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Automated continuous quality assurance

Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA) [Welcome]

Contents [breaker page]

Revisiting modal interface automata

Making sense of recursion patterns

[Title page]

Language engineering as an enabler for incrementally defined formal analyses

Scrum goes formal: Agile methods for safety-critical systems

Further steps towards efficient runtime verification: Handling probabilistic cost models

Formalisms and structures: Keynote abstract

2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA)
Latest Publications