Compliance-aware engineering process plans: the case of space software engineering processes

[1]  Kristian Beckers,et al.  How to Integrate Security Compliance Requirements with Agile Software Engineering at Scale? , 2021, PROFES.

[2]  Julieth Patricia Castellanos Ardila,et al.  Separation of Concerns in Process Compliance Checking: Divide-and-Conquer , 2020, EuroSPI.

[3]  James Steele.  What is (perception of) effort? Objective and subjective effort during task performance , 2020 .

[4]  Nancy Leveson,et al.  Are you sure your software will not kill anyone? , 2020, Commun. ACM.

[5]  Barbara Gallina,et al.  The AMASS Tool Platform: An Innovative Solution for Assurance and Certication of Cyber-Physical Systems , 2020, REFSQ Workshops.

[6]  Duty of care and engineering functional-safety standards , 2019 .

[7]  Alejandra Ruiz,et al.  AMASS: A Large-Scale European Project to Improve the Assurance and Certification of Cyber-Physical Systems , 2019, PROFES.

[8]  Antonella Santone,et al.  Model Checking Based Approach for Compliance Checking , 2019, Inf. Technol. Control..

[9]  Peter J. Denning,et al.  Computational Thinking , 2019 .

[10]  Peter J. Denning,et al.  9 FUTURE COMPUTATION , 2019 .

[11]  Julieth Patricia Castellanos Ardila.  Facilitating Automated Compliance Checking in the Safety-critical Context , 2018, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[12]  Julieth Patricia Castellanos Ardila,et al.  Transforming SPEM 2.0-Compatible Process Models into Models Checkable for Compliance , 2018 .

[13]  Barbara Gallina,et al.  Safety-oriented process line engineering via seamless integration between EPF composer and BVR tool , 2018, SPLC.

[14]  Julieth Patricia Castellanos Ardila,et al.  Enabling Compliance Checking Against Safety Standards from SPEM 2.0 Process Models , 2018, 2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).

[15]  Julieth Patricia Castellanos Ardila,et al.  Compliance of agilized (software) development processes with safety standards: a vision , 2018, XP Companion.

[16]  Muhammad Atif Javed,et al.  Get EPF Composer back to the future: A trip from Galileo to Photon after 11 years , 2018 .

[17]  Gerard O’Regan.  Overview of Software Engineering , 2018 .

[18]  Fahad Rafique Golra,et al.  Continuous Process Compliance Using Model Driven Engineering , 2017, MEDI.

[19]  Julieth Patricia Castellanos Ardila,et al.  Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262 , 2017, TERECOM@JURIX.

[20]  Ville Rantala,et al.  Agile Embedded System Development versus European Space Standards , 2017, Int. J. Inf. Syst. Soc. Chang..

[21]  Neil Walkinshaw,et al.  Software Quality Assurance , 2017, Undergraduate Topics in Computer Science.

[22]  Ricardo Eito-Brun,et al.  Dealing with software process requirements complexity: an information access proposal based on semantic technologies , 2017, Requirements Engineering.

[23]  Livio Robaldo,et al.  Towards Legal Compliance by Correlating Standards and Laws with a Semi-automated Methodology , 2016, BNCAI.

[24]  Barbara Gallina,et al.  Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128 , 2016, SPICE.

[25]  Jose Luis de la Vara,et al.  AMASS : Architecture-driven, Multi-concern, Seamless, Reuse-Oriented Assurance and Certification of CPSs , 2016 .

[26]  J. Harrison,et al.  The Volkswagen Scandal , 2016 .

[27]  Maike Rosinger,et al.  SPEM 2.0 as process baseline Meta-Model for the development and optimization of complex embedded systems , 2015, 2015 IEEE International Symposium on Systems Engineering (ISSE).

[28]  Guido Governatori,et al.  The Regorous Approach to Process Compliance , 2015, 2015 IEEE 19th International Enterprise Distributed Object Computing Workshop.

[29]  Moe Thandar Wynn,et al.  Normative Requirements for Business Process Compliance , 2013, ASSRI.

[30]  T. Purdie,et al.  The Process Improvement Handbook: A Blueprint for Managing Change and Increasing Organizational Performance , 2013 .

