PUMA publications for /tag/formalhttps://puma.ub.uni-stuttgart.de/tag/formalPUMA RSS feed for /tag/formal2024-03-28T17:59:04+01:00Experience of Pragmatically Combining RE Methods for Performance Requirements in Industryhttps://puma.ub.uni-stuttgart.de/bibtex/2380ec50a446689719f3bb39dab52e189/snowballsnowball2018-02-15T09:08:01+01:00architecture;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 <span data-person-type="author" class="authorEditorList "><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Rebekka Wohlrab" itemprop="url" href="/person/1c63c96c19f8ad0801e7b681c51fbe9e1/author/0"><span itemprop="name">R. Wohlrab</span></a></span>, </span><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Thijmen de Gooijer" itemprop="url" href="/person/1c63c96c19f8ad0801e7b681c51fbe9e1/author/1"><span itemprop="name">T. de Gooijer</span></a></span>, </span><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Anne Koziolek" itemprop="url" href="/person/1c63c96c19f8ad0801e7b681c51fbe9e1/author/2"><span itemprop="name">A. Koziolek</span></a></span>, </span> and <span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Steffen Becker" itemprop="url" href="/person/1c63c96c19f8ad0801e7b681c51fbe9e1/author/3"><span itemprop="name">S. Becker</span></a></span></span>. </span><span class="additional-entrytype-information"><span itemtype="http://schema.org/Book" itemscope="itemscope" itemprop="isPartOf"><em><span itemprop="name">Proceedings of the 22nd IEEE International Requirements Engineering Conference (RE)</span>, </em></span><em>page <span itemprop="pagination">344--353</span>. </em>(<em><span>August 2014<meta content="August 2014" itemprop="datePublished"/></span></em>)</span>Thu Feb 15 09:08:01 CET 2018Proceedings of the 22nd IEEE International Requirements Engineering Conference (RE)Aug344--353Experience of Pragmatically Combining {RE} Methods for Performance Requirements in Industry2014architecture;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 To meet end-user performance expectations, precise performance requirements are needed during development and testing, e.g., to conduct detailed performance and load tests. However, in practice, several factors complicate performance requirements elicitation: lacking skills in performance requirements engineering, outdated or unavailable functional specifications and architecture models, the specification of the system's context, lack of experience to collect good performance requirements in an industrial setting with very limited time, etc. From the small set of available non-functional requirements engineering methods, no method exists that alone leads to precise and complete performance requirements with feasible effort and which has been reported to work in an industrial setting. In this paper, we present our experiences in combining existing requirements engineering methods into a performance requirements method called PROPRE. It has been designed to require no up-to-date system documentation and to be applicable with limited time and effort. We have successfully applied PROPRE in an industrial case study from the process automation domain. Our lessons learned show that the stakeholders gathered good performance requirements which now improve performance testing.Application of äbstract formal patterns” for translating natural principles into the design of new deployable structures in architecturehttps://puma.ub.uni-stuttgart.de/bibtex/272042ef9abba00c7524b3efd8a96df5d/petraheimpetraheim2020-05-15T15:17:32+02:002008 abstract application architecture biomimetics deploayble design formal itke knippers matini natural pattern principles structure translating <span data-person-type="author" class="authorEditorList "><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Mohammad Reza Matini" itemprop="url" href="/person/18738b940a36a5f186cdbad1a6924a1a6/author/0"><span itemprop="name">M. Matini</span></a></span>, </span> and <span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Jan Knippers" itemprop="url" href="/person/18738b940a36a5f186cdbad1a6924a1a6/author/1"><span itemprop="name">J. Knippers</span></a></span></span>. </span><span class="additional-entrytype-information"><span itemtype="http://schema.org/Book" itemscope="itemscope" itemprop="isPartOf"><em><span itemprop="name">Fourth International Conference on Design & Nature</span>, </em></span><em>Carvoeiro, Portugal, </em><em>Wessex Institute of Technology, </em>(<em><span>2008<meta content="2008" itemprop="datePublished"/></span></em>)</span>Fri May 15 15:17:32 CEST 2020Carvoeiro, Portugal Fourth International Conference on Design & NatureApplication of "abstract formal patterns” for translating natural principles into the design of new deployable structures in architecture20082008 abstract application architecture biomimetics deploayble design formal itke knippers matini natural pattern principles structure translating Extending the Functional and Formal vocabulary of tensile membrane structures through the interaction with bending-active elementshttps://puma.ub.uni-stuttgart.de/bibtex/234350a3971e748d664205dbe901e6446/petraheimpetraheim2020-05-18T14:02:26+02:002013 ahlquist architecture bending-active element extending formal functional interaction itke knippers lienhard membrane menges structure tensile vocabulary <span data-person-type="author" class="authorEditorList "><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Julian Lienhard" itemprop="url" href="/person/1d626e03112fbf540df67ce61d2fb1ea9/author/0"><span itemprop="name">J. Lienhard</span></a></span>, </span><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Sean Ahlquist" itemprop="url" href="/person/1d626e03112fbf540df67ce61d2fb1ea9/author/1"><span itemprop="name">S. Ahlquist</span></a></span>, </span><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Jan Knippers" itemprop="url" href="/person/1d626e03112fbf540df67ce61d2fb1ea9/author/2"><span itemprop="name">J. Knippers</span></a></span>, </span> and <span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Achim Menges" itemprop="url" href="/person/1d626e03112fbf540df67ce61d2fb1ea9/author/3"><span itemprop="name">A. Menges</span></a></span></span>. </span><span class="additional-entrytype-information"><span itemtype="http://schema.org/Book" itemscope="itemscope" itemprop="isPartOf"><em><span itemprop="name">TensiNet symposium RETHINKING lightweight structures</span>, </em></span><em>Istanbul, Turkey, </em>(<em><span>2013<meta content="2013" itemprop="datePublished"/></span></em>)</span>Mon May 18 14:02:26 CEST 2020Istanbul, TurkeyTensiNet symposium [RE]THINKING lightweight structuresExtending the Functional and Formal vocabulary of tensile membrane structures through the interaction with bending-active elements20132013 ahlquist architecture bending-active element extending formal functional interaction itke knippers lienhard membrane menges structure tensile vocabulary Extending the Functional and Formal vocabulary of tensile membrane structures through the interaction with bending-active elementshttps://puma.ub.uni-stuttgart.de/bibtex/234350a3971e748d664205dbe901e6446/itkeitke2020-05-22T14:23:59+02:00bending-active membrane functional 2013 knippers structure vocabulary extending formal ahlquist itke lienhard from:petraheim element interaction tensile menges architecture <span data-person-type="author" class="authorEditorList "><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Julian Lienhard" itemprop="url" href="/person/1d626e03112fbf540df67ce61d2fb1ea9/author/0"><span itemprop="name">J. Lienhard</span></a></span>, </span><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Sean Ahlquist" itemprop="url" href="/person/1d626e03112fbf540df67ce61d2fb1ea9/author/1"><span itemprop="name">S. Ahlquist</span></a></span>, </span><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Jan Knippers" itemprop="url" href="/person/1d626e03112fbf540df67ce61d2fb1ea9/author/2"><span itemprop="name">J. Knippers</span></a></span>, </span> and <span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Achim Menges" itemprop="url" href="/person/1d626e03112fbf540df67ce61d2fb1ea9/author/3"><span itemprop="name">A. Menges</span></a></span></span>. </span><span class="additional-entrytype-information"><span itemtype="http://schema.org/Book" itemscope="itemscope" itemprop="isPartOf"><em><span itemprop="name">TensiNet symposium RETHINKING lightweight structures</span>, </em></span><em>Istanbul, Turkey, </em>(<em><span>2013<meta content="2013" itemprop="datePublished"/></span></em>)</span>Fri May 22 14:23:59 CEST 2020Istanbul, TurkeyTensiNet symposium [RE]THINKING lightweight structuresExtending the Functional and Formal vocabulary of tensile membrane structures through the interaction with bending-active elements2013bending-active membrane functional 2013 knippers structure vocabulary extending formal ahlquist itke lienhard from:petraheim element interaction tensile menges architecture Application of äbstract formal patterns” for translating natural principles into the design of new deployable structures in architecturehttps://puma.ub.uni-stuttgart.de/bibtex/272042ef9abba00c7524b3efd8a96df5d/itkeitke2020-05-22T14:24:43+02:002008 abstract application architecture biomimetics deploayble design formal from:petraheim itke knippers matini natural pattern principles structure translating <span data-person-type="author" class="authorEditorList "><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Mohammad Reza Matini" itemprop="url" href="/person/18738b940a36a5f186cdbad1a6924a1a6/author/0"><span itemprop="name">M. Matini</span></a></span>, </span> and <span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Jan Knippers" itemprop="url" href="/person/18738b940a36a5f186cdbad1a6924a1a6/author/1"><span itemprop="name">J. Knippers</span></a></span></span>. </span><span class="additional-entrytype-information"><span itemtype="http://schema.org/Book" itemscope="itemscope" itemprop="isPartOf"><em><span itemprop="name">Fourth International Conference on Design & Nature</span>, </em></span><em>Carvoeiro, Portugal, </em><em>Wessex Institute of Technology, </em>(<em><span>2008<meta content="2008" itemprop="datePublished"/></span></em>)</span>Fri May 22 14:24:43 CEST 2020Carvoeiro, Portugal Fourth International Conference on Design & NatureApplication of "abstract formal patterns” for translating natural principles into the design of new deployable structures in architecture20082008 abstract application architecture biomimetics deploayble design formal from:petraheim itke knippers matini natural pattern principles structure translating 3rd Workshop on Avionics Systems and Software Engineering (AvioSE'21)https://puma.ub.uni-stuttgart.de/bibtex/20388bfe0b5d23bd94358647aea1ec7ae/annighoeferannighoefer2021-01-29T16:01:01+01:00avionics, certification, engineering, formal ils method, model-based, process, qualification, requirement, simulation, software systems tool <span data-person-type="author" class="authorEditorList "><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Björn Annighöfer" itemprop="url" href="/person/12dd36e629539780013d8bd7464543e1a/author/0"><span itemprop="name">B. Annighöfer</span></a></span>, </span><span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Andreas Schweiger" itemprop="url" href="/person/12dd36e629539780013d8bd7464543e1a/author/1"><span itemprop="name">A. Schweiger</span></a></span>, </span> and <span><span itemtype="http://schema.org/Person" itemscope="itemscope" itemprop="author"><a title="Marina Reich" itemprop="url" href="/person/12dd36e629539780013d8bd7464543e1a/author/2"><span itemprop="name">M. Reich</span></a></span></span>. </span><span class="additional-entrytype-information"><span itemtype="http://schema.org/PublicationIssue" itemscope="itemscope" itemprop="isPartOf"> </span>(<em><span>2021<meta content="2021" itemprop="datePublished"/></span></em>)</span>Fri Jan 29 16:01:01 CET 20213rd Workshop on Avionics Systems and Software Engineering (AvioSE'21)2021avionics, certification, engineering, formal ils method, model-based, process, qualification, requirement, simulation, software systems tool