[HTML][HTML] Security patterns modeling and formalization for pattern-based development of secure software systems
B Hamid, S Gürgens, A Fuchs - Innovations in Systems and Software …, 2016 - Springer
Pattern-based development of software systems has gained more attention recently by
addressing new challenges such as security and dependability. However, there are still …
addressing new challenges such as security and dependability. However, there are still …
Generating an Object Oriented IEC 61131-3 software product line architecture from SysML
N Papakonstantinou, S Sierla - 2013 IEEE 18th Conference on …, 2013 - ieeexplore.ieee.org
The software product line has emerged as a successful paradigm for offering a broad range
of customer options with decreased development time and cost. The Unified Modeling …
of customer options with decreased development time and cost. The Unified Modeling …
A model-driven approach for developing a model repository: Methodology and tool support
B Hamid - Future Generation Computer Systems, 2017 - Elsevier
Several development approaches have been proposed to cope with the increasing
complexity of embedded system design. The most widely used approaches are those using …
complexity of embedded system design. The most widely used approaches are those using …
A model repository description language-MRDL
B Hamid - Software Reuse: Bridging with Social-Awareness: 15th …, 2016 - Springer
Repository-based development of software systems has gained more attention recently by
addressing new challenges such as security and dependability. However, there are still …
addressing new challenges such as security and dependability. However, there are still …
Safety lifecycle development process modeling for embedded systems-example of railway domain
Nowadays, many practitioners express their worries about current software engineering
practices. New recommendations should be considered to ground software engineering on …
practices. New recommendations should be considered to ground software engineering on …
Firmware synthesis for ultra-thin iot devices based on model integration
A Kühlwein, A Paule, L Hielscher… - 2019 ACM/IEEE …, 2019 - ieeexplore.ieee.org
The following topics are dealt with: formal specification; software engineering; Unified
Modeling Language; specification languages; software architecture; object-oriented …
Modeling Language; specification languages; software architecture; object-oriented …
Process and tool support for design patterns with safety requirements
A Radermacher, B Hamid, M Fredj… - Proceedings of the 18th …, 2013 - dl.acm.org
The requirement for higher Security and Dependability (S&D) of systems is continuously
increasing, even in domains tradi-tionally not deeply involved in such issues. Nowadays …
increasing, even in domains tradi-tionally not deeply involved in such issues. Nowadays …
A model-based repository of security and dependability patterns for trusted RCES
The requirement for higher Security and Dependability (S&D) of systems is continuously
increasing, even in domains traditionally not deeply involved in such issues. Nowadays …
increasing, even in domains traditionally not deeply involved in such issues. Nowadays …
Modelling protocol gateways for cyber-physical systems using Architecture Analysis & Design Language
Developing, configuring, and deploying legacy protocol gateways for existing cyber-physical
systems to improve interoperability remains challenging. A possible solution is using model …
systems to improve interoperability remains challenging. A possible solution is using model …
A look back: undergraduate computer science education: a new curriculum philosophy and overview
JC Knight, JC Prey, WA Wulf - … Teaching and Learning in an Era …, 1997 - ieeexplore.ieee.org
As the discipline of computer science grew, undergraduate computer science education
continued to change and, has for the most part, kept pace with the new topics in the field …
continued to change and, has for the most part, kept pace with the new topics in the field …