Export 36 results:
Search results for biblio_year:2003
Filters: 1 is field_publication_owner:not_simula and 2 is biblio_type:Edited books and 3 is biblio_year:1988 and 4 is biblio_year:2008 and 5 is field_research_area:6 and 6 is biblio_year:2016 and 7 is field_publication_state:18 and Author is Davide Falessi [Reset Search]
Filters: 1 is field_publication_owner:not_simula and 2 is biblio_type:Edited books and 3 is biblio_year:1988 and 4 is biblio_year:2008 and 5 is field_research_area:6 and 6 is biblio_year:2016 and 7 is field_publication_state:18 and Author is Davide Falessi [Reset Search]
"Evidence Management for Compliance of Critical Systems with Safety Standards: A Survey on the State of Practice." Information and Software Technology 60 (2015): 1-15.
ist_surveymunscript.pdf (1.38 MB)
ist_surveymunscript.pdf (1.38 MB) "Traceability and SysML Design Slices to Support Safety Inspections: a Controlled Experiment." ACM Transactions on Software Engineering and Methodology 23 (2014).
An Extended Systematic Literature Review on Provision of Evidence for Safety Certification. Simula Research Laboratory, 2013.
"A Goal-Based Approach for Qualification of New Technologies: Foundations, Tool Support, and Industrial Validation." Reliability Engineering and System Safety (RESS) (2013). sabetzadeh2013goalbased.pdf (1.48 MB)
sabetzadeh2013goalbased.pdf (1.48 MB) Management of Evidence for Compliance With Safety Standards: a Survey on the State of Practice. Simula Research Laboratory, 2013. RESSJ2013.pdf (2.2 MB)
RESSJ2013.pdf (2.2 MB) Specifying a Framework for Evaluating Requirements Engineering Technology: Challenges and Lessons Learned In 3rd International Workshop on Empirical Requirements Engineering (EmpiRE 2013), Edited by M. Daneva, T. Conte, S. Marczak, A. Susi, O. Pastor and A. Marchetto. IEEE, 2013. EmpiRE2013.pdf (257.42 KB)
EmpiRE2013.pdf (257.42 KB) "The Value of Design Rationale Information." ACM Transactions on Software Engineering and Methodology 22, no. 3 (2013). Simula.approve.88.pdf (733.96 KB)
Simula.approve.88.pdf (733.96 KB) "Empirical Principles and an Industrial Case Study in Retrieving Equivalent Requirements Via Natural Language Processing Techniques." IEEE Transactions on Software Engineering 39 (2012): 18-44.
Interoperability Among UML Tools: an Industrial Case Study In CompArch 2012. Industry Day '12. New York, NY, USA: ACM, 2012.
A Model-Driven Approach for Configuring and Deploying Systems of Systems In 7th IEEE International Conference System of Systems, Edited by M. Jamshidi, R. Sacile and M. Henshaw. IEEE, 2012.
Research-Based Innovation: a Tale of Three Projects in Model-Driven Engineering In Model Driven Engineering Languages and Systems, 15th International Conference, MODELS 2012, Edited by L. Briand. Vol. 7590. Springer Berlin Heidelberg, 2012. researchbased.pdf (380.53 KB)
researchbased.pdf (380.53 KB) "A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies." Information and Software Technology 54 (2012): 569-590. Simula.simula.1122.pdf (1.06 MB)
Simula.simula.1122.pdf (1.06 MB) Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology. Simula Research Laboratory, 2011.
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology In The 13th IEEE International High Assurance Systems Engineering Symposium (HASE 2011)., 2011. sabetzadeh2011combining.pdf (438.95 KB)
sabetzadeh2011combining.pdf (438.95 KB) "Decision-Making Techniques for Software Architecture Design: a Comparative Survey." ACM Computing Surveys 43, no. 4 (2011).
"Planning for Safety Evidence Collection: a Tool-Supported Approach Based on Modeling of Standards Compliance Information." IEEE Software pp (2011). Simula.simula.182.pdf (630.37 KB)
Simula.simula.182.pdf (630.37 KB) Research-Based Innovation: a Tale of Three Projects in Model-Driven Engineering. Simula Research Laboratory, 2011. Simula.simula.820.pdf (397.42 KB)
Simula.simula.820.pdf (397.42 KB) SafeSlice: a Model Slicing and Design Safety Inspection Tool for SysML. In SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Edited by A. Z. T. Gyimóthy. ACM, 2011. Simula.simula.970.pdf (681.53 KB)
Simula.simula.970.pdf (681.53 KB) A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies. Simula Research Laboratory, 2011. Simula.simula.193.pdf (1.35 MB)
Simula.simula.193.pdf (1.35 MB) 11th International Conference on Product Focused Software Development and Process Improvement (PROFES2010) - Second Proceeding: Short Papers, Doctoral Symposium and Workshops. Universitalia, 2010.
"Applying Empirical Software Engineering to Software Architecture: Challenges and Lessons Learned." Empirical Software Engineering 15, no. 3 (2010): 250-276.
A Comprehensive Characterization of NLP Techniques for Identifying Equivalent Requirements In International Symposium on Empirical Software Engineering and Measurement (ESEM 2010), Edited by G. Succi, M. Morisio and N. Nagappan. ACM, 2010.
"Peaceful Coexistence: Agile Developer Perspectives on Software Architecture." IEEE Software 27, no. 2 (2010): 23-25.
The Value of Design Rationale Information. Simula Research Laboratory, 2010.
The Impact of Automated Support for Linking Equivalent Requirements Based on Similarity Measures. Simula Research Laboratory, 2009. Simula.SE.681.pdf (1.52 MB)
Simula.SE.681.pdf (1.52 MB)