


default search action
Information & Software Technology, Volume 60
Volume 60, April 2015
- Sunil Nair, Jose Luis de la Vara

, Mehrdad Sabetzadeh
, Davide Falessi:
Evidence management for compliance of critical systems with safety standards: A survey on the state of practice. 1-15 - Matthias Galster, Paris Avgeriou:

An industrial case study on variability handling in large enterprise software systems. 16-31 - Sylvain Lamprier, Nicolas Baskiotis, Tewfik Ziadi

, Lom-Messan Hillah:
The CARE platform for the analysis of behavior model inference techniques. 32-50 - Yuliya Prokhorova, Linas Laibinis, Elena Troubitsyna:

Facilitating construction of safety cases from formal models in Event-B. 51-76 - Eray Tüzün

, Bedir Tekinerdogan
, Mert Emin Kalender, Semih Bilgen:
Empirical evaluation of a decision support model for adopting software product line engineering. 77-101 - D. Ross Jeffery, Mark Staples, June Andronick, Gerwin Klein

, Toby C. Murray:
An empirical research agenda for understanding formal methods productivity. 102-112

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