[31]  Jose Luis de la Vara,et al.  SafetyMet: A Metamodel for Safety Standards , 2013, MoDELS.

[32]  Juan Manuel Dodero,et al.  Uses and applications of Software & Systems Process Engineering Meta‐Model process models. A systematic mapping study , 2013, J. Softw. Evol. Process..

[33]  Marco Kuhrmann,et al.  Criteria for software process tailoring: a systematic review , 2013, ICSSP 2013.

[34]  Daniel Sundmark,et al.  Liability for software in safety-critical mechatronic systems: An industrial questionnaire , 2012, 2012 Second International Workshop on Software Engineering for Embedded Systems (SEES).

[35]  Austen Rainer,et al.  Case Study Research in Software Engineering - Guidelines and Examples , 2012 .

[36]  Nancy G. Leveson,et al.  Engineering a Safer World: Systems Thinking Applied to Safety , 2012 .

[37]  Elena García Barriocanal,et al.  Applying Ontology-Based Models for Supporting Integrated Software Development and IT Service Management Processes , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[38]  Juan Manuel Dodero,et al.  Uses and Applications of SPEM Process Models . A Systematic Mapping Study , 2012 .

[39]  John Mylopoulos,et al.  Establishing Regulatory Compliance for Software Requirements , 2011, ER.

[40]  Robert Feldt,et al.  ECSS standard compliant agile software development: an industrial case study , 2010, NSEC '10.

[41]  Daniel Rodriguez,et al.  DEFINING SOFTWARE PROCESS MODEL CONSTRAINTS WITH RULES USING OWL AND SWRL , 2010 .

[42]  Mehrdad Sabetzadeh,et al.  Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[43]  Luigi Buglione,et al.  The need for a legal perspective in software engineering maturity models , 2010 .

[44]  Elena García Barriocanal,et al.  Defining Software Process Model Constraints with Rules Using OWL and SWRL , 2010, Int. J. Softw. Eng. Knowl. Eng..

[45]  John Mylopoulos,et al.  From Laws to Requirements , 2008, 2008 Requirements Engineering and Law.

[46]  Daniel Amyot,et al.  Comparative Analysis between Document-based and Model-based Compliance Management Approaches , 2008, 2008 Requirements Engineering and Law.

[47]  Paul W. H. Chung,et al.  Compliance Flow - Managing the compliance of dynamic and complex processes , 2008, Knowl. Based Syst..

[48]  Shazia Wasim Sadiq,et al.  Compliance Aware Business Process Design , 2007, Business Process Management Workshops.

[49]  Shazia Wasim Sadiq,et al.  Modeling Control Objectives for Business Process Compliance , 2007, BPM.

[50]  Jeannette M. Wing.  An introduction to computer science for non-majors using principles of computation , 2007, SIGCSE.

[51]  Longfei Jin,et al.  Represent Software Process Engineering Metamodel in Description Logic , 2006 .

[52]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[53]  Michael A. Cusumano,et al.  Who is liable for bugs and security flaws in software? , 2004, CACM.

[54]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[55]  John Cosgrove.  Manager - Software Engineering and the Law , 2001, IEEE Softw..

[56]  Alan L. Schwartz.  Statutory interpretation, capture, and tort law: the regulatory compliance defense , 2000 .

[57]  Wolfgang Emmerich,et al.  Managing Standards Compliance , 1999, IEEE Trans. Software Eng..

[58]  A. Cant,et al.  A framework for assessing standards for safety critical computer-based systems , 1999, Proceedings 4th IEEE International Software Engineering Standards Symposium and Forum (ISESS'99). 'Best Software Practices for the Internet Age'.

[59]  George S. Avrunin,et al.  Patterns in property specifications for finite-state verification , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[60]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[61]  Mark Dowson,et al.  The Ariane 5 software failure , 1997, SOEN.

[62]  Douglas R. Smith,et al.  The Design of Divide and Conquer Algorithms , 1985, Sci. Comput. Program..

[63]  Fred D. Davis.  A technology acceptance model for empirically testing new end-user information systems : theory and results , 1985 .

[64]  Robert M. Poston,et al.  Software Quality Assurance , 1984, IEEE Transactions on Software Engineering.