Export 17 results:
Search results for biblio_year:1987
Filters: 1 is biblio_year:1988 and 2 is biblio_year:1983 and 3 is biblio_year:2010 and Author is Rajwinder Kaur Panesar-Walawege [Reset Search]
Filters: 1 is biblio_year:1988 and 2 is biblio_year:1983 and 3 is biblio_year:2010 and Author is Rajwinder Kaur Panesar-Walawege [Reset Search]
Insights on the Use of OCL in Diverse Industrial Applications In 8th System Analysis and Modelling Conference (SAM'14), Edited by D. Amyot, P. F. i. Casas and G. Mussbacher. Switzerland: Springer, 2014.
SafetyMet: a Metamodel for Safety Standards In ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Edited by A. Moreira, B. Schätz, J. Gray, A. Vallecillo and P. Clarke. Vol. 8107. Lecture Notes in Computer Science 8107. Berlin Heidelberg: Springer, 2013.
MODELS2013.pdf (594.09 KB)
MODELS2013.pdf (594.09 KB) "Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation." Information and Software Technology 55 (2013): 836-864.
Myths, Facts, and Misconceptions of OCL: Experiences from Diverse Industrial Applications. Simula Research Laboratory, 2012.
SafetyMet: a Metamodel for Safety Standards. Simula Research Laboratory, 2012.
On the Use of Artefacts as Safety Evidence: A Conceptual Model . Simula Research Laboratory, 2012.
Using Model-Driven Engineering to Support the Certification of Safety-Critical Systems In University of Oslo. University of Oslo, 2012. Simula.simula.1868.pdf (10.35 MB)
Simula.simula.1868.pdf (10.35 MB) CRESCO: Construction of Evidence Repositories for Managing Standards Compliance In 30th ACM International Conference on Conceptual Modeling (ER2011). Berlin Heidelberg: Springer, 2011. Simula.simula.1120.pdf (597.82 KB)
Simula.simula.1120.pdf (597.82 KB) A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards. Simula Research Laboratory, 2011.
A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards In 22th IEEE International Symposium on Software Reliability Engineering (ISSRE 2011), Edited by IEEE. IEEE, 2011. Simula.simula.716.pdf (3.75 MB)
Simula.simula.716.pdf (3.75 MB) "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) Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience In The 1st Intentional Workshop on Software Certification (WoSoCER) at 22th IEEE International Symposium on Software Reliability Engineering. Springer, 2011. Simula.simula.1132.pdf (323.12 KB)
Simula.simula.1132.pdf (323.12 KB) Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information In 30th ACM International Conference on Conceptual Modeling (ER). Vol. 6998/2011. ACM, 2011. Simula.simula.666.pdf (931.88 KB)
Simula.simula.666.pdf (931.88 KB) Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information. P.O.Box 134, 1325 Lysaker, Norway: Simula Research Laboratory, 2011. Simula.simula.600.pdf (932 KB)
Simula.simula.600.pdf (932 KB) Characterizing the Chain of Evidence for Software Safety Cases: a Conceptual Model Based on the IEC 61508 Standard In Third IEEE International Conference on Software Testing, Verification and Validation (ICST), Edited by M. Gaudel, A. R. Cavalli and S. Ghosh. IEEE Computer Society, 2010. Simula.se.687.pdf (792.84 KB)
Simula.se.687.pdf (792.84 KB) "A Systematic Review of the Application and Empirical Investigation of Search-Based Test-Case Generation." IEEE Transactions on Software Engineering 36 (2010): 742-762.
A Systematic Review of the Application and Empirical Investigation of Search-Based Test-Case Generation. Simula Research Laboratory, 2008. Simula.SE.293.pdf (980.32 KB)
Simula.SE.293.pdf (980.32 KB)