default search action
Information & Software Technology, Volume 60
Volume 60, April 2015
- Sunil Nair, Jose Luis de la Vara
, Mehrdad Sabetzadeh
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
Empirical evaluation of a decision support model for adopting software product line engineering. 77-101 - D. Ross Jeffery, Mark Staples, June Andronick, Gerwin Klein
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.
last updated on 2024-12-29 20:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: