Frank Salger

According to our database, Frank Salger authored at least 20 papers between 1999 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Testing in Global Software Development - A Pattern Approach.

Anneke Pehmöller, Frank Salger, Stefan Wagner

CoRR, 2021

2013

Requirements reviews revisited: Residual challenges and open research questions.

Frank Salger

Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

2011

Software Requirements Specification in Global Software Development - What's the Difference?

Frank Salger

Proceedings of the Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 2011

Selektionswerkzeug zur Auswahl projektspezifischer Vorgehensstrategien.

Marianne Heinemann, Markus Palme, Andreas Rothmann, Frank Salger, Jürgen Schönke, Gregor Engels

Proceedings of the Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 2011

Systematic Quality Engineering - Lessons Learned.

Markus Großmann, Frank Salger

Proceedings of the Software Engineering 2011: Fachtagung des GI-Fachbereichs Softwaretechnik, 2011

2010

Towards Specification Patterns for Global Software Development Projects - Experiences from the Industry.

Frank Salger, Jochen Englert, Gregor Engels

Proceedings of the Quality of Information and Communications Technology, 2010

Assessments in global software development: a tailorable framework for industrial projects.

Frank Salger, Gregor Engels, Alexander Hofmann

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Knowledge transfer in global software development: leveraging acceptance test case specifications.

Frank Salger, Gregor Engels

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Knowledge Transfer in Global Software Development - Leveraging Ontologies, Tools and Assessments.

Frank Salger, Stefan Sauer, Gregor Engels, Andrea Baumann

Proceedings of the 5th IEEE International Conference on Global Software Engineering, 2010

2009

Software Architecture Evaluation in Global Software Development Projects.

Frank Salger

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009 Workshops, 2009

On the Use of Handover Checkpoints to Manage the Global Software Development Process.

Frank Salger

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009 Workshops, 2009

Integrated specification and quality assurance for large business information systems.

Frank Salger, Stefan Sauer, Gregor Engels

Proceedings of the Proceeding of the 2nd Annual India Software Engineering Conference, 2009

Inspection effectiveness for different quality attributes of software requirement specifications: An industrial case study.

Frank Salger, Gregor Engels, Alexander Hofmann

Proceedings of the 2009 ICSE Workshop on Software Quality, 2009

An Integrated Quality Assurance Framework for Specifying Business Information Systems.

Frank Salger, Stefan Sauer, Gregor Engels

Proceedings of the Forum at the CAiSE 2009 Conference, 2009

2008

Comprehensive Architecture Evaluation and Management in Large Software-Systems.

Frank Salger, Marcel Bennicke, Gregor Engels, Claus Lewerentz

Proceedings of the Quality of Software Architectures. Models and Architectures, 2008

2004

Towards the hierarchical verification of reactive systems.

Mila E. Majster-Cederbaum, Frank Salger

Theor. Comput. Sci., 2004

2001

Verification in the hierarchical development of reactive systems.

Frank Salger

PhD thesis, 2001

2000

Correctness by Construction: Towards Verification in Hierarchical System Development.

Mila E. Majster-Cederbaum, Frank Salger

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

A Priori Verification of Reactive Systems.

Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea

Proceedings of the Formal Techniques for Distributed System Development, 2000

1999

A Verification Technique Based on Syntactic Action Refinement in a TCSP-like Process Algebra and the Hennessy-Milner-Logic.

Mila E. Majster-Cederbaum, Frank Salger

Proceedings of the Advances in Computing Science, 1999