3rd Workshop on Avionics Systems and Software Engineering (AvioSE'21). Gesellschaft für Informatik e.V., 2021. [PUMA: avionics, certification, engineering, formal ils method, model-based, process, qualification, requirement, simulation, software systems tool]
Application of äbstract formal patterns” for translating natural principles into the design of new deployable structures in architecture. In Wessex Institute of Technology (Eds.), Fourth International Conference on Design & Nature, Carvoeiro, Portugal, 2008. [PUMA: 2008 abstract application architecture biomimetics deploayble design formal from:petraheim itke knippers matini natural pattern principles structure translating]
Extending the Functional and Formal vocabulary of tensile membrane structures through the interaction with bending-active elements. TensiNet symposium RETHINKING lightweight structures, Istanbul, Turkey, 2013. [PUMA: bending-active membrane functional 2013 knippers structure vocabulary extending formal ahlquist itke lienhard from:petraheim element interaction tensile menges architecture]
Extending the Functional and Formal vocabulary of tensile membrane structures through the interaction with bending-active elements. TensiNet symposium RETHINKING lightweight structures, Istanbul, Turkey, 2013. [PUMA: 2013 ahlquist architecture bending-active element extending formal functional interaction itke knippers lienhard membrane menges structure tensile vocabulary]
Application of äbstract formal patterns” for translating natural principles into the design of new deployable structures in architecture. In Wessex Institute of Technology (Eds.), Fourth International Conference on Design & Nature, Carvoeiro, Portugal, 2008. [PUMA: 2008 abstract application architecture biomimetics deploayble design formal itke knippers matini natural pattern principles structure translating]
Experience of Pragmatically Combining RE Methods for Performance Requirements in Industry. Proceedings of the 22nd IEEE International Requirements Engineering Conference (RE), 344--353, August 2014. [PUMA: architecture;PROPRE;RE automation context development;system domain;software elicitation;performance engineering engineering;performance expectations;functional factors formal methods;architecture methods;performance models;Context;Documentation;Measurement;Testing;Throughput;Time models;end-user performance requirements setting;nonfunctional specification;Adaptation specification;program specifications;industrial testing;process testing;software]