Agile requirements engineering via paraconsistent reasoning
Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper e...
Ausführliche Beschreibung
Gespeichert in:
| Autor*in: |
Ernst, Neil A. [verfasserIn] |
|---|
| Format: |
E-Artikel |
|---|---|
| Sprache: |
Englisch |
| Erschienen: |
2014transfer abstract |
|---|
| Schlagwörter: |
|---|
| Umfang: |
17 |
|---|
| Übergeordnetes Werk: |
Enthalten in: Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty - Cheah, Jonathan W. ELSEVIER, 2022, IS : an international journal : data bases, Oxford [u.a.] |
|---|---|
| Übergeordnetes Werk: |
volume:43 ; year:2014 ; pages:100-116 ; extent:17 |
| Links: |
|---|
| DOI / URN: |
10.1016/j.is.2013.05.008 |
|---|
| Katalog-ID: |
ELV028008499 |
|---|
| LEADER | 01000caa a22002652 4500 | ||
|---|---|---|---|
| 001 | ELV028008499 | ||
| 003 | DE-627 | ||
| 005 | 20230625152810.0 | ||
| 007 | cr uuu---uuuuu | ||
| 008 | 180603s2014 xx |||||o 00| ||eng c | ||
| 024 | 7 | |a 10.1016/j.is.2013.05.008 |2 doi | |
| 028 | 5 | 2 | |a GBV00000000000758.pica |
| 035 | |a (DE-627)ELV028008499 | ||
| 035 | |a (ELSEVIER)S0306-4379(13)00077-X | ||
| 040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
| 041 | |a eng | ||
| 082 | 0 | 4 | |a 610 |q VZ |
| 084 | |a 44.83 |2 bkl | ||
| 100 | 1 | |a Ernst, Neil A. |e verfasserin |4 aut | |
| 245 | 1 | 0 | |a Agile requirements engineering via paraconsistent reasoning |
| 264 | 1 | |c 2014transfer abstract | |
| 300 | |a 17 | ||
| 336 | |a nicht spezifiziert |b zzz |2 rdacontent | ||
| 337 | |a nicht spezifiziert |b z |2 rdamedia | ||
| 338 | |a nicht spezifiziert |b zu |2 rdacarrier | ||
| 520 | |a Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. | ||
| 520 | |a Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. | ||
| 650 | 7 | |a Paraconsistency |2 Elsevier | |
| 650 | 7 | |a Software requirements |2 Elsevier | |
| 650 | 7 | |a Requirements evolution |2 Elsevier | |
| 650 | 7 | |a Agile methods |2 Elsevier | |
| 700 | 1 | |a Borgida, Alexander |4 oth | |
| 700 | 1 | |a Jureta, Ivan J. |4 oth | |
| 700 | 1 | |a Mylopoulos, John |4 oth | |
| 773 | 0 | 8 | |i Enthalten in |n Pergamon Press |a Cheah, Jonathan W. ELSEVIER |t Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty |d 2022 |d IS : an international journal : data bases |g Oxford [u.a.] |w (DE-627)ELV007912846 |
| 773 | 1 | 8 | |g volume:43 |g year:2014 |g pages:100-116 |g extent:17 |
| 856 | 4 | 0 | |u https://doi.org/10.1016/j.is.2013.05.008 |3 Volltext |
| 912 | |a GBV_USEFLAG_U | ||
| 912 | |a GBV_ELV | ||
| 912 | |a SYSFLAG_U | ||
| 912 | |a SSG-OLC-PHA | ||
| 936 | b | k | |a 44.83 |j Rheumatologie |j Orthopädie |q VZ |
| 951 | |a AR | ||
| 952 | |d 43 |j 2014 |h 100-116 |g 17 | ||
| author_variant |
n a e na nae |
|---|---|
| matchkey_str |
ernstneilaborgidaalexanderjuretaivanjmyl:2014----:glrqieetegneigiprcn |
| hierarchy_sort_str |
2014transfer abstract |
| bklnumber |
44.83 |
| publishDate |
2014 |
| allfields |
10.1016/j.is.2013.05.008 doi GBV00000000000758.pica (DE-627)ELV028008499 (ELSEVIER)S0306-4379(13)00077-X DE-627 ger DE-627 rakwb eng 610 VZ 44.83 bkl Ernst, Neil A. verfasserin aut Agile requirements engineering via paraconsistent reasoning 2014transfer abstract 17 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. Paraconsistency Elsevier Software requirements Elsevier Requirements evolution Elsevier Agile methods Elsevier Borgida, Alexander oth Jureta, Ivan J. oth Mylopoulos, John oth Enthalten in Pergamon Press Cheah, Jonathan W. ELSEVIER Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty 2022 IS : an international journal : data bases Oxford [u.a.] (DE-627)ELV007912846 volume:43 year:2014 pages:100-116 extent:17 https://doi.org/10.1016/j.is.2013.05.008 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U SSG-OLC-PHA 44.83 Rheumatologie Orthopädie VZ AR 43 2014 100-116 17 |
| spelling |
10.1016/j.is.2013.05.008 doi GBV00000000000758.pica (DE-627)ELV028008499 (ELSEVIER)S0306-4379(13)00077-X DE-627 ger DE-627 rakwb eng 610 VZ 44.83 bkl Ernst, Neil A. verfasserin aut Agile requirements engineering via paraconsistent reasoning 2014transfer abstract 17 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. Paraconsistency Elsevier Software requirements Elsevier Requirements evolution Elsevier Agile methods Elsevier Borgida, Alexander oth Jureta, Ivan J. oth Mylopoulos, John oth Enthalten in Pergamon Press Cheah, Jonathan W. ELSEVIER Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty 2022 IS : an international journal : data bases Oxford [u.a.] (DE-627)ELV007912846 volume:43 year:2014 pages:100-116 extent:17 https://doi.org/10.1016/j.is.2013.05.008 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U SSG-OLC-PHA 44.83 Rheumatologie Orthopädie VZ AR 43 2014 100-116 17 |
| allfields_unstemmed |
10.1016/j.is.2013.05.008 doi GBV00000000000758.pica (DE-627)ELV028008499 (ELSEVIER)S0306-4379(13)00077-X DE-627 ger DE-627 rakwb eng 610 VZ 44.83 bkl Ernst, Neil A. verfasserin aut Agile requirements engineering via paraconsistent reasoning 2014transfer abstract 17 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. Paraconsistency Elsevier Software requirements Elsevier Requirements evolution Elsevier Agile methods Elsevier Borgida, Alexander oth Jureta, Ivan J. oth Mylopoulos, John oth Enthalten in Pergamon Press Cheah, Jonathan W. ELSEVIER Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty 2022 IS : an international journal : data bases Oxford [u.a.] (DE-627)ELV007912846 volume:43 year:2014 pages:100-116 extent:17 https://doi.org/10.1016/j.is.2013.05.008 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U SSG-OLC-PHA 44.83 Rheumatologie Orthopädie VZ AR 43 2014 100-116 17 |
| allfieldsGer |
10.1016/j.is.2013.05.008 doi GBV00000000000758.pica (DE-627)ELV028008499 (ELSEVIER)S0306-4379(13)00077-X DE-627 ger DE-627 rakwb eng 610 VZ 44.83 bkl Ernst, Neil A. verfasserin aut Agile requirements engineering via paraconsistent reasoning 2014transfer abstract 17 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. Paraconsistency Elsevier Software requirements Elsevier Requirements evolution Elsevier Agile methods Elsevier Borgida, Alexander oth Jureta, Ivan J. oth Mylopoulos, John oth Enthalten in Pergamon Press Cheah, Jonathan W. ELSEVIER Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty 2022 IS : an international journal : data bases Oxford [u.a.] (DE-627)ELV007912846 volume:43 year:2014 pages:100-116 extent:17 https://doi.org/10.1016/j.is.2013.05.008 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U SSG-OLC-PHA 44.83 Rheumatologie Orthopädie VZ AR 43 2014 100-116 17 |
| allfieldsSound |
10.1016/j.is.2013.05.008 doi GBV00000000000758.pica (DE-627)ELV028008499 (ELSEVIER)S0306-4379(13)00077-X DE-627 ger DE-627 rakwb eng 610 VZ 44.83 bkl Ernst, Neil A. verfasserin aut Agile requirements engineering via paraconsistent reasoning 2014transfer abstract 17 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. Paraconsistency Elsevier Software requirements Elsevier Requirements evolution Elsevier Agile methods Elsevier Borgida, Alexander oth Jureta, Ivan J. oth Mylopoulos, John oth Enthalten in Pergamon Press Cheah, Jonathan W. ELSEVIER Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty 2022 IS : an international journal : data bases Oxford [u.a.] (DE-627)ELV007912846 volume:43 year:2014 pages:100-116 extent:17 https://doi.org/10.1016/j.is.2013.05.008 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U SSG-OLC-PHA 44.83 Rheumatologie Orthopädie VZ AR 43 2014 100-116 17 |
| language |
English |
| source |
Enthalten in Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty Oxford [u.a.] volume:43 year:2014 pages:100-116 extent:17 |
| sourceStr |
Enthalten in Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty Oxford [u.a.] volume:43 year:2014 pages:100-116 extent:17 |
| format_phy_str_mv |
Article |
| bklname |
Rheumatologie Orthopädie |
| institution |
findex.gbv.de |
| topic_facet |
Paraconsistency Software requirements Requirements evolution Agile methods |
| dewey-raw |
610 |
| isfreeaccess_bool |
false |
| container_title |
Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty |
| authorswithroles_txt_mv |
Ernst, Neil A. @@aut@@ Borgida, Alexander @@oth@@ Jureta, Ivan J. @@oth@@ Mylopoulos, John @@oth@@ |
| publishDateDaySort_date |
2014-01-01T00:00:00Z |
| hierarchy_top_id |
ELV007912846 |
| dewey-sort |
3610 |
| id |
ELV028008499 |
| language_de |
englisch |
| fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">ELV028008499</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230625152810.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">180603s2014 xx |||||o 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/j.is.2013.05.008</subfield><subfield code="2">doi</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">GBV00000000000758.pica</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)ELV028008499</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ELSEVIER)S0306-4379(13)00077-X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">610</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">44.83</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ernst, Neil A.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Agile requirements engineering via paraconsistent reasoning</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2014transfer abstract</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">z</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zu</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Paraconsistency</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software requirements</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Requirements evolution</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Agile methods</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Borgida, Alexander</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jureta, Ivan J.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mylopoulos, John</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="n">Pergamon Press</subfield><subfield code="a">Cheah, Jonathan W. ELSEVIER</subfield><subfield code="t">Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty</subfield><subfield code="d">2022</subfield><subfield code="d">IS : an international journal : data bases</subfield><subfield code="g">Oxford [u.a.]</subfield><subfield code="w">(DE-627)ELV007912846</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:43</subfield><subfield code="g">year:2014</subfield><subfield code="g">pages:100-116</subfield><subfield code="g">extent:17</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1016/j.is.2013.05.008</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ELV</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-PHA</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">44.83</subfield><subfield code="j">Rheumatologie</subfield><subfield code="j">Orthopädie</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">43</subfield><subfield code="j">2014</subfield><subfield code="h">100-116</subfield><subfield code="g">17</subfield></datafield></record></collection>
|
| author |
Ernst, Neil A. |
| spellingShingle |
Ernst, Neil A. ddc 610 bkl 44.83 Elsevier Paraconsistency Elsevier Software requirements Elsevier Requirements evolution Elsevier Agile methods Agile requirements engineering via paraconsistent reasoning |
| authorStr |
Ernst, Neil A. |
| ppnlink_with_tag_str_mv |
@@773@@(DE-627)ELV007912846 |
| format |
electronic Article |
| dewey-ones |
610 - Medicine & health |
| delete_txt_mv |
keep |
| author_role |
aut |
| collection |
elsevier |
| remote_str |
true |
| illustrated |
Not Illustrated |
| topic_title |
610 VZ 44.83 bkl Agile requirements engineering via paraconsistent reasoning Paraconsistency Elsevier Software requirements Elsevier Requirements evolution Elsevier Agile methods Elsevier |
| topic |
ddc 610 bkl 44.83 Elsevier Paraconsistency Elsevier Software requirements Elsevier Requirements evolution Elsevier Agile methods |
| topic_unstemmed |
ddc 610 bkl 44.83 Elsevier Paraconsistency Elsevier Software requirements Elsevier Requirements evolution Elsevier Agile methods |
| topic_browse |
ddc 610 bkl 44.83 Elsevier Paraconsistency Elsevier Software requirements Elsevier Requirements evolution Elsevier Agile methods |
| format_facet |
Elektronische Aufsätze Aufsätze Elektronische Ressource |
| format_main_str_mv |
Text Zeitschrift/Artikel |
| carriertype_str_mv |
zu |
| author2_variant |
a b ab i j j ij ijj j m jm |
| hierarchy_parent_title |
Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty |
| hierarchy_parent_id |
ELV007912846 |
| dewey-tens |
610 - Medicine & health |
| hierarchy_top_title |
Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty |
| isfreeaccess_txt |
false |
| familylinks_str_mv |
(DE-627)ELV007912846 |
| title |
Agile requirements engineering via paraconsistent reasoning |
| ctrlnum |
(DE-627)ELV028008499 (ELSEVIER)S0306-4379(13)00077-X |
| title_full |
Agile requirements engineering via paraconsistent reasoning |
| author_sort |
Ernst, Neil A. |
| journal |
Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty |
| journalStr |
Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty |
| lang_code |
eng |
| isOA_bool |
false |
| dewey-hundreds |
600 - Technology |
| recordtype |
marc |
| publishDateSort |
2014 |
| contenttype_str_mv |
zzz |
| container_start_page |
100 |
| author_browse |
Ernst, Neil A. |
| container_volume |
43 |
| physical |
17 |
| class |
610 VZ 44.83 bkl |
| format_se |
Elektronische Aufsätze |
| author-letter |
Ernst, Neil A. |
| doi_str_mv |
10.1016/j.is.2013.05.008 |
| dewey-full |
610 |
| title_sort |
agile requirements engineering via paraconsistent reasoning |
| title_auth |
Agile requirements engineering via paraconsistent reasoning |
| abstract |
Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. |
| abstractGer |
Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. |
| abstract_unstemmed |
Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. |
| collection_details |
GBV_USEFLAG_U GBV_ELV SYSFLAG_U SSG-OLC-PHA |
| title_short |
Agile requirements engineering via paraconsistent reasoning |
| url |
https://doi.org/10.1016/j.is.2013.05.008 |
| remote_bool |
true |
| author2 |
Borgida, Alexander Jureta, Ivan J. Mylopoulos, John |
| author2Str |
Borgida, Alexander Jureta, Ivan J. Mylopoulos, John |
| ppnlink |
ELV007912846 |
| mediatype_str_mv |
z |
| isOA_txt |
false |
| hochschulschrift_bool |
false |
| author2_role |
oth oth oth |
| doi_str |
10.1016/j.is.2013.05.008 |
| up_date |
2024-07-06T17:42:06.422Z |
| _version_ |
1803852423022772224 |
| fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">ELV028008499</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230625152810.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">180603s2014 xx |||||o 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/j.is.2013.05.008</subfield><subfield code="2">doi</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">GBV00000000000758.pica</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)ELV028008499</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ELSEVIER)S0306-4379(13)00077-X</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">610</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">44.83</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Ernst, Neil A.</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Agile requirements engineering via paraconsistent reasoning</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2014transfer abstract</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">17</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">z</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zu</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Innovative companies need an agile approach towards product and service requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and non-functional requirements. This paper examines how to support lightweight, agile requirements processes which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Paraconsistency</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Software requirements</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Requirements evolution</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Agile methods</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Borgida, Alexander</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jureta, Ivan J.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mylopoulos, John</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="n">Pergamon Press</subfield><subfield code="a">Cheah, Jonathan W. ELSEVIER</subfield><subfield code="t">Orthopedic sleep and novel analgesia pathway: a prospective randomized controlled trial to advance recovery after shoulder arthroplasty</subfield><subfield code="d">2022</subfield><subfield code="d">IS : an international journal : data bases</subfield><subfield code="g">Oxford [u.a.]</subfield><subfield code="w">(DE-627)ELV007912846</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:43</subfield><subfield code="g">year:2014</subfield><subfield code="g">pages:100-116</subfield><subfield code="g">extent:17</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1016/j.is.2013.05.008</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ELV</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-PHA</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">44.83</subfield><subfield code="j">Rheumatologie</subfield><subfield code="j">Orthopädie</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">43</subfield><subfield code="j">2014</subfield><subfield code="h">100-116</subfield><subfield code="g">17</subfield></datafield></record></collection>
|
| score |
7.3981514 |