Míreanna comhchosúla: NASA Formal Methods :
- FundamentalApproaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 : Proceedings /
- System Analysis and Modeling : Models and Reusability : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014 : Proceedings /
- Design Science : Perspectives from Europe : European Design Science Symposium, EDSS 2013, Dublin, Ireland, November 21-22, 2013 : Revised Selected Papers /
- Integrated Formal Methods : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : Proceedings /
- Requirements Engineering : First Asia Pacific Requirements Engineering Symposium, APRES 2014, Auckland, New Zealand, April 28-29, 2014 : Proceedings /
- Software Quality : Model-Based Approaches for Advanced Software and Systems Engineering : 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014 : Proceedings /
Topaic: Arquitectura de Software - Prueba y Medición
- Computer Performance Engineering : 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014 : Proceedings /
- Architecture of Computing Systems, ARCS 2014 : 27th International Conference, Lübeck, Germany, February 25-28, 2014 : Proceedings /
- Hardware and Software : Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /
- Hardware and Software : Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012 : Revised Selected Papers /
- Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques and Applications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II /
- Leveraging Applications of Formal Methods, Verification and Validation : Specialized Techniques an dApplications : 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part I /
Topaic: Paquetes (Software) - Caducidad
- Human-Centered Software Engineering : 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014 : Proceedings /
- Engineering Secure Future Internet Services and Systems : Current Research /
- Design Science : Perspectives from Europe : European Design Science Symposium, EDSS 2013, Dublin, Ireland, November 21-22, 2013 : Revised Selected Papers /
- FundamentalApproaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 Grenoble, France, April 5-13, 2014 : Proceedings /
- Software Quality : Model-Based Approaches for Advanced Software and Systems Engineering : 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014 : Proceedings /
- Software Reuse for Dynamic Systems in the Cloud and Beyond : 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015 : Proceedings /