Found 3444 results
Filters: News is [Clear All Filters]
Position paper on Visions IST at the service of a changing. Europe by 2020: Learning from World ViewsEurope by 2020: Learning from World Views.
.
2005. Power Management Formalism for Embedded Software. Encyclopedia of Software EngineeringEncyclopedia of Software Engineering.
.
2012. Preliminary Study of Multi-objective Features Selection for Evolving Software Product Lines. Search Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, ProceedingsSearch Based Software Engineering: 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings.
.
2016. A Preliminary Theory for Open Source Ecosystem Micro-economics . Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability, Springer.
.
2019. Privacy and security in digital therapeutics. Digital Therapeutics for Mental Health and Addiction. :189-204.
.
2023. .
2020. Privacy and Security Technologies for Smart City Development. Security and Privacy Applications for Smart City Development. :3–23.
.
2021. Problem Analysis of Traditional IT-Security Risk Assessment Methods – An Experience Report from the Insurance and Auditing Domain. Future Challenges in Security and Privacy for Academia and IndustryFuture Challenges in Security and Privacy for Academia and Industry. 354
.
2011. Produktlinienentwicklung für Fahrerassistenzsysteme. Software-Produktlinien: MethodenSoftware-Produktlinien: Methoden.
.
2004. A Proposed Approach to the Revision of IEC 80001-1 Following Annex SL. Software Process Improvement and Capability Determination: 17th International Conference, SPICE 2017, Palma de Mallorca, Spain, October 4–5, 2017, Proceedings. :289–301.
.
2017. Reasoning On Data Streams: An Approach To Adaptation In Pervasive Systems. Nature of Computation and CommunicationNature of Computation and Communication. 144
.
2015. Refactoring Software Development Process Terminology Through the Use of Ontology. Systems, Software and Services Process Improvement: 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, ProceedingsSystems, Software and Services Process Improvement: 23rd European Conference, EuroSPI 2016, Graz, Austria, Septemb.
.
2016. A Reference Architecture for Consumer Electronics Products and its Application in Requirements Engineering. Relating Software Requirements and ArchitectureRelating Software Requirements and Architecture.
.
2011. Representing Knowledge in Robotic Systems with KnowLang. Leveraging Applications of Formal Methods, Verification, and ValidationLeveraging Applications of Formal Methods, Verification, and Validation.
.
2012. Requirements Engineering for Adaptive and Self-Adaptive Systems. Software Technology: 10 Years of Innovation in IEEE Computer.
.
2018. Requirements Engineering für eingebettete Software. Software Engineering eingebetteter Systeme: Grundlagen - Methodik - AnwendungenSoftware Engineering eingebetteter Systeme: Grundlagen - Methodik - Anwendungen.
.
2005. The Research Grant Application Process through a Lean Six Sigma lens. Lean Sigma Six for Higher Education: A Practical Guide for Continuous Improvement Professionals in Higher Education.
.
2020. Reuse by Inheritance in Agent Programming Languages. Intelligent Distributed Computing VIntelligent Distributed Computing V.
.
2012. The Route to Software Process Improvement in Small- and Medium-Sized Enterprises. Managing Software Process Evolution: Traditional, Agile and Beyond – How to Handle Process ChangeManaging Software Process Evolution: Traditional, Agile and Beyond – How to Handle Process Change.
.
2016. Safe Artificial Intelligence and Formal Methods. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part ILeveraging Applications of Formal Methods, Verific.
.
2016. Safety Critical Software Development – Extending Quality Management System Practices to Achieve Compliance with Regulatory Requirements. Software Process Improvement and Capability Determination: 16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016, ProceedingsSoftware Process Improvement and Capability Determination: 16th International Conference, SPICE 2016, Dublin.
.
2016. Search-based Refactoring Detection using Software Metrics Variation. Search Based Software EngineeringSearch Based Software Engineering.
.
2013. Search-Based Refactoring for Layered Architecture Repair: An Initial Investigation. Proceedings of the North American Search Based Software Engineering Symposium (NasBASE)Proceedings of the North American Search Based Software Engineering Symposium (NasBASE).
.
2015. Security Design Patterns in the MASTER Workbench. Cyberpatterns Unifying Design Patterns with Security and Attack PatternsCyberpatterns Unifying Design Patterns with Security and Attack Patterns.
.
2014. .
2020.